I've got many computers that I set up Arduino and Teensyduino on.
I have always [well, since version 2.x anyway] been able to copy in https://www.pjrc.com/teensy/package_teensy_index.json to the extra board preference, and then it would successfully download the json and allow me to install teensy from the board manager.
Right now it is just hanging halfway through the download.
This is happening on ~20 computers at my university where I maintain a computer lab for students, as well as on my home computer and my boss's computer. The lab is running Windows, I am running Linux.
I can literally visit https://www.pjrc.com/teensy/package_teensy_index.json in firefox and see the json, so the network connection is okay...
I am confused as to how this is possible, certainly the windows and linux computers have different firewall configurations, and my home linux computer has installed teensy board files dozens of times.
Is there a way to take this json, download it, and manually import it or something? It's such a tiny file, I don't understand what is the issue at all.
I have always [well, since version 2.x anyway] been able to copy in https://www.pjrc.com/teensy/package_teensy_index.json to the extra board preference, and then it would successfully download the json and allow me to install teensy from the board manager.
Right now it is just hanging halfway through the download.
This is happening on ~20 computers at my university where I maintain a computer lab for students, as well as on my home computer and my boss's computer. The lab is running Windows, I am running Linux.
I can literally visit https://www.pjrc.com/teensy/package_teensy_index.json in firefox and see the json, so the network connection is okay...
I am confused as to how this is possible, certainly the windows and linux computers have different firewall configurations, and my home linux computer has installed teensy board files dozens of times.
Is there a way to take this json, download it, and manually import it or something? It's such a tiny file, I don't understand what is the issue at all.
