Add .bash_functions file

.bash_functions

@@ -0,0 +1,13 @@
+# ~/.bash_functions
+
+_bash_history_sync() {
+    builtin history -a
+    builtin history -c
+    builtin history -r
+}
+
+history() {
+    _bash_history_sync
+    builtin history "$@"
+}
+