diff options
author | Sven Wischnowsky <wischnow@users.sourceforge.net> | 2001-04-02 12:26:58 +0000 |
---|---|---|
committer | Sven Wischnowsky <wischnow@users.sourceforge.net> | 2001-04-02 12:26:58 +0000 |
commit | 533a5b583c833b5a335f6173c6b52b26f6016fb6 (patch) | |
tree | 5213e19e70e7fb6be7c8b6e2e5d07b94858aa538 /Functions/Misc/pushd | |
parent | d56202de5d83bc4e1ed08a78065bc0c28895a6a8 (diff) | |
download | zsh-533a5b583c833b5a335f6173c6b52b26f6016fb6.tar.gz zsh-533a5b583c833b5a335f6173c6b52b26f6016fb6.tar.xz zsh-533a5b583c833b5a335f6173c6b52b26f6016fb6.zip |
moved to ./Functions/Example/pushd
Diffstat (limited to 'Functions/Misc/pushd')
-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 |