···

       
16
       
 
       


     

       
17
       
 
       
# Read HostNames from ssh config and store them in hostn_array.

     

       
18
       
 
       
while IFS= read -r line; do

     

       
19
       
-
       
    if [[ "$line" == *"Host "* ]]; then

     

       
20
       
 
       
        hostn=$(echo "$line" | awk '{ print $2 }')

     

       
21
       
 
       
        hostn_array+=("$hostn")

     

       
22
       
 
       
    fi

     

···

       
16
       
 
       


     

       
17
       
 
       
# Read HostNames from ssh config and store them in hostn_array.

     

       
18
       
 
       
while IFS= read -r line; do

     

       
19
       
+
       
    if [[ "$line" == *"Host "* ]] && [[ "$line" != *"Host *" ]]; then

     

       
20
       
 
       
        hostn=$(echo "$line" | awk '{ print $2 }')

     

       
21
       
 
       
        hostn_array+=("$hostn")

     

       
22
       
 
       
    fi