diff options
author | Radek Szymczyszyn <[email protected]> | 2017-08-31 18:15:27 +0200 |
---|---|---|
committer | Radek Szymczyszyn <[email protected]> | 2017-11-03 17:46:43 +0100 |
commit | d6b407ee43343bb9ad4078b2e81818e47b5f92bd (patch) | |
tree | ced4c20ad22d6d7c722dce834f5563b063dff671 | |
parent | 496521692b5e332222c5dd5f2375c8cdc7dd7940 (diff) | |
download | kerl-d6b407ee43343bb9ad4078b2e81818e47b5f92bd.tar.gz kerl-d6b407ee43343bb9ad4078b2e81818e47b5f92bd.tar.bz2 kerl-d6b407ee43343bb9ad4078b2e81818e47b5f92bd.zip |
Install user_default
-rwxr-xr-x | kerl | 9 |
1 files changed, 7 insertions, 2 deletions
@@ -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() |