From a6a6102f3e9907b38287daf7a9889b0bca63ed94 Mon Sep 17 00:00:00 2001
From: Cyryl Plotnicki-Chudyk <cyplo@cyplo.net>
Date: Sat, 28 Feb 2015 22:39:29 +0100
Subject: [PATCH] ghci config added

---
 .ghci                         | 2 ++
 common/configure_fresh_system | 1 +
 2 files changed, 3 insertions(+)
 create mode 100644 .ghci

diff --git a/.ghci b/.ghci
new file mode 100644
index 00000000..6d0f9878
--- /dev/null
+++ b/.ghci
@@ -0,0 +1,2 @@
+:set prompt "ghci> "
+
diff --git a/common/configure_fresh_system b/common/configure_fresh_system
index 34ee5083..53abe59f 100755
--- a/common/configure_fresh_system
+++ b/common/configure_fresh_system
@@ -20,6 +20,7 @@ rm -f "~/.zshrc"
 ln -vfs "$DIR/.zshrc" ~/.
 ln -vfs "$DIR/.oh-my-zsh" ~/.
 ln -vfs "$DIR/.Slic3r" ~/.
+ln -vfs "$DIR/.ghci" ~/.
 ln -vfs "$DIR/.gitconfig.linux.private" ~/.gitconfig
 ln -vfs "$DIR/tools" ~/