summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--Functions/Misc/pushd13
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