diff options
| -rw-r--r-- | Functions/Example/pushd | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Functions/Example/pushd b/Functions/Example/pushd new file mode 100644 index 000000000..965c774bf --- /dev/null +++ b/Functions/Example/pushd @@ -0,0 +1,13 @@ +# 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 |