[GAP Forum] list root directories?

[dmitrii.pasechnik at cs.ox.ac.uk]

On Sat, Jun 08, 2019 at 01:02:01PM +0200, Bill Allombert wrote:
> On Fri, Jun 07, 2019 at 08:48:55AM -0500, John G Heim wrote:
> > I cannot find any documentation on how to display a list of the root
> > directories for my gap installation.
> 
> They are set in the gap script, which in your case is /usr/bin/gap,
> but you can create another.
In case, the following does it in the GAP session:

gap> GAPInfo.RootPaths;
[ "/home/dima/.gap/", "/mnt/opt/local/share/gap/" ]

HTH
Dima
> 
> > I maintain a cluster of linux workstations with gap installed via the Ubuntu
> > packages. Some of my end-users have requested that I install several gap
> > packages that are not available via Ubuntu packages. We have a way to
> > automatically copy files to all the workstations but I need to know where to
> > put them.
> 
> See the file /usr/bin/gap, the first non commented line is
> 
> GAP_LIB="$HOME/gap;/usr/local/lib/gap;/usr/local/share/gap;/usr/lib/gap;/usr/share/gap;"
> 
> This is the list of root directories for this gap script.
> 
> I hope it answers your question.
> 
> Cheers,
> Bill.
> 
> _______________________________________________
> Forum mailing list
> Forum at gap-system.org
> https://mail.gap-system.org/mailman/listinfo/forum