Por padrão, o aviso que você vê ao abrir um terminal é definido pela variável $ PS1, que geralmente contém:
$ echo $PS1
\h:\W \u\$
Onde \ h é o nome do host.
Um servidor DHCP pode atribuir um nome de host a uma máquina que se conecta à sua rede (por exemplo, "gerenciado" por esse servidor): link
Então, basicamente, quando você se conectou a essa rede, seu nome de host foi (temporariamente) alterado para android-that_alphanumeric_id. Embora sua configuração local esteja armazenada em /Library/Preferences/SystemConfiguration/preferences.plist (não deve ser editada manualmente) e não deve ser afetada. Em um Mac, você pode verificar com:
grep -A1 LocalHostName /Library/Preferences/SystemConfiguration/preferences.plist
Eu recebi um nome de host muito parecido ontem enquanto estava conectado via Wi-Fi a uma rede de campus universitário. Uma vez desconectado, meu Mac recuperou seu nome de host local / normal - verificado antes e depois de desconectar executando hostname
na linha de comando.
Pode ser algum servidor DHCP comercial (popular em ambientes acadêmicos, aparentemente) que usa isso como a convenção de nomenclatura padrão para os hosts que ingressam na rede.