From 42f0527fbd1b16306789fd83c84bb11173754d46 Mon Sep 17 00:00:00 2001 From: aaron-jack-manning Date: Mon, 5 Sep 2022 11:30:04 +1000 Subject: [PATCH] alias for profile in list --- src/args.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/args.rs b/src/args.rs index 5ea3e8f..bcfe37f 100644 --- a/src/args.rs +++ b/src/args.rs @@ -69,8 +69,8 @@ pub enum Command { GitIgnore, /// Lists tasks according to the specified fields, ordering and filters. List { - /// Use an existing profile for list options, ignoring other arguments. - #[clap(long)] + /// Use an existing profile for list options, ignoring other arguments [alias: pr]. + #[clap(long, alias="pr")] profile : Option, #[clap(flatten)] options : ListOptions,