fish-shell/share/tools/web_config
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
..
js fish_config: fix binding filter regression (#3327) 2016-08-24 01:30:33 -07:00
partials fish_config: group bindings by command, show raw binding commands on click 2016-08-23 17:10:30 +08:00
sample_prompts Stringify many completions and functions, with --invert stringification. 2016-04-08 10:49:29 +08:00
delete.png Lossless recompress of images with pngcrush+zopfli 2016-06-18 10:03:26 -07:00
favicon.png Add favicon for web config 2015-07-12 15:06:56 -07:00
fishconfig.css fish_config: group bindings by command, show raw binding commands on click 2016-08-23 17:10:30 +08:00
index.html Add favicon for web config 2015-07-12 15:06:56 -07:00
webconfig.py alter history sub-command handling 2016-09-18 20:09:06 -07:00