||
今天介绍Texstudio配置语法检查工具。
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字眼的版本,如JDK8,JDK11)
1.配置Language Tool
官网地址:https://languagetool.org/
首先,按着教程将下载好的languagetool解压(languagetool下载链接),并在包含压缩包languagetool.jar的文件夹位置打开cmd,输入:
java -jar languagetool.jar(或者直接双击打开languagetool.jar),在languagetool界面上点击“TextChecking”,然后点击“选项”,出现一下界面,
将“运行服务器端口”勾上,端口设置为8081。“对服务器使用以下设置”勾不勾选应该影响不大。然后点击确定,关闭languagetool界面。
打开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试试。
故意在texstudio输入错误语法内容:
You is right.
i were wrong.
软件通过波浪线显示语法错误了。在出错的单词上点鼠标右键,可以更正为正确的语句。
鼠标放到蓝色波浪线位置,会看到如下语法错误提示:
语法检查对写论文带来很多帮助,尤其节省很多时间。TexStudio提供了可以融合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
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卸载掉,重新再安装一次。
♦解决问题的思路:
1、ping一下localhost,这个是关键,看看是否能ping通,然后看解析到那个ip地址下去了
2、然后查看本机的hosts文件,看看是否有被修改,如果被修改,就改回正常的模式
3、解决问题本质,ipconfig看看网络是否正常,如果不正常就进行修复
4、用杀毒软件或者360等修复软件进行扫描,看看是否存在恶意插件或者病毒,然后清除,一劳永逸!
5、多动脑,想办法解决问题,善于用搜索引擎。
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-11-25 07:18
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社