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. > 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 [email protected] https://mail.gap-system.org/mailman/listinfo/forum
