hjp
/
dot
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge branch 'master' of mri.wsr.ac.at:zdot

This commit is contained in:
Peter J. Holzer 2016-11-21 14:55:24 +01:00
parent ba7586e828 c4bef31f97
commit d19833ead9
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.zshenv
View File

@ -16,11 +16,12 @@ setopt PUSHD_SILENT
setopt PUSHD_TO_HOME setopt PUSHD_TO_HOME
setopt RMSTARSILENT setopt RMSTARSILENT
setopt NO_PROMPT_CR setopt NO_PROMPT_CR
setopt APPEND_HISTORY
setopt PUSHD_IGNORE_DUPS setopt PUSHD_IGNORE_DUPS
SAVEHIST=100 SAVEHIST=1000
HISTSIZE=$SAVEHIST HISTSIZE=2000
HISTFILE=~/.zhistory HISTFILE=~/.zhistory
export PGPPATH=~/.pgp export PGPPATH=~/.pgp
export PARINIT=q1 export PARINIT=q1