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
|
|
|
################################################################################
|
|
|
|
|
|
|
|
##==============================================================================
|
|
|
|
## Sourcing
|
|
|
|
##==============================================================================
|
|
|
|
|
2012-10-29 17:22:41 +01:00
|
|
|
SHELL_CURRENT="$(ps -o command="" $$)"
|
2012-08-13 18:18:56 +02:00
|
|
|
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"
|
2013-03-02 23:00:38 +01:00
|
|
|
source "${SHELL_DIR}/colors_zsh"
|
|
|
|
source "${SHELL_DIR}/completion_rc"
|
2012-08-13 18:18:56 +02:00
|
|
|
source "${SHELL_DIR}/funs_rc"
|
|
|
|
source "${SHELL_DIR}/keys_zsh"
|
|
|
|
source "${SHELL_DIR}/personal_rc"
|