1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-12-05 16:24:12 +01:00
Arduino/build/linux/dist/install.sh

18 lines
433 B
Bash
Raw Normal View History

2015-04-22 18:43:18 +02:00
#!/bin/sh
CURDIR=`pwd`
APPDIR="$(dirname -- "$(readlink -f -- "${0}")" )"
cd "$APPDIR"
# Set arduino.desktop absolute path workaround
mv arduino.desktop arduino.desktop-bak
sed -e "s,FULL_PATH,$PWD,g" arduino.desktop-bak > arduino.desktop
rm arduino.desktop-bak
cp arduino.desktop ~/.local/share/applications/arduino.desktop
cp arduino.desktop ~/Desktop/arduino.desktop
2015-06-04 19:18:55 +02:00
echo "Installed Arduino IDE icons on menu and desktop !"
2015-04-22 18:43:18 +02:00