荣斋居士分享 http://blog.sciencenet.cn/u/dalianwang

博文

LaTeX如何实现自动检查语法?

已有 6600 次阅读 2022-7-19 15:39 |个人分类:软件学习|系统分类:科研笔记

今天介绍Texstudio配置语法检查工具。

 

1.准备工作:下载安装下列软件

 

l  Texstudio:一款好用的Latex编辑器(需要配合编译工具texlive使用),地址:https://texstudio.org/

l  Language Tools::语言检查工具,含有单词拼写和语法检查功能,下载后缀为.zip的文件,地址:https://languagetool.org/download/

l  English dictionary:词典文件,下载文件的后缀为oxt,此文件下载后放置于你安装texstudio路径下的dictionaries 路径下,texstudio的默认位置:C.\Program Files\texstudio\dictionaries

l  JDK:jva软件开发运行环境套件,jdk安装LTS的版本就好,不-一定需要最新(推荐安装长期支持版本,即带有LTS字眼的版本,如JDK8JDK11

1.配置Language Tool

官网地址:https://languagetool.org/

首先,按着教程将下载好的languagetool解压(languagetool下载链接),并在包含压缩包languagetool.jar的文件夹位置打开cmd,输入:

 

java -jar languagetool.jar(或者直接双击打开languagetool.jar),在languagetool界面上点击“TextChecking”,然后点击“选项”,出现一下界面,

 

将“运行服务器端口”勾上,端口设置为8081。“对服务器使用以下设置”勾不勾选应该影响不大。然后点击确定,关闭languagetool界面。




2.设置texstudio

打开texstudio,菜单-option选项-configure Texstudioi配置,找到”语言检查(Language Checking)”标

签项,配置好下列两项主要内容:拼写检查设置,内部语法检查设置。

 




 

拼写字典路径: C:\Program Files\texstudio\dictionaries

词典数据库:   C:\Program Files\texstudio\dictionaries\th_en_US_v2.dat

单词表目录:   C:\Program Files\texstudio\dictionaries

服务器URL:    http://localhost:8081

Java       C:\Program Files\Java\jdk-11\bin\javaw.exe

LT路径:      C:\Tsingke\LanguageTool\languagetool.jar

LT参数:      org.languagetool.server.HTTPServer -p 8081

 

注意: 配置窗口里的Java位置,要选择javaw.exe (注意不是java.exe, 仅针对windows平台)

 

 按照上面格式配置texstudio,配置完后重新启动texstudio试试。

3.验证语法检测

故意在texstudio输入错误语法内容:

You is right.

i were wrong.

软件通过波浪线显示语法错误了。在出错的单词上点鼠标右键,可以更正为正确的语句。

鼠标放到蓝色波浪线位置,会看到如下语法错误提示:



4.结论

语法检查对写论文带来很多帮助,尤其节省很多时间。TexStudio提供了可以融合LanguageTool插件的功能,写论文更是如虎添翼。

最后Tips 1Texstudio编辑界面的行号


 

最后Tips 2:修复LanguageTool不起作用

解决步骤如下:

1) 是否版本匹配: TexStudio 2.12.0之前只能使用LauguageTool 2.x版本, TexStudio 2.12.2版本使用LanguageTool 3.6 及之上版本

2) 打开TexStudio之后, 打开浏览器,输入地址: http://localhost:8081

会出现提示:

Error: Missing 'text' parameter

Error: Missing arguments for LanguageTool API. Please see https://languagetool.org/http-api/swagger-ui/#/default

如果未出现类似提示,请检查是否javaw.exe路径设置不正确。

3)除了上述的原因外,还有可能就是端口占用问题。【解决办法:https://zhuanlan.zhihu.com/p/38209314

解决方法:

1.window键+r,输入cmd, 在命令行输入netstat -ano,查找被占用的端口号的PID,以8083为例

2.按下alt+ctrl+delete键,启动任务管理器,找到8081端口对应的PID号,点击右键-结束进程

我们可以看到该端口的PID为10008,输入下面命令,杀掉8083端口进程。

 

taskkill /f /t /im 10008

最后Tips 3

localhost不能访问127.0.0.1的解决方案

一般情况下ping localhost 应该为127.0.0.1,但是有时会出来下面这个东西:

  • ping localhost

  • reply from ::1: times<1ms

  • reply from ::1: times<1ms

  • reply from ::1: times<1ms

地址根本不是“127.0.0.1”,而是“::1:

  • >ping 127.0.0.1 正常

  • reply from 127.0.0.1 : bytes=32 times<1ms

  • reply from 127.0.0.1 : bytes=32 times<1ms

  • reply from 127.0.0.1 : bytes=32 times<1ms

原因分析:

IPV6协议将127.0.0.1解析为 ::1 (127.0.0.1 ipv6的形式)
Vista开始菜单中输入cmd回车后打开命令提示符,输入ping localhost默认的就会出现返回的数据包并不是127.0.0.1而是::1。这就是Ipv6格式的本地地址,

解决方案1

修改host文件用记事本打开C:/WINDOWS/system32/drivers/etc/hosts文件,看里面是否有包含:

  • 127.0.0.1 localhost

如果没有则将其添加进去,再查看能否访问localhost

host文件部分内容

  • # 127.0.0.1 localhost

  • # ::1 localhost

  • 127.0.0.1 localhost

  • localhost 127.0.0.1

解决方案2

1、打开Internert信息管理查看IIS是否启动,且默认网站时候已经开启;
2、打开http://127.0.0.1/ 看是否能访问IIS的默认网页,能访问则说明IIS已经成功安装到电脑上,可能是无法解析localhost
3、开始--命令(cmd--ping localhost,看是否能ping通,从127.0.0.1上返回信息,如果成功则说明可以解析localhost
4、如果上一步不成功,则用记事本打开C:/WINDOWS/system32/drivers/etc/hosts文件,看里面是否有包含:127.0.0.1 localhost ,如果没有则将其添加进去,再查看能否访问localhost
5、尝试将网站的主目录指向另一个目录或新建一个虚拟目录,并在该新目录创建一个新的网页文件,如index.html,然后将其加到默认网站的"文档"项中作为默认访问的网页,重新输入网址:http://localhost/,看否能访问。
6、还是不行的话将IIS卸载掉,重新再安装一次。

解决问题的思路:

1ping一下localhost,这个是关键,看看是否能ping通,然后看解析到那个ip地址下去了

2、然后查看本机的hosts文件,看看是否有被修改,如果被修改,就改回正常的模式

3、解决问题本质,ipconfig看看网络是否正常,如果不正常就进行修复

4、用杀毒软件或者360等修复软件进行扫描,看看是否存在恶意插件或者病毒,然后清除,一劳永逸!

5、多动脑,想办法解决问题,善于用搜索引擎。

 




https://m.sciencenet.cn/blog-2089193-1347958.html

上一篇:Window下Latex加速编译方法
下一篇:学术论文中如何选择合适的数学字体和符号?

2 梅志平 杨学祥

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-4-16 22:12

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部