14 Commits

Author	SHA1	Message	Date
EricFromCanada	16e22bb5e8	sh: skip reading user-level initialization files	2020-11-22 21:38:22 -05:00
EricFromCanada	72bc057014	manpage: fixes for formatting	2020-11-16 08:02:50 -05:00
Markus Reiter	da9289eff0	Add more type signatures.	2020-11-13 12:26:36 +01:00
Markus Reiter	24ae318a3d	Move type annotations into files.	2020-10-10 14:59:39 +02:00
Mike McQuaid	cd075dd45a	dev-cmd/sh: rename SCRIPT argument.	2020-08-28 08:37:15 +01:00
Maxim Belkin	669ae5c077	dev-cmd/sh.rb: fix usage banner	2020-08-27 19:52:40 +00:00
Maxim Belkin	ee5a2017c7	dev-cmd/sh.rb: update usage banner	2020-08-27 18:39:05 +00:00
Mike McQuaid	483fbb7fe4	dev-cmd/sh: tweak named args syntax.	2020-08-27 16:45:38 +00:00
Maxim Belkin	28c43f1afc	dev-cmd/sh.rb: non-interactive mode	2020-08-27 16:45:38 +00:00
Markus Reiter	d4c2ffd705	Refactor CLI::Parser.	2020-07-31 15:07:17 +02:00
Markus Reiter	276c570c16	Pass individual args explicitly to ENV extensions.	2020-07-28 02:52:45 +02:00
Markus Reiter	25b3632c4c	Pass args to ENV instead of using global args.	2020-07-25 03:57:43 +02:00
EricFromCanada	78b87b7f23	sh: fix custom shell prompt for zsh	2020-04-23 00:38:36 -04:00
Mike McQuaid	85e65f6d9c	Move some cmd to dev-cmd. ... None of these made sense as end-user commands.	2020-04-14 14:29:38 +01:00