diff options
| author | Tanaka Akira <akr@users.sourceforge.net> | 1999-08-12 22:59:04 +0000 |
|---|---|---|
| committer | Tanaka Akira <akr@users.sourceforge.net> | 1999-08-12 22:59:04 +0000 |
| commit | 8d1b4b1358db02d6c9426e4bb3553583e11bf112 (patch) | |
| tree | a3095364536d55f8356ac99559e440cc91f33eb1 /Functions/pushd | |
| parent | 5714953c514a5fea35dcd819caf1afef4d92a13b (diff) | |
| download | zsh-8d1b4b1358db02d6c9426e4bb3553583e11bf112.tar.gz zsh-8d1b4b1358db02d6c9426e4bb3553583e11bf112.tar.xz zsh-8d1b4b1358db02d6c9426e4bb3553583e11bf112.zip | |
Sync up with zsh-3_1_6-pws-1.
Diffstat (limited to 'Functions/pushd')
| -rw-r--r-- | Functions/pushd | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/Functions/pushd b/Functions/pushd deleted file mode 100644 index 965c774bf..000000000 --- a/Functions/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 |