install curl only if not already installed

installJava.sh

@@ -1,4 +1,5 @@
 # Install SDKMAN
+which curl &> /dev/null || sudo apt update && sudo apt install curl # Install curl if not already installed
 curl -s "https://get.sdkman.io" | bash
 source "$HOME/.sdkman/bin/sdkman-init.sh"
 

installSpotify.sh

@@ -2,8 +2,7 @@
 sudo snap remove spotify 2> /dev/null
 sudo flatpak uninstall com.spotify.Client 2> /dev/null
 # We install the version from the official website
-sudo apt update
-sudo apt install curl -y
+which curl &> /dev/null || sudo apt update && sudo apt install curl # Install curl if not already installed
 curl -sS https://download.spotify.com/debian/pubkey_0D811D58.gpg | sudo apt-key add -
 echo "deb http://repository.spotify.com stable non-free" | sudo tee /etc/apt/sources.list.d/spotify.list
 sudo apt update

installSyncthing.sh

@@ -1,6 +1,5 @@
 # We add the official deposit of Syncthing
-sudo apt update
-sudo apt install curl -y
+which curl &> /dev/null || sudo apt update && sudo apt install curl # Install curl if not already installed
 sudo curl -s -o /usr/share/keyrings/syncthing-archive-keyring.gpg https://syncthing.net/release-key.gpg
 echo "deb [signed-by=/usr/share/keyrings/syncthing-archive-keyring.gpg] https://apt.syncthing.net/ syncthing stable" | sudo tee /etc/apt/sources.list.d/syncthing.list
 # Install Syncthing