On Tue, 2020-08-18 at 02:30 +0100, Aaron Sloman wrote: . . . > Are you giving these commands to the shell, or to pop11 or to emacs?
I haven't tried to bring emacs into the fray yet. So far I'm just dealing with the shell and pop11/prolog/clisp/pml. . . . > To make them work from the shell you *have to* follow instructions > printed > out when you run getpoplog.sh [I've just tried to make this clearer > in > the printout]: I *think* I did, but MMMV. . . . > export usepop=`cat USEPOP` > > csh/tcsh users do this instead: > setenv usepop `cat USEPOP` Here's an interaction with an xterm I just kicked off: bill@debian-desktop:~$ echo $usepop /home/bill/Poplog/poplog/V16/poplog_base bill@debian-desktop:~$ cat $usepop/USEPOP /home/bill/Poplog/poplog/V16/poplog_base bill@debian-desktop:~$ echo $PATH /home/bill/Poplog/poplog/V16/poplog_base/pop/pop: /home/bill/bin: /usr/local/bin:/ usr/bin: /bin: /usr/local/games: /usr/games: /home/bill/Poplog/poplog/V16/poplog_base/pop/com bill@debian-desktop:~$ I *think* these show that 1) I got $usepop right, 2) I have my .bashrc and .bash-login right, and 3) my environment is being set up correctly for invoking the executables. . . . > After all that a whole lot of additional commands will be available > from > the shell, including pop11, prolog, clisp, ved, xved, teach, help, W. Hebisch's missive says that, as of V16, teach and ref are no longer available as shell commands. I looked in $usepop/pop/pop and found the following items with "x" mode set: basepop11, clisp, corepop, pglink, pml, pop11, poplink,_cmnd, prolog, ved, xved. If I am correct that this is the place to look for executables then these results support Hebisch's statement. teach, ref and help are not among them. What have I missed? Many thanks for your help, Bill Wood
