From 10a6ad67e1a03748d65f61aa5a2ab4203398d3eb Mon Sep 17 00:00:00 2001
From: "Silas S. Brown" <ssb22@cam.ac.uk>
Date: Thu, 6 Mar 2025 07:10:47 +0000
Subject: [PATCH] GNU/Linux uninstall: missed detail

---
 install.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
 mode change 100644 => 100755 install.sh

diff --git a/install.sh b/install.sh
old mode 100644
new mode 100755
index ec61bf2..cd313a1
--- 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\" "
-- 
GitLab