Vérification si codium est fermé ou pas

updateVSCodium.sh

@@ -3,6 +3,10 @@
 wget -q https://api.github.com/repos/VSCodium/vscodium/releases/latest
 grep -n 'browser_download_url": ".*.AppImage"' latest | awk '{ print substr ($0, 36 ) }' | awk '{ print substr( $0, 1, length($0)-1 ) }' > url
 rm latest
+if pgrep -f "codium" > /dev/null
+then
+    pkill -9 codium
+fi
 [ -f $HOME/VSCodium.AppImage ] && rm $HOME/VSCodium.AppImage
 wget -q --show-progress -i url -O VSCodium.AppImage
 rm url