Hi,
> I just stumbled on the website
http://www.catb.org/~esr/writings/taoup/html/ch10s05.html, which describes
some of the history of command line options in Unix and related systems.
Thank you so much for sharing a bit of the history and tradition of Unix.
Regards,
phiho
On Tue, Jun
On Monday, June 13, 2022 at 11:36:11 PM UTC-7 hohoa...@gmail.com wrote:
> Hi,
>
> > That is, "./sage --tox -p auto ..." is completely different from "./sage
> -p auto".
>
> Would it be nice if the syntax for the options are consistent, like'
> "sage --p PKG" instead of "sage -p PKG"?
>
It's
