diff --git a/install.sh b/install.sh old mode 100644 new mode 100755 index ec61bf25a2de282e657369e8fda5d411259a9b18..cd313a10ddc0a29734b56cc6b5fe66c2578982e0 --- a/install.sh +++ b/install.sh @@ -21,7 +21,7 @@ set -e PREFIX=/usr/local # or /usr -if which python; then PYTHON=python; else PYTHON=python3; fi +if which python >/dev/null 2>/dev/null; then PYTHON=python; else PYTHON=python3; fi mkdir -p "$PREFIX/share/gradint" mv gradint.py "$PREFIX/share/gradint/" @@ -62,4 +62,4 @@ Categories=Education;Languages EOF echo; echo "Installation complete." -echo "To uninstall: sudo rm -rf \"$PREFIX/bin/gradint\" \"$PREFIX/share/gradint\"" +echo "To uninstall: sudo rm -rf \"$PREFIX/bin/gradint\" \"$PREFIX/share/gradint\" \"$PREFIX/share/applications/gradint.desktop\" "