Re: execline misc

From: Laurent Bercot <>
Date: Sun, 16 Apr 2017 15:57:03 +0000

>Quick question: what happened to execline-start and execline-shell?
>still referenced on the execline index page on but they
>been distributed with execline since before (that's as far as
>the git
>history goes, but older versions can still be downloaded from

  Ah, yes. I removed the execline-shell and execline-startup scripts
because they were basically out of scope and confusing to the user.
I forgot to remove the documentation pages. I'm inclined to remove the
documentation pages too, but if you prefer, I guess I could put the
scripts back in instead, in an examples/ subdirectory.

  What do you think?

Received on Sun Apr 16 2017 - 15:57:03 UTC

This archive was generated by hypermail 2.3.0 : Sun May 09 2021 - 19:38:49 UTC