☰

连接 GEdit 和 xdvi

tag-icon • tag-icon gedit
连接 GEdit 和 xdvi

我正在尝试连接 GEdit 和 xdvi。我没有使用 gedit LaTeX 插件，因为我不使用 LaTeX，而是使用纯 TeX。好吧，对于反向搜索，我使用“外部工具”插件和以下代码编译 TeX 文件：

#!/bin/bash
TEXFILE=$GEDIT_CURRENT_DOCUMENT_NAME
DVIFILE=${TEXFILE/%.*/.dvi}
LOGFILE=${TEXFILE/%.*/.log}
if pdftex -output-format=dvi -src-specials -halt-on-error $TEXFILE; then
    xdvi -editor gedit $DVIFILE
    else gedit $LOGFILE
    fi

并且反向搜索效果很好。

但我无法正确设置直接搜索。我正在尝试以下代码

#!/bin/bash
TEXFILE=$GEDIT_CURRENT_DOCUMENT_NAME
DVIFILE=${TEXFILE/%.*/.dvi}
xdvi -sourceposition $GEDIT_CURRENT_LINE_NUMBER $DVIFILE

但它不起作用。错误消息是“DVI 文件中没有对源文件“test.dvi”的引用。”

错误在哪里？

相关内容