WSLでmDNSを引く

mDNS

raspberrypi.local

クライアントとしてのWSLではこれが使えない

Windows側ではcmd.exeやらpowershell.exeで可能

ping -4 raspberrypi.localとか

-4をつけるとIPv4アドレスを拾ってくれる

そっちの結果を連れてくればよい

code:a1

powershell.exe "resolve-dnsname raspberrypi.local" | grep ise | awk {print $5}

code:a2

powershell.exe "resolve-dnsname raspberrypi.local | convertto-json" | jq -r .IP4Address

用途

IPアドレスを固定できない環境でRaspberry PiにSSHするためのエイリアスに使う

.ssh/configでは$が使えないので