mirror of
https://github.com/junegunn/fzf.git
synced 2025-11-17 07:43:39 -05:00
[bash,zsh] Process hostnames with uppercase letters in known_hosts
This commit is contained in:
committed by
Junegunn Choi
parent
44ddab881e
commit
b5cd8880b1
@@ -503,7 +503,7 @@ if ! declare -F __fzf_list_hosts > /dev/null; then
|
|||||||
) \
|
) \
|
||||||
<(
|
<(
|
||||||
__fzf_exec_awk -F ',' '
|
__fzf_exec_awk -F ',' '
|
||||||
match($0, /^[[a-z0-9.,:-]+/) {
|
match($0, /^[[a-zA-Z0-9.,:-]+/) {
|
||||||
$0 = substr($0, 1, RLENGTH)
|
$0 = substr($0, 1, RLENGTH)
|
||||||
gsub(/\[/, "")
|
gsub(/\[/, "")
|
||||||
for (i = 1; i <= NF; i++)
|
for (i = 1; i <= NF; i++)
|
||||||
|
|||||||
@@ -281,7 +281,7 @@ if ! declare -f __fzf_list_hosts > /dev/null; then
|
|||||||
) \
|
) \
|
||||||
<(
|
<(
|
||||||
__fzf_exec_awk -F ',' '
|
__fzf_exec_awk -F ',' '
|
||||||
match($0, /^[[a-z0-9.,:-]+/) {
|
match($0, /^[[a-zA-Z0-9.,:-]+/) {
|
||||||
$0 = substr($0, 1, RLENGTH)
|
$0 = substr($0, 1, RLENGTH)
|
||||||
gsub(/\[/, "")
|
gsub(/\[/, "")
|
||||||
for (i = 1; i <= NF; i++)
|
for (i = 1; i <= NF; i++)
|
||||||
|
|||||||
Reference in New Issue
Block a user