1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-04-09 00:53:47 +02:00

10 Commits

Author SHA1 Message Date
R P Herrold
1c23d5b020 reverse attempt to do permission bits inside the install phase, and
add this to the build specification /.xml instead
2017-07-27 11:03:27 -04:00
R P Herrold
89ff576419 XFCE's Launcher wants the .desktop file to be +x as well
-- add a --mode 755 for it
2017-07-26 18:28:19 -04:00
Arturo Rinaldi
bd49219109 fixing RESOURCE_NAME for linux install.sh script 2017-04-11 13:12:10 +02:00
Matthias Klumpp
5af7165b40 Make metainfo and .desktop files spec compliant
This resolves bug #5890
2017-01-22 20:42:47 +01:00
Christian Fiebig
7d4787bcff Updated Linux install script to be flexible about different desktop folder locations. 2015-11-23 16:31:25 +01:00
Christian Fiebig
22496e14d5 Added help option for install.sh and changed some texts and comments. 2015-11-23 16:31:25 +01:00
Christian Fiebig
c80555d62d Minor improvement for new Linux install.sh script 2015-11-23 16:31:25 +01:00
Christian Fiebig
05654ba0aa Replaced/improved Linux install and uninstall scripts.
Install script adds menu item, desktop icon, file association for
the current user - even if the Arduino installation was placed
outside of the user's home dir (such as in /opt or /usr/local).

Added three more icon resolutions (64px, 72px, 96px) - by using
the 256px file - maybe there is a better source available for this...

Modified build.xml for copying the existing icons and mime.xml file,
both scripts and adjusted file permissions (ugo+x) for *.sh files to
be executable by others by default.
2015-11-23 16:31:25 +01:00
Avamander
cdae13c3cc Update install.sh 2015-06-04 20:18:55 +03:00
ricardo.jl.rufino
6e74d98ade install script for linux 2015-05-07 17:15:49 +02:00