Open
Description
Moved from arduino/Arduino#6276 by @my1fail
Arduino: 1.8.2 (Linux), Board: "Digispark (Default - 16.5mhz)"
/home/a1/Progs/arduino-1.8.2/arduino-builder -dump-prefs
...
-verbose /run/user/1000/gvfs/smb-share:server=europa,share=tausch/Arduino/Sketches/Blink_test/Blink_test.ino/Blink_test.ino.ino
open /run/user/1000/gvfs/smb-share: no such file or directory