2012-06-15 16:54:02 +02:00
|
|
|
################################################################################
|
|
|
|
## Shell Config -- Master File
|
2012-08-13 18:18:56 +02:00
|
|
|
## Date 2012-08-11
|
2012-06-15 16:54:02 +02:00
|
|
|
################################################################################
|
|
|
|
|
|
|
|
##==============================================================================
|
|
|
|
## If not running interactively, don't do anything
|
|
|
|
##==============================================================================
|
|
|
|
## Useless for Zsh ?
|
|
|
|
[ -z "$PS1" ] && return
|
|
|
|
|
|
|
|
##==============================================================================
|
|
|
|
## Sourcing
|
|
|
|
##==============================================================================
|
|
|
|
|
2012-08-13 18:18:56 +02:00
|
|
|
SHELL_CURRENT="$(ps | awk -v shellpid=$$ '$0 ~ shellpid {print $4}')"
|
|
|
|
SHELL_DIR="$HOME/.shell.d"
|
2012-06-15 16:54:02 +02:00
|
|
|
|
2012-08-13 18:18:56 +02:00
|
|
|
## Should be sourced first.
|
|
|
|
source "${SHELL_DIR}/main_rc"
|
|
|
|
source "${SHELL_DIR}/options_zsh"
|
2012-07-19 17:01:22 +02:00
|
|
|
|
2012-08-13 18:18:56 +02:00
|
|
|
## Source order should not matter.
|
|
|
|
source "${SHELL_DIR}/alias_rc"
|
|
|
|
source "${SHELL_DIR}/colors_zsh"
|
|
|
|
source "${SHELL_DIR}/funs_rc"
|
|
|
|
source "${SHELL_DIR}/keys_zsh"
|
|
|
|
source "${SHELL_DIR}/personal_rc"
|
2012-06-15 16:54:02 +02:00
|
|
|
|