mirror of
https://github.com/fish-shell/fish-shell.git
synced 2024-12-12 00:03:39 +08:00
11a60c8374
I hate doing this but I am tired of touching a fish script as part of some change and having `make style` radically change it. Which makes editing fish scripts more painful than it needs to be. It is time to do a wholesale reformatting of these scripts to conform to the documented style as implemented by the `fish_indent` program.
24 lines
389 B
Fish
24 lines
389 B
Fish
#
|
|
# This function deletes a character from the commandline if it is
|
|
# non-empty, and exits the shell otherwise. Implementing this
|
|
# functionality has been a longstanding request from various
|
|
# fish-users.
|
|
#
|
|
|
|
function delete-or-exit
|
|
|
|
set -l cmd (commandline)
|
|
|
|
switch "$cmd"
|
|
|
|
case ''
|
|
exit 0
|
|
|
|
case '*'
|
|
commandline -f delete-char
|
|
|
|
end
|
|
|
|
end
|
|
|