UbuntuでPapilioに書き込む
Papilio-LoaderはUbuntuでも使える
https://github.com/GadgetFactory/Papilio-Loader をgit cloneする
$ sudo apt install default-jdk libftdi-dev
$ ./linux-installer.sh
$ papilio-loader-gui
PCとPapilioをUSB接続する
書き込むbitファイルを選択して、Runボタンを押す
Mini USBもSpartan 3Eもレガシーかもしれない