From 8e1a2722ad5e3e8b3e45a1be4edb43a0aaae68d7 Mon Sep 17 00:00:00 2001
From: theofficialgman <28281419+theofficialgman@users.noreply.github.com>
Date: Mon, 12 Feb 2024 19:14:39 -0500
Subject: [PATCH] jGRASP IDE: update to 206_16 and add auto-updater

auto-updater relies on unstable jgrasp IDE website HTML. will likely break in the future but there are no better alternative locations to obtain the current version from.
---
 .github/workflows/updates/jGRASP IDE.sh | 7 +++++++
 apps/jGRASP IDE/install                 | 4 +++-
 2 files changed, 10 insertions(+), 1 deletion(-)
 create mode 100755 .github/workflows/updates/jGRASP IDE.sh

diff --git a/.github/workflows/updates/jGRASP IDE.sh b/.github/workflows/updates/jGRASP IDE.sh
new file mode 100755
index 0000000000..6f888948f8
--- /dev/null
+++ b/.github/workflows/updates/jGRASP IDE.sh	
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+version=$(curl -Ls 'https://spider.eng.auburn.edu/user-cgi/grasp/grasp.pl?;dl=download_jgrasp.html' | grep "jGRASP - Version" | sed 's/.*jGRASP - Version //' | sed 's/<br>//' | tr -d .)
+
+all_url="https://www.jgrasp.org/dl4g/jgrasp/jgrasp${version}.zip"
+
+source $GITHUB_WORKSPACE/.github/workflows/update_github_script.sh
diff --git a/apps/jGRASP IDE/install b/apps/jGRASP IDE/install
index bdc3506b8a..54cf573bb9 100755
--- a/apps/jGRASP IDE/install	
+++ b/apps/jGRASP IDE/install	
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+version=206_16
+
 #get java
 adoptium_installer || exit 1
 install_packages temurin-11-jdk libxt-dev build-essential || exit 1
@@ -13,7 +15,7 @@ sudo mkdir -p /usr/local/bin/ /usr/local/share/applications/ /usr/local/share/ic
 # remove previous installation files
 sudo rm -rf /tmp/jgrasp.zip /usr/local/bin/jgrasp /usr/local/share/jgrasp
 
-wget 'https://www.jgrasp.org/dl4g/jgrasp/jgrasp206_12.zip' -O /tmp/jgrasp.zip || error "Failed to download jgrasp.zip!"
+wget "https://www.jgrasp.org/dl4g/jgrasp/jgrasp${version}.zip" -O /tmp/jgrasp.zip || error "Failed to download jgrasp.zip!"
 sudo unzip /tmp/jgrasp.zip -d /usr/local/share/ || error "Failed to extract jgrasp.zip!"
 rm -f /tmp/jgrasp.zip