mirror of
https://github.com/fish-shell/fish-shell
synced 2024-12-29 06:13:20 +00:00
9c327b19a6
New fish_indent does that too, so this will make any future reformatting diffs smaller. Done using either of: perl -pi -e 'undef $/; s/\n*$/\n/' share/**.fish kak -n -f '<a-/>\n*<ret>d' share/**.fish
22 lines
388 B
Fish
22 lines
388 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
|