diff src/rcfile.c @ 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/rcfile.c	Thu May 22 13:00:45 2008 +0000
+++ b/src/rcfile.c	Thu May 22 20:22:13 2008 +0000
@@ -548,6 +548,12 @@
 	WRITE_INT(color_profile.screen_type);
 	WRITE_CHAR(color_profile.screen_file);
 
+
+	WRITE_SUBTITLE("Shell command");
+	WRITE_CHAR(shell.path);
+	WRITE_CHAR(shell.options);
+
+
 	WRITE_SUBTITLE("External Programs");
 	secure_fprintf(ssi, "# Maximum of %d programs (external_1 through external_%d)\n", GQ_EDITOR_GENERIC_SLOTS, GQ_EDITOR_GENERIC_SLOTS);
 	secure_fprintf(ssi, "# external_%d through external_%d are used for file ops\n", GQ_EDITOR_GENERIC_SLOTS + 1, GQ_EDITOR_SLOTS);
@@ -879,6 +885,10 @@
 		READ_INT(color_profile.screen_type);
 		READ_CHAR(color_profile.screen_file);
 
+		/* Shell command */
+		READ_CHAR(shell.path);
+		READ_CHAR(shell.options);
+
 		/* External Programs */
 
 		if (is_numbered_option(option, "external_", &i))