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 |
|