Dear Juergen, If $HOME is there, why don't you default to $HOME/.apl.history rather than just .apl.history? That would portably-enough solve the problem of not getting .apl.history files all over the place. Just use whatever algorithm you are using for the .gnu-apl directory.
Thanks. Blake On Wed, Jul 2, 2014 at 11:30 AM, Juergen Sauermann < juergen.sauerm...@t-online.de> wrote: > Hi Blake, > > I don't have to. If I don't find $HOME then the preferences file in $HOME > is not read and > the /etc/gnu-apl.d/preferences file is read. If that file would use $HOME > then its purpose > of having a fallback in case $HOME is not working would be undermined. > > /// Jürgen > > >
