File tree Expand file tree Collapse file tree 1 file changed +6
-3
lines changed Expand file tree Collapse file tree 1 file changed +6
-3
lines changed Original file line number Diff line number Diff line change 22
33set -e # Exit immediately if any command fails
44
5- # Get latest release zip URL and download
5+ # Get the latest release zip URL and download
66ZIP_URL=$( curl -s " https://api.github.com/repos/dido18/scratch-arduino-app/releases/latest" | \
77grep ' "browser_download_url": "[^"]*\.zip"' | \
88cut -d' "' -f4 | head -n1)
@@ -19,13 +19,16 @@ echo "Downloading: $ZIP_NAME"
1919cd /tmp
2020curl -sL " $ZIP_URL " -o app.zip
2121
22+ # before deleting the folder, stop it
23+ arduino-app-cli app stop user:scratch-arduino-app
24+
2225unzip -q app.zip
2326rm -rf $HOME /ArduinoApps/scratch-arduino-app
2427mv -f scratch-arduino-app $HOME /ArduinoApps/
2528rm -f app.zip
2629
2730echo " Installation completed: $ZIP_NAME installed at $HOME /ArduinoApps/scratch-arduino-app"
2831
29- arduino-app-cli app restart user:scratch-arduino-app
32+ arduino-app-cli app start user:scratch-arduino-app
3033arduino-app-cli properties set default user:scratch-arduino-app
31- echo " Application restarted and set as default."
34+ echo " Application restarted and set as default."
You can’t perform that action at this time.
0 commit comments