zsh completa o HostName completo em vez do nome abreviado

Question

No meu ~/.ssh/config tenho

Host students
    HostName students.foo.edu.pl
    User bar

Então, ao tentar completar ssh stu , zsh sugere students.foo.edu.pl em vez de students .

Por outro lado, o preenchimento automático funciona corretamente quando um endereço IP é usado:

Host knl
    HostName xxx.xxx.xxx.xxx
    User usrxxx
    Port 7777

Por quê? Como posso consertar isso? Partes relevantes do meu .zshrc (omitindo prompt e configuração do histórico)

setopt nomatch
bindkey -e

#Completion
autoload -Uz compinit && compinit

#Needed for colorful prompts
autoload -U colors && colors
setopt promptsubst
setopt HIST_IGNORE_SPACE

#Antigen
source /usr/share/zsh/scripts/antigen/antigen.zsh
antigen bundle zsh-users/zsh-syntax-highlighting
antigen bundle olivierverdier/zsh-git-prompt

Nenhum dos hosts foi definido em /etc/hosts

    

Answer 1

Certamente encontrou esse host no arquivo ~/.ssh/known_hosts . Exclua a linha correspondente de ~/.ssh/known_hosts para testar.