diff options
author | Justin Wernick <justin@worthe-it.co.za> | 2023-09-10 21:45:52 +0200 |
---|---|---|
committer | Justin Wernick <justin@worthe-it.co.za> | 2023-09-10 21:45:52 +0200 |
commit | 57b999ad8ff174d756f49b5e763c588db91fcc1c (patch) | |
tree | dceb7fc8f348b65a238b00e1e87097e602fca9f8 /src | |
parent | 3bd6494673f6162c6af30a8ce633788c181790b9 (diff) |
Hide the commands which aren't called interactively in the help text
Diffstat (limited to 'src')
-rw-r--r-- | src/parser.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/parser.rs b/src/parser.rs index 5806cec..27feaf6 100644 --- a/src/parser.rs +++ b/src/parser.rs @@ -23,8 +23,10 @@ pub enum ShackleCommand { /// Quit the shell Exit, /// Server side command required to git fetch from the server + #[command(hide = true)] GitUploadPack(GitUploadPackArgs), /// Server side command required by git push to the server + #[command(hide = true)] GitReceivePack(GitReceivePackArgs), } |