我想获取.local
主机名的 ip 地址,所以我可以 ssh 进入它,似乎host hostname.local
在这种情况下不起作用
ssh [email protected]
不起作用,所以我试图ssh [email protected]
代替。
我发现将.local
主机名(不是 dns)转换为 ip 地址的命令是不起眼的ping
命令。
这是ping的结果
PING 5153F344.local (192.168.8.105) 56(84) bytes of data.
64 bytes from 192.168.8.105: icmp_seq=1 ttl=64 time=0.524 ms
--- 5153F344.local ping statistics ---
1 packets transmitted, 1 received, 0% packet loss, time 0ms
rtt min/avg/max/mdev = 0.524/0.524/0.524/0.000 ms
这是我失败的解决方案的众多变体之一:
# Note trying not to use single quotes so I can turn all these commands into an alias:
DEV_TERM_IP="$(ping -c 1 5153F344.local) | cut -d \"(\" -f2 | cut -d \")\" -f1 | echo"
ssh "me@$DEV_TERM_IP.local"
我会尝试
在哪里
-F '[()]'
告诉 awk 使用 ( 或 ) 作为分隔符/PING/
使用 PING 的 grep 行{ print $2}
打印第二个字段