Coqide 8.5：在Linux上没有语法突出显示

我安装了Coqide 8.5 w / nix 。 不幸的是，在所有的面板上的文字是blakc; 没有任何types的语法高亮（否则，8.5似乎是8.4以上的重大改进，我也已经安装了这个function）。 我也得到以下几点：

(coqide:17272): GtkSourceView-WARNING **: UnkNown parent scheme 'classic' in scheme 'coq_style' (coqide:17272): GtkSourceView-WARNING **: Failed to load '/nix/store/2sxcqfc4q3ls4g2q13n1zwfhnydvgq-coq-8.5pl1/share/coq/coq.lang': Could not find the RelaxNG schema file

cat ~/.nix-profile/share/coq/coq_style.xml ：

<?xml version="1.0" encoding="UTF-8"?> <style-scheme id="coq_style" _name="Coq highlighting based on Ssr manual" parent-scheme="classic" version="1.0"> <author>The Coq Dev Team</author> <_description>Coq/Ssreflect color scheme for the vernacular language</_description> <style name="coq:comment" foreground="#brown"/> <style name="coq:coqdoc" foreground="#brown" italic="true"/> <style name="coq:vernac-keyword" bold="true" foreground="#dark violet"/> <style name="coq:gallina-keyword" bold="true" foreground="#orange red"/> <style name="coq:identifier" foreground="#navy"/> <style name="coq:constr-keyword" foreground="#dark green"/> <style name="coq:constr-sort" foreground="#008080"/> <style name="coq-ssreflect:comment" foreground="#b22222"/> <style name="coq-ssreflect:coqdoc" foreground="#b22222" italic="true"/> <style name="coq-ssreflect:vernac-keyword" bold="true" foreground="#a021f0"/> <style name="coq-ssreflect:gallina-keyword" bold="true" foreground="#a021f0"/> <style name="coq-ssreflect:identifier" bold="true" foreground="#0000ff"/> <style name="coq-ssreflect:constr-keyword" foreground="#228b22"/> <style name="coq-ssreflect:constr-sort" foreground="#228b22"/> <style name="coq-ssreflect:tactic" foreground="#101092"/> <style name="coq-ssreflect:endtactic" foreground="#ff3f3f"/> <style name="coq-ssreflect:iterator" foreground="#be6ad4"/> <style name="coq-ssreflect:string" foreground="#8b2252"/> </style-scheme>

鉴于第一个警告，我想应该有别的东西，而不是"classic"但是什么

在vim中无法获得与R代码一起使用的语法突出显示

我如何使intellij想法用＃正确地突出显示Scala脚本！ （家当）

如何通过〜/ .nanorcclosures（或至less覆盖）语法高亮纳米？

通过debian包提供系统范围的vim语法高亮显示

Linux编辑器，可以突出显示所选单词的所有实例

文本编辑器为汇编

你有什么build议使用代码完成的简单的JavaScript编辑器？

gedit语法突出显示汇编程序文件（* .asm）

我有libgtksourceview3.0-common安装，但是coqIDE依赖于libgtksourceview2.0-common 。 安装后者固定它

我刚刚通过nix （在coq-8.6包中）安装了coqide遇到了同样的问题。

下面是一个脚本，它将符号链接安装到homedir中的某些文件，以解决几个警告消息：

## Find the nix-installed version of the GTK SourceView 2.0 library sourceview="$(nix-env -q coq --no-name --out-path | xargs nix-store -q --references | grep -- -gtksourceview-)" ## Link files into the correct hierarchical folders in your home dir: share=share/gtksourceview-2.0 for file in language-specs/language2.rng language-specs/def.lang styles/classic.xml do target="$HOME/.local/$share/$file" mkdir -vp "$(dirname "$target")" ln -vfns "$sourceview/$share/$file" "$target" done

这修复了以下GtkSourceView-WARNING ：

## fixed by language-specs/language2.rng Failed to load '.../share/coq/coq.lang': Could not find the RelaxNG schema file ## fixed by language-specs/def.lang in file .../share/coq/coq.lang: style 'def:comment' not defined Failed to load '.../share/coq/coq.lang': unable to resolve language 'def' ## fixed by styles/classic.xml UnkNown parent scheme 'classic' in scheme 'coq_style'

我可能会尝试修正coq派生，以避免需要这种解决方法。 我怀疑以下任何一项或两项都需要完成：

修复coq如何设置GTK SourceView搜索路径（因为它包含语言定义）

修复gnome2.gtksourceview如何导出搜索路径以供其他程序使用