[Bash-completion-commits] [SCM] bash-completion branch, master, updated. 1.3-23-ga29ed87

[Guillaume Rousse]

The following commit has been merged in the master branch:
commit 93ade30ce6f46b694bfd56e4d3053a04cc7bab7b
Author: Guillaume Rousse <Guillaume.Rousse at inria.fr>
Date:   Wed Feb 23 21:31:37 2011 +0100

    use known hosts completion with --server option

diff --git a/completions/puppet b/completions/puppet
index f7b7235..2d5712f 100644
--- a/completions/puppet
+++ b/completions/puppet
@@ -230,6 +230,7 @@ _puppet()
         filebucket)
             case $prev in
                 --server)
+                    _known_hosts_real "$cur"
                     return 0
                     ;;
                 --bucket)

-- 
bash-completion