comparison 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.
author zas_
date Thu, 22 May 2008 20:22:13 +0000
parents a7289f9e8d29
children 9b0ac8d58c89
comparison
equal deleted inserted replaced
736:a7289f9e8d29 737:8a8873e7a552
108 } collections; 108 } collections;
109 109
110 /* editors */ 110 /* editors */
111 Editor editor[GQ_EDITOR_SLOTS]; 111 Editor editor[GQ_EDITOR_SLOTS];
112 112
113 /* shell */
114 struct {
115 gchar *path;
116 gchar *options;
117 } shell;
118
113 /* file sorting */ 119 /* file sorting */
114 struct { 120 struct {
115 SortType method; 121 SortType method;
116 gint ascending; 122 gint ascending;
117 gint case_sensitive; /* file sorting method (case) */ 123 gint case_sensitive; /* file sorting method (case) */