VagrantでMicrosoft MakeCode(PXT micro:bit)をインストールした仮想マシン(Debian Stretch/9.5)を構築する

MakeCode micro:bitでScratchのようにブロックを組み合わせてプログラミングを行うことができます。
MakeCode micro:bitはオンラインで利用可能ですが、ローカルにインストールする事もできます。
ブラウザからブロックを組み合わせてプログラムして、ダウンロードボタンをクリックするとhexファイルがダウンロードできます。hexファイルをUSB接続したmicro:bitに転送する(普通のUSBディスクのように見える)と、作成したプログラムを実行する事ができます。

〇Microsoft MakeCode micro:bit

ブラウザからhttp://192.168.1.106:3232/にアクセスします。

〇構築方法
以下のVagrantfileを使用して、Microsoft MakeCode(PXT micro:bit)をインストールした仮想マシン(Debian Stretch/9.5)を構築する事ができます。
IPアドレス等は適宜環境に合わせて変更してください。

Vagrantfile

VAGRANTFILE_API_VERSION = "2"

Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
  config.vm.box = "bento/debian-9.5"
  config.vm.hostname = "db95pxtmicrobit"
  config.vm.provider :virtualbox do |vbox|
     vbox.name = "db95pxtmicrobit"
     vbox.cpus = 2
     vbox.memory = 2048
     vbox.customize ["modifyvm", :id, "--nicpromisc2","allow-all"]
  end
config.vm.network "private_network", ip: "192.168.55.106", :netmask => "255.255.255.0"
config.vm.network "public_network", ip:"192.168.1.106", :netmask => "255.255.255.0"
  config.vm.provision "shell", inline: <<-SHELL
apt-get update
#DEBIAN_FRONTEND=noninteractive apt-get -y -o Dpkg::Options::="--force-confdef" -o Dpkg::Options::="--force-confold" upgrade
locale-gen ja_JP.UTF-8
localectl set-locale LANG=ja_JP.UTF-8
timedatectl set-timezone Asia/Tokyo

# install nodejs
apt-get -y install curl
curl -sL https://deb.nodesource.com/setup_8.x | sudo -E bash -
sudo apt-get install -y nodejs

# install pxt
export HOME=/home/vagrant
npm install -g pxt

mkdir microbit
cd microbit
pxt target microbit


cat << EOF > /etc/systemd/system/microbit.service
[Unit]
Description=microbit
[Service]
Environment=HOME=/home/vagrant
Type=simple
WorkingDirectory=/home/vagrant/microbit
ExecStart=/usr/bin/pxt serve --hostname 0.0.0.0
[Install]
WantedBy=multi-user.target
EOF
systemctl enable microbit.service
systemctl start microbit.service

SHELL
end