Ubuntu 18.10でmono実行環境をインストール

次で18.04のリポジトリを追加する。
Download
https://www.monodevelop.com/download/
(1) Add the Mono repository to your system
Ubuntu 18.04 (i386, amd64, armhf)
$ sudo apt install apt-transport-https dirmngr
$ sudo apt-key adv –keyserver hkp://keyserver.ubuntu.com:80 –recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
$ echo “deb https://download.mono-project.com/repo/ubuntu vs-bionic main” | sudo tee /etc/apt/sources.list.d/mono-official-vs.list
$ sudo apt update
実行環境だけなら、インストールするのは次で良いはず。
$ sudo apt install mono-runtime