diff options
| -rw-r--r-- | .bash_profile | 5 | ||||
| -rw-r--r-- | .bashrc | 5 | ||||
| -rw-r--r-- | config.default | 21 | ||||
| -rwxr-xr-x | install.sh | 4 |
4 files changed, 35 insertions, 0 deletions
diff --git a/.bash_profile b/.bash_profile index 8dc994e..b0e2ed8 100644 --- a/.bash_profile +++ b/.bash_profile @@ -9,6 +9,11 @@ else DOTFILEBASE="/home/jonas/dotfiles" fi +source "$DOTFILEBASE/config.default" +if [ -f "$HOME/.files.config" ]; then + source "$HOME/.files.config" +fi + for f in $DOTFILEBASE/bash/*.profile ; do source $f done @@ -8,6 +8,11 @@ else DOTFILEBASE="/home/jonas/dotfiles" fi +source "$DOTFILEBASE/config.default" +if [ -f "$HOME/.files.config" ]; then + source "$HOME/.files.config" +fi + for f in $DOTFILEBASE/bash/*.bash; do source $f done diff --git a/config.default b/config.default new file mode 100644 index 0000000..9ce2c4a --- /dev/null +++ b/config.default @@ -0,0 +1,21 @@ +# vi: ft=sh + +# Configuration variables are sourced in .bashrc and +# bash_profile +# +# Booleans are case-sensitive. only "yes" counts as true, +# everything else is false. + +# SSH Agent +SA_SSH_AGENT_STATIC='no' +SA_SSH_SOCKET="/var/run/user/$UID/ssh-agent.sock" +SA_SSH_PIDFILE="/var/run/user/$UID/ssh-agent.pid" + +# BashBoard +BB_ENABLE="no" +BB_HIST_DIR="$HOME/.cache/bashboard/" +BB_LIST_LEN=5 +BB_PRUNE_DAYS=5 +BB_COLOR_HIGHLIGHT="\e[0;34m" +BB_COLOR_RESET="\e[39m" + @@ -143,6 +143,10 @@ housekeeping() { if [ "$DOTFILEBASE" != "$(pwd)" ] && yes_no "'.files' out of date. Regenerate?"; then echo "DOTFILEBASE=\"$(pwd)\"" > $HOME/.files fi + + if [ ! -f "$HOME/.files.config" ] && yes_no ".files.config does not exist. Populate with defaults?"; then + cp "config.default" "$HOME/.files.config" + fi } if [ $# -gt 0 ] |