[GAP Forum] list root directories?

[Bill Allombert]

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.