ho installato dal sito di arduino l'ultima versioen ide.
ora volevo installare nuove librerie , e ho cercato di eseguire quanto qui indicato
https://www.mcmajan.com/mcmajanwpr/blog ... ny-85-usb/
" andate su File – > Impostazioni e dove c’è lo spazio “URL aggiuntive per il gestore schede” dovete scrivere http://digistump.com/package_digistump_index.json. "
Ma nell'ide su Ubuntu non c'e nessun spazio per url aggiuntivo

Non lo vedo io o non esiste proprio ?
Grazie
Roberto



