Sorpresa con Ubuntu 18.04
Exec ["gksu", "chmod 4777", "/dev/ttyUSB0"] Wait
non funziona più perché gksu non è disponibile nei repository.
Ho usato allora
pkexec.(che tra l'altro ha la possibilità di eseguire comandi come utente specifico)
Ho scoperto però che la sintassi va un po' modificata perchè negli argomenti non è previsto ci siano spazi.
Quindi:
Exec ["pkexec", "chmod","4777", "/dev/ttyUSB0"] Wait
Ci ho perso un po' di tempo...