diff options
author | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2004-11-25 09:31:55 +0000 |
---|---|---|
committer | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2004-11-25 09:31:55 +0000 |
commit | 75ec625408bb89714b2beffb6c69f68e1a942367 (patch) | |
tree | e1c364a9e56a15200947be5583e0862ed1dd9dc9 /urpmi.bash-completion | |
parent | a851747b92213cfeffead634414cb36d9fc576a6 (diff) | |
download | urpmi-75ec625408bb89714b2beffb6c69f68e1a942367.tar urpmi-75ec625408bb89714b2beffb6c69f68e1a942367.tar.gz urpmi-75ec625408bb89714b2beffb6c69f68e1a942367.tar.bz2 urpmi-75ec625408bb89714b2beffb6c69f68e1a942367.tar.xz urpmi-75ec625408bb89714b2beffb6c69f68e1a942367.zip |
Document the new --searchmedia option, and add it in bash completion
Diffstat (limited to 'urpmi.bash-completion')
-rw-r--r-- | urpmi.bash-completion | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/urpmi.bash-completion b/urpmi.bash-completion index fb5dd51a..02ba8a86 100644 --- a/urpmi.bash-completion +++ b/urpmi.bash-completion @@ -92,7 +92,8 @@ _urpmi() --noclean --force --allow-nodeps --allow-force --parallel \ --wget --curl --limit-rate --proxy --proxy-user --bug \ --env --X --best-output --verify-rpm --no-verify-rpm \ - --test --excludepath --excludedocs --root --norebuild' -- $cur ) ) + --test --excludepath --excludedocs --root --norebuild \ + --searchmedia' -- $cur ) ) else # return available packages (unless it is clearly a file) and rpm files if [[ "$cur" != */* ]]; then @@ -132,7 +133,7 @@ _urpmq() --list --list-url --list-media --list-nodes --list-aliases \ --src --headers --sources --force --parallel --wget --curl \ --changelog --proxy --proxy-user --env --dump-config \ - --use-distrib ' -- $cur)) + --use-distrib --searchmedia' -- $cur)) else # return available packages (unless it is clearly a file) and rpm files if [[ "$cur" != */* ]]; then |