From 8d1b4b1358db02d6c9426e4bb3553583e11bf112 Mon Sep 17 00:00:00 2001 From: Tanaka Akira Date: Thu, 12 Aug 1999 22:59:04 +0000 Subject: Sync up with zsh-3_1_6-pws-1. --- Functions/pushd | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 Functions/pushd (limited to 'Functions/pushd') 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 -- cgit 1.4.1