mono developはインストール時のオプションには出てこないみたいです
vs codeでやってみますで