2001-04-02 14:27:06 +02:00
|
|
|
# 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.
|
|
|
|
|
|
2006-08-10 00:08:38 +02:00
|
|
|
local puid
|
|
|
|
|
[[ -o pushdignoredups ]] && puid=1
|
|
|
|
|
|
2001-04-02 14:27:06 +02:00
|
|
|
emulate -R zsh
|
|
|
|
|
setopt localoptions
|
|
|
|
|
|
|
|
|
|
if [[ ARGC -eq 1 && "$1" == [+-]<-> ]] then
|
|
|
|
|
setopt pushdignoredups
|
|
|
|
|
builtin pushd ~$1
|
|
|
|
|
else
|
2006-08-10 00:08:38 +02:00
|
|
|
[[ -n $puid ]] && setopt pushdignoredups
|
2001-04-02 14:27:06 +02:00
|
|
|
builtin pushd "$@"
|
|
|
|
|
fi
|
