don't hide git clone errors
This commit is contained in:
parent
18ed571f29
commit
a03dfe690d
1 changed files with 3 additions and 4 deletions
|
@ -1,15 +1,14 @@
|
||||||
install_prelude () {
|
install_prelude () {
|
||||||
printf " Cloning the repository.\n$RESET"
|
printf " Cloning the Prelude's GitHub repository...\n$RESET"
|
||||||
if [ x$PRELUDE_VERBOSE != x ]
|
if [ x$PRELUDE_VERBOSE != x ]
|
||||||
then
|
then
|
||||||
/usr/bin/env git clone $PRELUDE_URL $PRELUDE_INSTALL_DIR
|
/usr/bin/env git clone $PRELUDE_URL $PRELUDE_INSTALL_DIR
|
||||||
else
|
else
|
||||||
/usr/bin/env git clone $PRELUDE_URL $PRELUDE_INSTALL_DIR > /dev/null 2>&1
|
/usr/bin/env git clone $PRELUDE_URL $PRELUDE_INSTALL_DIR > /dev/null
|
||||||
fi
|
fi
|
||||||
if ! [ $? -eq 0 ]
|
if ! [ $? -eq 0 ]
|
||||||
then
|
then
|
||||||
printf "$RED Unkown git error occured during installation, "
|
printf "$RED A fatal error occurred during Prelude's installation. Aborting..."
|
||||||
printf "please check the source url: $PRELUDE_URL\n$RESET"
|
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue