Browse Source

zshrc: Introduce `shell_config` file.

master
Nick Plekhanov 9 years ago
parent
commit
03764c60d7
  1. 1
      setup.sh
  2. 11
      shell/shell_config
  3. 4
      shell/zshrc

1
setup.sh

@ -155,6 +155,7 @@ echo "done"
declare -a FILES_TO_SYMLINK=( declare -a FILES_TO_SYMLINK=(
'shell/shell_aliases' 'shell/shell_aliases'
'shell/shell_config'
'shell/shell_exports' 'shell/shell_exports'
'shell/shell_functions' 'shell/shell_functions'
'shell/bash_profile' 'shell/bash_profile'

11
shell/shell_config

@ -0,0 +1,11 @@
# History
HISTFILE=~/.zsh_history
HISTSIZE=10000
SAVEHIST=10000
setopt inc_append_history # Append history as commands are executed
setopt hist_ignore_all_dups # Don't save duplicates
unsetopt share_history # Disable sharing history between terminals (sessions)
# Expansion and Globbing
setopt extended_glob # treat #, ~, and ^ as part of patterns for filename generation

4
shell/zshrc

@ -46,7 +46,7 @@ plugins=(fabric brew node npm history git-flow vagrant zsh-syntax-highlighting)
# User configuration # User configuration
# Load the shell dotfiles # Load the shell dotfiles
for file in $HOME/.{shell_exports,shell_aliases,shell_functions}; do for file in $HOME/.{shell_exports,shell_aliases,shell_functions,shell_config}; do
[ -r "$file" ] && [ -f "$file" ] && source "$file"; [ -r "$file" ] && [ -f "$file" ] && source "$file";
done; done;
unset file; unset file;
@ -68,8 +68,6 @@ fi
source $ZSH/oh-my-zsh.sh source $ZSH/oh-my-zsh.sh
# Disable sharing history between terminals enabled by Oh My Zsh
unsetopt share_history
# Load extra (private) settings # Load extra (private) settings
[ -f ~/.zsh.local ] && source ~/.zsh.local [ -f ~/.zsh.local ] && source ~/.zsh.local

Loading…
Cancel
Save