1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-26 20:54:22 +01:00

Merge branch 'ide-1.5.x'

This commit is contained in:
Cristian Maglie 2016-01-07 12:25:12 +01:00
commit f187df9c10

View File

@ -289,7 +289,7 @@ afterwards:
#!/bin/bash
Xvfb :1 -nolisten tcp -screen :1 1280x800x24 &
xvfb="$!"
DISPLAY=:1 arduino $@
DISPLAY=:1 arduino "$@"
kill -9 $xvfb
Save the script as *arduino-headless* and run it with the options described above.