From 533a5b583c833b5a335f6173c6b52b26f6016fb6 Mon Sep 17 00:00:00 2001
From: Sven Wischnowsky <wischnow@users.sourceforge.net>
Date: Mon, 2 Apr 2001 12:26:58 +0000
Subject: moved to ./Functions/Example/pushd

---
 Functions/Misc/pushd | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 Functions/Misc/pushd

(limited to 'Functions/Misc')

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
-- 
cgit 1.4.1