Apologies for the long delay in answering.

inwit <inwit@sindominio.net> writes:

> @@ -54,6 +54,7 @@ notmuch_exit_if_unmatched_db_uuid (notmuch_database_t *notmuch);
>  
>  static bool print_version = false, print_help = false;
>  static const char *notmuch_requested_db_uuid = NULL;
> +static const char *notmuch_requested_profile = NULL;

A minor nitpick about naming:

I think the 'requested' in db_uuid is meant to indicate a potential
mismatch between what the user passed, and what is in the database. I
don't think it is helpful in the case of the profile, since we are not
reading that from the database / other config source. Maybe
"profile_name" to follow "config_file_name"?

_______________________________________________
notmuch mailing list -- notmuch@notmuchmail.org
To unsubscribe send an email to notmuch-leave@notmuchmail.org