alias for profile in list

2022-09-05 11:30:04 +10:00 · 2022-09-05 11:30:04 +10:00 · 42f0527fbd
commit 42f0527fbd
parent 130fab27d7
1 changed files with 2 additions and 2 deletions
--- 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<String>,
        #[clap(flatten)]
        options : ListOptions,