lib/dirspersist.zsh
a0a8ba66
 #!/bin/zsh
 # 
 # Make the dirstack more persistant
 # 
 # Run dirpersiststore in ~/.zlogout
 
 dirpersiststore () {
     dirs -p | sed 's/ /\\ /g;s/^/pushd -q /;1!G;h;$!d;' > ~/.zdirstore
 }
 
 dirpersistrestore () {
     if [ -f ~/.zdirstore ]; then
         source ~/.zdirstore
     fi
 }
 
 DIRSTACKSIZE=10
 setopt autopushd pushdminus pushdsilent pushdtohome pushdignoredups
870551e9
 dirpersistrestore
 
 # Make popd changes permanent without having to wait for logout
 alias popd="popd;dirpersiststore"