From 3880463a92142896704deca4d341af93be762b84 Mon Sep 17 00:00:00 2001
From: Pascal Rigaux <pixel@mandriva.com>
Date: Wed, 19 Dec 2007 12:16:49 +0000
Subject: - all tools:   o drop hdlist support (will be replaced with xml
 media_info)

---
 urpmi.bash-completion | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'urpmi.bash-completion')

diff --git a/urpmi.bash-completion b/urpmi.bash-completion
index 5748b4dc..667a9637 100644
--- a/urpmi.bash-completion
+++ b/urpmi.bash-completion
@@ -114,11 +114,6 @@ _urpmi()
 				--verify-rpm"
 			for (( i=1; i < COMP_CWORD; i++ )); do
 				case ${COMP_WORDS[i]} in
-					--use-distrib)
-						options="$options \
-						--probe-synthesis \
-						--probe-hdlist"
-						;;
 					----auto-update)
 						options="$options --no-md5sum \
 						--force-key"
-- 
cgit v1.2.1