diff options
author | Christian Persch <chpe@src.gnome.org> | 2021-10-23 20:55:15 +0200 |
---|---|---|
committer | Christian Persch <chpe@src.gnome.org> | 2021-10-23 20:55:15 +0200 |
commit | 51cd95caa2cf63270c51d6df027afe0252487ccd (patch) | |
tree | 674131454afa574bc7f324fa85c05f2920b07dd9 | |
parent | 374e89381bc47f26260597fca67689a29600b8c6 (diff) | |
download | vte-51cd95caa2cf63270c51d6df027afe0252487ccd.tar.gz |
app: Improve option value description
-rw-r--r-- | src/app/app.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/app/app.cc b/src/app/app.cc index 1767f919..b0c3f3d2 100644 --- a/src/app/app.cc +++ b/src/app/app.cc @@ -590,7 +590,7 @@ public: { "extra-margin", 0, 0, G_OPTION_ARG_INT, &extra_margin, "Add extra margin around the terminal widget", "MARGIN" }, { "fd", 0, 0, G_OPTION_ARG_CALLBACK, (void*)parse_fd, - "Pass file descriptor N (as M) to the child process", "N[=M]" }, + "Pass file descriptor N (as M) to the child process", "N[:M]|N[=]M]" }, { "feed-stdin", 'B', 0, G_OPTION_ARG_NONE, &feed_stdin, "Feed input to the terminal", nullptr }, { "font", 'f', 0, G_OPTION_ARG_STRING, &font_string, |