rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-07 01:54:26 +01:00
Code Issues Releases Activity

Minor improvement for new Linux install.sh script

Browse Source
This commit is contained in:
Christian Fiebig 2015-06-05 13:54:12 +02:00 committed by Federico Fissore
parent 05654ba0aa
commit c80555d62d
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
build/linux/dist/install.sh vendored
View File

@ -76,6 +76,11 @@ simple_install_f() {
mkdir -p ~/.local/share/applications mkdir -p ~/.local/share/applications
cp "${TMP_DIR}/${RESOURCE_NAME}.desktop" ~/.local/share/applications/ cp "${TMP_DIR}/${RESOURCE_NAME}.desktop" ~/.local/share/applications/
# Create desktop icon if dir exists
if [ -d ~/Desktop ]; then
cp "${TMP_DIR}/${RESOURCE_NAME}.desktop" ~/Desktop/
fi
# Clean up # Clean up
rm "${TMP_DIR}/${RESOURCE_NAME}.desktop" rm "${TMP_DIR}/${RESOURCE_NAME}.desktop"
rmdir "$TMP_DIR" rmdir "$TMP_DIR"
@ -129,6 +134,14 @@ simple_uninstall_f() {
rm ~/.local/share/applications/${RESOURCE_NAME}.desktop rm ~/.local/share/applications/${RESOURCE_NAME}.desktop
fi fi
if [ -f ~/Desktop/arduino.desktop ]; then
rm ~/Desktop/arduino.desktop
fi
if [ -f ~/Desktop/${RESOURCE_NAME}.desktop ]; then
rm ~/Desktop/${RESOURCE_NAME}.desktop
fi
} }
# Update desktop file and mime databases (if possible) # Update desktop file and mime databases (if possible)