cli: add global option "--uuid"

[notmuch] / notmuch-config.c

diff --git a/notmuch-config.c b/notmuch-config.c
index 934827874b1eb3548fa6b9fa1fdf4d9955174ee6..d252bb25d4bb565d78c88a14e5719949259a076d 100644 (file)
--- a/notmuch-config.c
+++ b/notmuch-config.c
@@ -878,6 +878,10 @@ notmuch_config_command (notmuch_config_t *config, int argc, char *argv[])
     if (opt_index < 0)
        return EXIT_FAILURE;
 
+    if (notmuch_requested_db_uuid)
+       fprintf (stderr, "Warning: ignoring --uuid=%s\n",
+                notmuch_requested_db_uuid);
+
     /* skip at least subcommand argument */
     argc-= opt_index;
     argv+= opt_index;