PaoloP:
Ad esempiogit clone --depth 1 -b ide-1.5.x-avr-toolchain-gcc-4.8.1 https://github.com/arduino/Arduino.gitPerò ieri notte mi andava lentissimo: 30/40 KiB/s.
esatto, poi che sia così lento ci saranno stati casini lato server, a me va a piena banda di solito