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@gap-system.org > https://mail.gap-system.org/mailman/listinfo/forum _______________________________________________ Forum mailing list Forum@gap-system.org https://mail.gap-system.org/mailman/listinfo/forum
