我が家にGravio Hubのサンプル機をいただいたのでいろいろやってみることにした。

初期設定

初期設定はこちらの手順に従えばそれほど難しくありません。現在（2020/3/4）は設定ツールはAndroid版のみです。 → Gravio Hubの初期設定

SSHを使えるようにしておく

Gravio HubにはHDMI/USB接続用のアダプターが同梱されてますので、電源のUSB-Cとの間に接続すればLinuxとしてコンソールを見ることができます。しかし、我が家にはそもそもUSB接続のキーボードもマウスもありません。なので、SSHの口を開けて置かなければアップデートできませぬ。。
そこで、会社でモニターとキーボード・マウスをつなぎ、こちらを参考にSSHの口を開けておきます。 → Gravio HubへのSSHでの接続方法

まずは上記のサイトの通り、コンソールにログインし、コンソールで /etc/ssh/sshd_config を編集して、 DenyUsersの行をコメントアウトすればOKです。

/etc/ssh/sshd_config

...
# Authentication:
# DenyUsers gravio
...

ホスト名の変更

ついでにわかりやすいようにホスト名を変更しておきました。

$ sudo hostnamectl set-hostname ghub.local

Gravio Hubではavahiサービスがインストールされてますので、こうしておけばDHCPでIPが変わってもmDNSで見つけることができるんですね。

我が家で再設置

我が家に帰って、もういちどGravioHub ToolsでWiFiの設定。
SSHで接続できました。

Gravio Studioからも発見！

これで準備完了です。