aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--misc/.bashrc16
1 files changed, 12 insertions, 4 deletions
diff --git a/misc/.bashrc b/misc/.bashrc
index 11b805d..115dab5 100644
--- a/misc/.bashrc
+++ b/misc/.bashrc
@@ -18,7 +18,9 @@ _checkexec ()
}
# Machine-specific and personal settings
-source ~/.bashrc_local
+if [[ -f ~/.bashrc_local ]]; then
+ source ~/.bashrc_local
+fi
## prompts
# git prompt
@@ -63,7 +65,9 @@ then
fi
# from ~/.bashrc_local, adding more to PATH
-my_local_add_path
+if [[ $(type -t my_local_add_path) == function ]]; then
+ my_local_add_path
+fi
export PATH
@@ -192,7 +196,9 @@ then
fi
# from ~/.bashrc_local, more aliases
-my_local_aliases
+if [[ $(type -t my_local_aliases) == function ]]; then
+ my_local_aliases
+fi
#ibus
export GTK_IM_MODULE=ibus
@@ -222,4 +228,6 @@ export CCACHE_EXEC=/usr/bin/ccache
export CVS_RSH="ssh"
# from ~/.bashrc_local, export more stuff
-my_local_export
+if [[ $(type -t my_local_export) == function ]]; then
+ my_local_export
+fi