Coq IDEの文字化け問題
Coq ideで日本語というかutf-8でコメント書いて保存すると、
勝手にエスケープエンコード(\uxxxx形式)されて保存される問題がある。
https://github.com/coq/coq/issues/11526
coqideのEdit -> Preferences -> Files -> File charset encodingで、UTF-8に変更すれば、バグを防げるらしい。
ただCoqIDEで設定(preferences)が開けない問題もあるので、
https://github.com/coq/coq/issues/15486
設定ファイルを直接いじります。
vi ~/.config/coq/coqiderc
diffs = "off"
dynamic_word_wrap = "false"
- encoding = "LOCALE"
+ encoding = "UTF-8"
error_color = "#FFCCCC"
error_fg_color = "red"
Author And Source
この問題について(Coq IDEの文字化け問題), 我々は、より多くの情報をここで見つけました https://qiita.com/gAuk/items/260e53b067eb40726f48著者帰属：元の著者の情報は、元の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 .