From d6b407ee43343bb9ad4078b2e81818e47b5f92bd Mon Sep 17 00:00:00 2001
From: Radek Szymczyszyn <radoslaw.szymczyszyn@erlang-solutions.com>
Date: Thu, 31 Aug 2017 18:15:27 +0200
Subject: Install user_default

---
 kerl | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/kerl b/kerl
index 84d794a..8d60f1b 100755
--- a/kerl
+++ b/kerl
@@ -1145,8 +1145,13 @@ install_docsh() {
         cat $DOCSH_DIR/templates/dot.erlang > $HOME/.erlang
     fi
     ## Install docsh user_default
-    echo "not done yet, fail intentionally"
-    exit 1
+    if [ -f $DOCSH_DIR/user_default.beam ]; then
+        echo "Couldn't install $DOCSH_DIR/user_default.beam - the file already exists"
+        : rm -Rf "$DOCSH_DIR"
+        exit 1
+    else
+        erlc -I $DOCSH_DIR/include -o $DOCSH_DIR/ ~/work/erszcz/docsh/templates/user_default.erl
+    fi
 }
 
 download_manpages()
-- 
cgit v1.2.3