diff options
author | Eric Wong <e@80x24.org> | 2021-02-06 12:18:40 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2021-02-07 03:34:32 +0000 |
commit | cfc2f64069e245a700b60113705be477857c51e5 (patch) | |
tree | bfcf20bdd19357bbd6399798b351e9a5bbe9c97e /contrib | |
parent | d9bc0993fde567c9098020b8f79995e8ab3b4f0d (diff) | |
download | public-inbox-cfc2f64069e245a700b60113705be477857c51e5.tar.gz |
This can be useful for users who want to clone and mirror an existing public-inbox. This doesn't have update support, yet, so users will need to run "git fetch && public-inbox-index" for now.
Diffstat (limited to 'contrib')
-rw-r--r-- | contrib/completion/lei-completion.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/completion/lei-completion.bash b/contrib/completion/lei-completion.bash index fbda474c..619805fb 100644 --- a/contrib/completion/lei-completion.bash +++ b/contrib/completion/lei-completion.bash @@ -5,7 +5,7 @@ # Needs a lot of work, see `lei__complete' in lib/PublicInbox::LEI.pm _lei() { case ${COMP_WORDS[@]} in - *' add-external http'*) + *' add-external h'* | *' --mirror h'*) compopt -o nospace ;; *) compopt +o nospace ;; # the default |