Add option command-prefix which is automatically prepended to any command

(apart from a naked default-shell). The default is "exec ".
This commit is contained in:
Nicholas Marriott
2013-02-22 14:31:38 +00:00
parent 374dae6635
commit 31407b70e0
5 changed files with 55 additions and 17 deletions

View File

@ -476,7 +476,6 @@ const struct options_table_entry window_options_table[] = {
.default_num = 1
},
{ .name = "c0-change-trigger",
.type = OPTIONS_TABLE_NUMBER,
.default_num = 250,
@ -502,6 +501,11 @@ const struct options_table_entry window_options_table[] = {
.default_num = 1
},
{ .name = "command-prefix",
.type = OPTIONS_TABLE_STRING,
.default_str = "exec "
},
{ .name = "force-height",
.type = OPTIONS_TABLE_NUMBER,
.minimum = 0,