mirror of
https://github.com/esp8266/Arduino.git
synced 2025-06-20 21:01:25 +03:00
build and run scripts - add new dependency and linux desktop icon
This commit is contained in:
committed by
Federico Fissore
parent
6b4e7d7c41
commit
903622ea63
2
build/linux/dist/arduino
vendored
2
build/linux/dist/arduino
vendored
@ -26,5 +26,5 @@ else
|
||||
SPLASH="-splash:./lib/splash.png"
|
||||
fi
|
||||
|
||||
java -Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel $SPLASH processing.app.Base --curdir $CURDIR "$@"
|
||||
java -Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel $SPLASH ArduinoIDE --curdir $CURDIR "$@"
|
||||
|
||||
|
4
build/linux/dist/arduino.desktop
vendored
4
build/linux/dist/arduino.desktop
vendored
@ -3,8 +3,8 @@ Type=Application
|
||||
Name=Arduino IDE
|
||||
GenericName=Integrated Development Environment
|
||||
Comment=An IDE for Arduino-compatible electronics prototyping platforms
|
||||
Exec=arduino
|
||||
Icon=arduino
|
||||
Exec=FULL_PATH/arduino
|
||||
Icon=FULL_PATH/lib/arduino.png
|
||||
Terminal=false
|
||||
Categories=Development;IDE;Electronics;
|
||||
MimeType=text/x-arduino
|
||||
|
Reference in New Issue
Block a user