Gravio 4をインストールするのにRaspberry Pi 4をUbuntu Server 20.04.1 LTSで初期化してたら、下記の公式サイトのやり方でIPアドレスが取得できなかった。

ARPテーブルで確認しろということみたいですが、そもそもfindstr/grepでフィルタする以前に、一覧になさそう。
で、ヘッドレスなのでそもそもコンソールでIPアドレスも確認できず、仕方なくHDMIアダプターとケーブル探してきてゴニョゴニョやってたのですが、以下のコマンドでIPアドレスが取得できた。

> ping ubuntu.lan

ubuntu.lan [192.168.86.72]に ping を送信しています 32 バイトのデータ:
192.168.86.72 からの応答: バイト数 =32 時間 <1ms TTL=64

PowerShellのResolve-DnsNameコマンドでも行けそう。

PS > Resolve-DnsName ubuntu.lan

Name                                           Type   TTL   Section    IPAddress
----                                           ----   ---   -------    ---------
ubuntu.lan                                     A      0     Answer     192.168.86.72

前にJetson Nanoでは.localで引けてたんですが、今回は無理でした。Avahi入れる前だからなのかな。

ARPテーブルが強制的に更新されるようにすればいいだけかもしれないですが、まぁ、簡単なのでこっちで引けるなら楽でいいですね。

これでIPアドレス使ってSSHで入って色々設定するんですが、そもそもその前に、

> ssh ubuntu@ubuntu.local

でSSHに入ればIPアドレスを知る必要もないですね。