From b4918771975b3b23fc591cb248b38d0bb97ec536 Mon Sep 17 00:00:00 2001
From: ianmacd <>
Date: Mon, 13 May 2002 21:43:29 +0000
Subject: [PATCH] - _ssh() and _known_hosts(): ssh config file directives are
 case-insensitive

---
 bash_completion | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/bash_completion b/bash_completion
index 0f166811..acc7f06b 100644
--- a/bash_completion
+++ b/bash_completion
@@ -1,6 +1,6 @@
 #   bash_completion - some programmable completion functions for bash 2.05a
 #
-#   $Id: bash_completion,v 1.314 2002/05/13 23:40:40 ianmacd Exp $
+#   $Id: bash_completion,v 1.315 2002/05/13 23:43:29 ianmacd Exp $
 #
 #   Copyright (C) Ian Macdonald <ian@caliban.org>
 #
@@ -1582,9 +1582,9 @@ _known_hosts()
 
 	if [ ${#config[@]} -gt 0 ]; then
 	    # expand path (if present) to global known hosts file
-	    global_kh=$( eval echo $( sed -ne 's/^GlobalKnownHostsFile['$'\t '']*\(.*\)$/\1/p' ${config[@]} ) )
+	    global_kh=$( eval echo $( sed -ne 's/^GlobalKnownHostsFile['$'\t '']*\(.*\)$/\1/ip' ${config[@]} ) )
 	    # expand path (if present) to user known hosts file
-	    user_kh=$( eval echo $( sed -ne 's/^UserKnownHostsFile['$'\t '']*\(.*\)$/\1/p' ${config[@]} ) )
+	    user_kh=$( eval echo $( sed -ne 's/^UserKnownHostsFile['$'\t '']*\(.*\)$/\1/ip' ${config[@]} ) )
 	fi
 
 	# choose which global known hosts file to use
@@ -1668,7 +1668,7 @@ _ssh()
 	
 	    # get host aliases from config files
 	    if [ ${#config[@]} -gt 0 ]; then
-		hosts=$( compgen -W "$( echo $( sed -ne "s/^Host["$'\t '"]*\([^*?]*\)$/\1/p" ${config[@]} ) )" -- $cur )
+		hosts=$( compgen -W "$( echo $( sed -ne "s/^Host["$'\t '"]*\([^*?]*\)$/\1/ip" ${config[@]} ) )" -- $cur )
 		COMPREPLY=( ${COMPREPLY[@]} $hosts )
 	    fi