Hi Steve, > On a newish x86_64 machine without no-pie running Ubuntu 20.04, everything > goes smoothly.
Good to hear - and thanks for checking. > The main difference that your setup makes to me as end user is having to type > "poplog pop11" (or ved, or xved or whatever) instead of just "pop11". Pretty much. Of course nothing is stopping the end user from running the usual setup, as you say. > Of course I can set up aliases or links for myself, but I imagine that you > have reasons for doing it this way. Yes. 1. Streamlined installation 2. More familiar process - like Python/Ruby 3. Single point of entry is compatible with appImage, snap and other conventional systems 4. Provides protection against the possibility of scripts being hijacked by redefining environment variables 5. Avoids command-completion clutter 6. Supports direct entry for help/teach/ref and immediate modes 7. Allows future convergence on more familiar long options without the need to hack the pop sources > As far as I can see, using the poplog script means setting up a fresh poplog > environment for every pop11 call, rather than the old way of setting up the > environment once at each login. True. > On a modern machine, I suppose the time taken in defining the poplog > variables is negligible and maybe there is something to be gained by not > cluttering up the environment between poplog calls. To be honest, given the aims of the project to produce a nice range of installers and to increase acceptability in the Linux community, I knew it was an early task. I am actually quite pleased at how well it has worked out. Steve
