diff options
| -rw-r--r-- | Functions/Misc/pushd | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/Functions/Misc/pushd b/Functions/Misc/pushd deleted file mode 100644 index 965c774bf..000000000 --- a/Functions/Misc/pushd +++ /dev/null @@ -1,13 +0,0 @@ -# pushd function to emulate the old zsh behaviour. With this function -# pushd +/-n just lifts the selected element to the top of the stack -# instead of just cycling the stack. - -emulate -R zsh -setopt localoptions - -if [[ ARGC -eq 1 && "$1" == [+-]<-> ]] then - setopt pushdignoredups - builtin pushd ~$1 -else - builtin pushd "$@" -fi |