The following commit has been merged in the master branch:
commit 93ade30ce6f46b694bfd56e4d3053a04cc7bab7b
Author: Guillaume Rousse <[email protected]>
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
_______________________________________________
Bash-completion-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/bash-completion-commits
