VagrantでMu Editor、Xfce Desktop環境、XRDPがインストールされた仮想マシン(Ubuntu18.04)を構築する

Mu EditorでMicroPythonを使用して、micro:bitにプログラムを転送することができます。

〇Mu Editorの画面

※micro:bitはARM DAPLink CMSIS-DAPといったデバイス名でUSB一覧に表示されます

〇構築方法
以下のVagrantfileを使用して、Mu Editor、Xfce Desktop環境、XRDPをインストールした仮想マシン(Ubuntu18.04) を構築できます。
XRDPがインストールされているので、Windowsのリモートデスクトップで接続することができます。ユーザ名はvagrant、パスワードもvagrantでログオンできます。

Vagrantfile

VAGRANTFILE_API_VERSION = "2"

Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
  config.vm.box = "bento/ubuntu-18.04"
  config.vm.hostname = "ub1804xfcemueditor"
config.vm.network :public_network, ip:"192.168.1.117"
config.vm.network "private_network", ip: "192.168.55.117", :netmask => "255.255.255.0"
  config.vm.provider :virtualbox do |vbox|
     vbox.name = " ub1804xfcemueditor"
     vbox.gui = true
     vbox.cpus = 2
     vbox.memory = 4096
     vbox.customize ["modifyvm", :id, "--nicpromisc2","allow-all"]
  end
  config.vm.provision "shell", inline: <<-SHELL
apt-get update
apt-get -y install language-pack-ja
sed -i.bak -e "s#http://archive.ubuntu.com/ubuntu/#http://ftp.riken.jp/pub/Linux/ubuntu/#g" /etc/apt/sources.list
localectl set-locale LANG=ja_JP.UTF-8
localectl set-keymap jp106
apt-get update
apt-get -y install xrdp=0.9.5-2 fcitx-mozc xubuntu-desktop language-pack-ja language-pack-ja
im-config -n fcitx

apt-get -y install --install-recommends linux-generic-hwe-18.04 xserver-xorg-hwe-18.04
apt-get -y install virtualbox-guest-dkms virtualbox-guest-utils virtualbox-guest-x11

sed -i -e "s/allowed_users=console/allowed_users=anybody/" /etc/X11/Xwrapper.config

echo "xfce4-session" > /home/vagrant/.xsession
apt-get -y purge light-locker


# install pipenv
apt-get -y install python-pip python3-distutils python3-dev
pip install pip==9.0.1
pip install --upgrade setuptools
pip install pipenv

sudo -u vagrant /bin/bash << BASH_EOF
echo "export PIPENV_VENV_IN_PROJECT=true" >> .bashrc
export HOME=/home/vagrant
export PIPENV_VENV_IN_PROJECT=true

mkdir ~/mueditor
cd ~/mueditor
pipenv --python 3.6
pipenv install
pipenv install mu-editor

# create a shortcut for mu editor
mkdir -p ~/.local/share/applications/
cat << EOF > ~/.local/share/applications/mueditor.desktop
[Desktop Entry]
Version=1.0
Type=Application
Terminal=false
Exec=/bin/bash -c "cd ~/mueditor && pipenv run mu-editor"
Name=Mu editor
Categories=Utility;Development;
EOF
BASH_EOF

init 5
SHELL
end