2010-02-28 00:15:47 +01:00
|
|
|
#!/bin/zsh
|
|
|
|
|
#
|
|
|
|
|
# Make the dirstack more persistant
|
|
|
|
|
#
|
|
|
|
|
# Run dirpersiststore in ~/.zlogout
|
|
|
|
|
|
|
|
|
|
dirpersiststore () {
|
2010-04-02 23:24:41 +02:00
|
|
|
# FIXME: need to escape all shell metacharacters, not just spaces!
|
|
|
|
|
dirs -p | sed 's/ /\\ /g;s/&/\\&/;s/^/pushd -q /;1!G;h;$!d;' > ~/.zdirstore
|
2010-02-28 00:15:47 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
dirpersistrestore () {
|
|
|
|
|
if [ -f ~/.zdirstore ]; then
|
|
|
|
|
source ~/.zdirstore
|
|
|
|
|
fi
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
DIRSTACKSIZE=10
|
|
|
|
|
setopt autopushd pushdminus pushdsilent pushdtohome pushdignoredups
|
2010-03-16 03:34:26 +01:00
|
|
|
dirpersistrestore
|
|
|
|
|
|
|
|
|
|
# Make popd changes permanent without having to wait for logout
|
2010-04-02 23:24:41 +02:00
|
|
|
alias popd="popd;dirpersiststore"
|
