diff options
author | Radek Szymczyszyn <[email protected]> | 2017-08-10 17:57:19 +0200 |
---|---|---|
committer | Radek Szymczyszyn <[email protected]> | 2017-11-03 17:46:43 +0100 |
commit | 3303b7b0e61d72fb19d6189ed3636c17149aeea9 (patch) | |
tree | b8a86a71db61497157f43c13ad462ade0441c5c2 /kerl | |
parent | e7fd9e02368494518bfdc1063939dadeef00cef2 (diff) | |
download | kerl-3303b7b0e61d72fb19d6189ed3636c17149aeea9.tar.gz kerl-3303b7b0e61d72fb19d6189ed3636c17149aeea9.tar.bz2 kerl-3303b7b0e61d72fb19d6189ed3636c17149aeea9.zip |
Install .erlang and stub installing user_default
Diffstat (limited to 'kerl')
-rwxr-xr-x | kerl | 32 |
1 files changed, 17 insertions, 15 deletions
@@ -1125,26 +1125,28 @@ install_docsh() { fi if [ $? -ne 0 ]; then echo "Couldn't checkout specified version" - rm -Rf "$DOCSH_DIR" - exit 1 - fi - if [ ! -f ./install.sh ]; then - echo "docsh install script not found" - rm -Rf "$DOCSH_DIR" + : rm -Rf "$DOCSH_DIR" exit 1 fi - echo "Installing docsh for $BUILDNAME from git, please wait..." - # TODO: MUST troubleshoot the install script failure - set -x - : yes | ./install.sh > /dev/null 2>&1 - : yes | DEBUG=1 ./install.sh - yes | ./install.sh - if [ $? -ne 0 ]; then - echo "Couldn't install docsh" - #rm -Rf "$DOCSH_DIR" + ./rebar3 compile + if [ $? -ne 0 ]; then + echo "Couldn't compile docsh" + : rm -Rf "$DOCSH_DIR" + exit 1 + fi + + ## Install $HOME/.erlang + if [ if $HOME/.erlang ]; then + echo "Couldn't install $HOME/.erlang - the file already exists" + : rm -Rf "$DOCSH_DIR" exit 1 + else + cat $DOCSH_DIR/templates/dot.erlang > $HOME/.erlang fi + ## Install docsh user_default + echo "not done yet, fail intentionally" + exit 1 } download_manpages() |