Skip to content
Snippets Groups Projects
Commit 0a52edbf authored by Philippe Dosch's avatar Philippe Dosch
Browse files

Déplacement des LanguageTools & de la JRE

parent 597afdc3
No related branches found
No related tags found
No related merge requests found
......@@ -370,8 +370,8 @@
;; (require 'langtool)
;; Pour Langtools
(setq langtool-java-bin "/home/phil/tmp/java/jre1.8.0_361/bin/java")
(setq langtool-language-tool-jar "/home/phil/tmp/LanguageTool-6.0/languagetool-commandline.jar")
(setq langtool-java-bin "/usr/local/src/java/jre1.8.0_361/bin/java")
(setq langtool-language-tool-jar "/usr/local/src/LanguageTool-6.0/languagetool-commandline.jar")
;; (setq langtool-language-tool-server-jar "/home/phil/tmp/LanguageTool-6.0/languagetool-server.jar")
;; (setq langtool-http-server-host "localhost"
;; langtool-http-server-port 8082)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment