search

bfayers / microbit-vagrants

MIT License
2 stars 1 forks source link
espruino microbit micropython pxt vagrant

readme

microbit-vagrants

Language Working? Link
MicroPython Yes https://github.com/bbcmicrobit/micropython
Espruino Yes https://github.com/espruino/Espruino
RIOT Yes https://github.com/RIOT-OS/RIOT/
RUST WIP https://github.com/SimonSapin/rust-on-bbc-microbit
PXT WIP https://github.com/microsoft/pxt https://github.com/microsoft/pxt-microbit

What is Vagrant? Why should I use it?

Vagrant is a a program which manages virtual machines powered by virtualbox

Sure, you could download the files for the Operating System and install all the differnt packages yourself, or you could use these handy Vagrantfiles to setup the machines for you in a minimal amount of time.

If you would like to get the latest version of MicroPython, Espruino or RIOT on your micro:bit follow the guide below

Windows Guide (WIP)

  1. Install VirtualBox
  2. Install Vagrant
  3. Install PuTTY (Get the latest installed .msi, currently called "putty-0.67-installer.msi")
  4. Install git
  5. Make a folder somewhere on your computer, open the folder.
  6. Hold shift and rightclick inside the folder and click "Open command window here"
  7. Type in vagrant plugin install vagrant-auto_network and press enter
  8. Now type in git clone https://github.com/bfayers/microbit-vagrants .
  9. Now type in cd micropython for MicroPython, cd Espruino for Espruino and cd RIOT for RIOT then press enter
  10. When you are in the folder you want type in this command vagrant up and press enter
  11. Vagrant will now download and install all the packages
  12. Wait a while (between 10 and 30 minutes), if your command window is back at a stage where you can type things into it again, it should have a small flashing line
  13. Now open PuTTY, in the Host Name box type in 127.0.0.1 in the port box type in 2222 like this
  14. Now click "Open"
  15. It will say login as: type in vagrant and press enter
  16. It will says vagrant@127.0.0.1's password: type in vagrant you will not be able to see the password as you type it but it is there. Press enter
  17. For MicroPython or Espruino type in cd /vagrant && ./compile.sh
  18. Copy the resulting hex file to your micro:bit, you can find this at