diff options
| author |  axel <axel@liljencrantz.se> | 2006-02-17 20:13:39 +1000 |
|---|---|---|
| committer | axel <axel@liljencrantz.se> | 2006-02-17 20:13:39 +1000 |
| commit | 343cafef346543282b5b6e825bc8f9dd10028a48 (patch) | |
| tree | 1bcf221ecb525c7aeadc8325e7b780d3656e544b /share/functions/delete-or-exit.fish | |
| parent | 95a01f3c8f15034433ffce368d8f2d13d925139c (diff) | |
Redo installation file structure, move lots of things to $PREFIX/share/fish
darcs-hash:20060217101339-ac50b-d93d2c620a4b7f75f05ff461a6edbee001da7613.gz
Diffstat (limited to 'share/functions/delete-or-exit.fish')
| -rw-r--r-- | share/functions/delete-or-exit.fish | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/share/functions/delete-or-exit.fish b/share/functions/delete-or-exit.fish new file mode 100644 index 00000000..3e030f79 --- /dev/null +++ b/share/functions/delete-or-exit.fish @@ -0,0 +1,15 @@ +# +# 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 --key-binding + if test (commandline) + commandline -f delete-char + else + exit + end +end + |