From 0f68c35c29c951dd5d83c453f1740b717fd3e318 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Tue, 23 Aug 2016 17:58:23 +0000
Subject: [PATCH] random feedback = sensible-editor just does not work; just
use gedit instead
---
Common/DefaultOptions.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Common/DefaultOptions.h b/Common/DefaultOptions.h
index 43c88e12bd..625373c51f 100644
--- a/Common/DefaultOptions.h
+++ b/Common/DefaultOptions.h
@@ -112,7 +112,7 @@ StringXString GeneralOptions_String[] = {
#elif defined(__APPLE__)
"open -t %s" ,
#else
- "sensible-editor '%s'" ,
+ "gedit %s" ,
#endif
"System command to launch a text editor" },
{ F|S, "TmpFileName" , opt_general_tmp_filename ,
--
GitLab