Dear Gap Forum,
Rereading the message I just submitted here, I realized it could easily
be misinterpreted. It's meant as yet another suggestion, not a
description of how things work. I'm sorry for not being clear about
one could realize such project files using a shell script similar to
#!/bin/sh gap=/usr/local/bin/gap-3.4 lib="/usd/gap/3.4/lib/;/usd/fceller/gap/lib/" mem="8m" if [ -e .gaprc -a `pwd` != '/usd1/fceller' ]; then exec /usr/local/bin/gap-3.4 -b -m $mem -l $lib .gaprc $* else exec /usr/local/bin/gap-3.4 -b -m $mem -l $lib $* fi
One would need to set the paths correctly and the `pwd` test needs to
be replaced if the script should be global one for all users, but I
hope the idea is clear.
PS: We might provide a "-r" option to avoid reading the global ".gaprc"
in the next kernel patch.