mirror of
https://github.com/arduino/Arduino.git
synced 2024-11-29 10:24:12 +01:00
Linux build: remove symlinks only if they exist
This commit is contained in:
parent
72330aaddd
commit
8cff0dbef4
8
build/linux/dist/install.sh
vendored
8
build/linux/dist/install.sh
vendored
@ -152,8 +152,8 @@ xdg_uninstall_f() {
|
|||||||
|
|
||||||
# Remove symlink for arduino
|
# Remove symlink for arduino
|
||||||
echo "" # Ensure password request message is on new line
|
echo "" # Ensure password request message is on new line
|
||||||
if ! rm /usr/local/bin/arduino; then
|
if [ -f /usr/local/bin/arduino ]; then
|
||||||
echo "Removing symlink failed. Hope that's OK. If not then rerun as root with sudo."
|
rm /usr/local/bin/arduino || echo "Removing symlink failed. Hope that's OK. If not then rerun as root with sudo."
|
||||||
fi
|
fi
|
||||||
|
|
||||||
}
|
}
|
||||||
@ -189,8 +189,8 @@ simple_uninstall_f() {
|
|||||||
|
|
||||||
# Remove symlink for arduino
|
# Remove symlink for arduino
|
||||||
echo "" # Ensure password request message is on new line
|
echo "" # Ensure password request message is on new line
|
||||||
if ! rm /usr/local/bin/arduino; then
|
if [ -f /usr/local/bin/arduino ]; then
|
||||||
echo "Removing symlink failed. Hope that's OK. If not then rerun as root with sudo."
|
rm /usr/local/bin/arduino || echo "Removing symlink failed. Hope that's OK. If not then rerun as root with sudo."
|
||||||
fi
|
fi
|
||||||
|
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user