Those of you that are keeping count have probably noticed my posts tend to
be about putting Pop-11 on Linux, so this one won't come as a surprise to
you...
a) The latest problem I've found is that if a user existed before Pop-11
was put on their system, then the $HOME/.Poplib directory won't exist for
them. The standard solution to this is to copy the directory across at
load time if it doesn't exist.
Is there an easy way to do this in Pop-11 (I don't know of one, and I'd
rather not do it in the shell scripts if possible), and can anyone think
of a reason not to do it?
b) The large number of environment variables needed by Pop-11 is an old
problem, but is it possible to do something like this:
vars temppopenvlist = [ pop-specific environment variables ];
file temppopenvlist in $poplib/popenvlist.p;
then towards the top of init.p:
load $poplib/popenvlist.p;
[ ^^popenvlist ^^temppopenvlist ] -> popenvlist;
This would at least reduce the number of sitting variables to a handful.
- Andrew
|