Price/dots
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat(zsh): add more zsh options

Browse Source
This commit is contained in:
Price Hiller 2022-09-16 06:12:29 -05:00
parent d67649eb02
commit 3a41934b16
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dots/.config/zsh/config/profile/profile/options.zsh
View File

@ -7,11 +7,13 @@ setopt INC_APPEND_HISTORY
setopt SHARE_HISTORY setopt SHARE_HISTORY
setopt EXTENDED_HISTORY setopt EXTENDED_HISTORY
setopt HIST_FIND_NO_DUPS setopt HIST_FIND_NO_DUPS
setopt AUTO_PARAM_SLASH
setopt EXTENDED_GLOB setopt EXTENDED_GLOB
setopt NULL_GLOB setopt NULL_GLOB
setopt AUTO_CD setopt AUTO_CD
setopt AUTO_PUSHD
setopt CHASE_DOTS setopt CHASE_DOTS
setopt HASH_CMDS setopt HASH_CMDS