diff src/options.h @ 737:8a8873e7a552

Make shell command and its option rc file options instead of hardcoded strings. This allows users to modify the shell command that execute "editors". Two new options appear in rc file: - shell.path (default to "/bin/sh") - shell.options (default to "-c") These options can only be changed from the rc file, not at runtime. Tests are made to check that shell.path is not empty and lead to an executable file.

--- a/src/options.h	Thu May 22 13:00:45 2008 +0000
+++ b/src/options.h	Thu May 22 20:22:13 2008 +0000
@@ -110,6 +110,12 @@
 	/* editors */
 	Editor editor[GQ_EDITOR_SLOTS];
 
+	/* shell */
+	struct {
+		gchar *path;
+		gchar *options;
+	} shell;
+	
 	/* file sorting */
 	struct {
 		SortType method;