Well, dodging the larger issue, I think that it's fair to say that
environment variables are wrong for home Linux users right now.
So I've put up a tarball on my website based on the results of this
discussion. They've got rid of the need for shell scripts as well,
and make ~/Poplib directory if necessary. I've copied pop11 to /usr/bin
and symlinked /usr/bin/(x)ved -> pop11. It does the right thing in that
situation, and it looks like all is happy in the land.
That said, I'd appreciate it if someone could take a second look. The
address is:
http://studentweb.cs.bham.ac.uk/~ug55aes/projects/poplog/poplog.tar
And it'll eventually get merged into the larger linuxification kit
http://studentweb.cs.bham.ac.uk/~ug55aes/projects/poplog/linux-poplog.tar.gz
I'm happy that it's safe to do so.
- Andrew
|