mirror of
https://github.com/fish-shell/fish-shell.git
synced 2024-11-25 06:46:12 +08:00
24 lines
348 B
Fish
24 lines
348 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
|
|
|