File: pushd

package info (click to toggle)
zsh 3.1.2-8
  • links: PTS
  • area: main
  • in suites: hamm
  • size: 3,628 kB
  • ctags: 3,582
  • sloc: ansic: 39,480; sh: 2,393; makefile: 1,189; perl: 329; awk: 257; sed: 25
file content (13 lines) | stat: -rw-r--r-- 329 bytes parent folder | download | duplicates (12)
1
2
3
4
5
6
7
8
9
10
11
12
13
# 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