Kurtis Rader 76c73aa8ce alter history sub-command handling ...

This deprecates the use of long options for history sub-commands (e.g.,
`history --delete`) in favor of proper sub-commands (e.g., `history
delete`). It also eliminates the short options for those sub-commands.

Also change option processing to allow options anywhere on the command
line to match how the vast majority of fish builtins handle flags.

Replace --with-time with --show-time.

Fixes #3367

2016-09-18 20:09:06 -07:00

..

web_config

alter history sub-command handling

2016-09-18 20:09:06 -07:00

create_manpage_completions.py

Strip out brackets from generated-by-manpage completions.

2016-07-30 22:01:59 -07:00

deroff.py

minor create_manpage_completions.py improvements

2016-07-09 05:51:32 -07:00