Keep a history of commands etc.

[Dotty.git] / bash / .bashrc

diff --git a/bash/.bashrc b/bash/.bashrc
index f1859838ae2148e4049788cf3701b0fa44b4febc..5a379c71aab3b09f6a2c2469539f6b2f8ac0a361 100644 (file)
--- a/bash/.bashrc
+++ b/bash/.bashrc
@@ -44,3 +44,9 @@ append_path () {
 # Append our default paths
 append_path '/home/frederik/scripts'
 
+# Emacs eat shell integration
+[ -n "$EAT_SHELL_INTEGRATION_DIR" ] && \
+  source "$EAT_SHELL_INTEGRATION_DIR/bash"
+
+
+