WSL2でCoqIDE
環境
WSL2 + Ubuntu 20.04
インストール
aptで問題なく入る。
$ sudo apt install coqide
トラブルシューティング
Gtkエラーが出て動かない
XServerが動いていないと、
$ coqide
Unable to init server: Could not connect: Connection refused
Fatal error: exception Gtk.Error("GtkMain.init: initialization failed\nml_gtk_init: initialization failed")
のようになるので、VcXsrv
などを入れて、DISPLAY
環境変数を適宜設定する。
VcXsrv
の場合、XLaunch
の起動時にDisable Access Control
にチェックを入れておかないと、
$ coqide
Authorization required, but no authorization protocol specified
...
のようなエラーがでる。
アイコンがおかしい
$ sudo apt install yaru-theme-icon
で直る。
Author And Source
この問題について(WSL2でCoqIDE), 我々は、より多くの情報をここで見つけました https://qiita.com/kzee/items/48ebc0cd00db65dc971e著者帰属:元の著者の情報は、元のURLに含まれています。著作権は原作者に属する。
Content is automatically searched and collected through network algorithms . If there is a violation . Please contact us . We will adjust (correct author information ,or delete content ) as soon as possible .