From 0a52edbf5180b8f0fb694f2d3340b5d738d9f1e5 Mon Sep 17 00:00:00 2001
From: Philippe Dosch <Philippe.Dosch@loria.fr>
Date: Mon, 24 Apr 2023 15:10:11 +0200
Subject: [PATCH] =?UTF-8?q?D=C3=A9placement=20des=20LanguageTools=20&=20de?=
 =?UTF-8?q?=20la=20JRE?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .emacs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.emacs b/.emacs
index 7feaf34..41a6bb8 100644
--- a/.emacs
+++ b/.emacs
@@ -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)
-- 
GitLab