blob: 973107c52184de7e8d1a9e00acf9452e155309ef (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#!/bin/zsh
#
# Make the dirstack more persistant
#
# Run dirpersiststore in ~/.zlogout
dirpersiststore () {
# FIXME: need to escape all shell metacharacters, not just spaces!
dirs -p | sed 's/ /\\ /g;s/&/\\&/;s/^/pushd -q /;1!G;h;$!d;' > ~/.zdirstore
}
dirpersistrestore () {
if [ -f ~/.zdirstore ]; then
source ~/.zdirstore
fi
}
DIRSTACKSIZE=10
setopt autopushd pushdminus pushdsilent pushdtohome pushdignoredups
dirpersistrestore
# Make popd changes permanent without having to wait for logout
alias popd="popd;dirpersiststore"
|