Skip to content
Snippets Groups Projects
Verified Commit ba80c6e4 authored by Julian Ospald's avatar Julian Ospald :tea:
Browse files

Improve message when no GHC is installed

parent 7d9631c7
No related branches found
No related tags found
No related merge requests found
...@@ -720,8 +720,12 @@ show_ghc() { ...@@ -720,8 +720,12 @@ show_ghc() {
echo "Installed GHCs:" echo "Installed GHCs:"
for i in "${GHC_LOCATION}"/* ; do for i in "${GHC_LOCATION}"/* ; do
[ -e "${i}" ] || die "Something went wrong, ${i} does not exist!" if [ -e "${i}" ] ; then
echo " $(basename "${i}")" echo " $(basename "${i}")"
else # directory is empty
echo " None"
exit 0
fi
done done
if [ -n "${current_ghc}" ] ; then if [ -n "${current_ghc}" ] ; then
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment