I've tried this on two debian and one ubuntu machine (iceweasel and firefox), but I can not reproduce this bug. I took a look into the source code, and it appears that arduino doesn't even use that line from the preferences.txt file.
Help is opened with: http://git.debian.org/?p=collab-maint/arduino.git;a=blob;f=app/src/processing/app/Base.java#l1745 1761 static public void showReference() { 1762 showReference("index.html"); 1763 } which in turn calls the the platform.openURL() function: http://git.debian.org/?p=collab-maint/arduino.git;a=blob;f=app/src/processing/app/linux/Platform.java#l55 That function attempts to open an application or file using your platform's launcher. On Linux, it first tries xdg-open, gnome-open, then kde-open, but if none are available, it sends the command to the shell without any alterations. It then sets launcher.linux = {your launcher} in ~/.arduino/Preferences.txt So that means that arduino help only works if you have xdg-open, gnome-open, or kde-open, and if you have the right browser selected to open the files. If you run arduino from the terminal and try to open help, what error do you get? possibly: "No launcher set, cannot open file.getAbsolutePath())" Ways we can handle this: 1) put in readme.debian that help only works with gnome-open or kde-open (not ideal) 2) add a default to linux/Platform.java 58 if (launcher != null) { 59 Runtime.getRuntime().exec(new String[] { launcher, url }); 60 } else { Runtime.getRuntime().exec(new String[] { "x-www-browser", url }); } Does this explanation make sense on your system? do you not have xdg-open, gnome-open, nor kde-open? -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
