On Fri, 21 Aug 2020, Aaron Sloman A.Sloman-at-cs.bham.ac.uk |pop-forum| wrote:
The file
http://www.cs.bham.ac.uk/research/projects/poplog/V16/getpoplog.sh
needs testers/critics.
Using Waldek's fixed download/install instructions, it fetches unpacks and
sets up the various packages to produce a new poplog installation, as
previously, and then also downloads this first draft file of instructions
for new users:
http://www.cs.bham.ac.uk/research/projects/poplog/V16/INSTRUCTIONS.txt
Suggestions for improvement welcome.
I've tried it and it seems to have essentially worked as advertised. I
also ran the command to link xved with motif and xved changed to having
a scrollbar, which I think indicates success. A minor point: the
INSTRUCTIONS.txt file says "The poplog_base directory includes a file
named USEPOP". However my directory doesn't have a USEPOP file, but
rather a mk-USEPOP file, which, if sourced, creates the USEPOP file.
This seems an unnecessary layer of complication. The INSTRUCTIONS.txt
file says:
If you use sh or bash run this command IN THE poplog_base DIRECTORY:
export usepop=`cat USEPOP`
Wouldn't it be simpler to just tell the user to run
export usepop=`pwd`
in the poplog_base directory? (And analogously for csh.)
In agreement with Waldek's remark yesterday, I think it would be a good
idea to remove out of date news files from the docs.bz2 tarball. It's
easily done. In the $usepop/pop directory run
find . -name "*news.v*" -exec rm '{}' \;
and then
tar -cjf newdocs.bz2 doc help ref teach
Steve
