Change sketchbook/data paths if IDE is portable #123

Merged

cmaglie merged 2 commits intoarduino:masterfrom

facchinm:portable_ide

Jan 9, 2019

Commits on Jan 9, 2019

Recognize if IDE is portable and fix paths accordingly

facchinm
authored and
cmaglie
committed
Only report warning if proxy settings are bogus

facchinm
authored and
cmaglie
committed