配网后如何在Toit系统中为ESP32设置设备名称并运行应用

• 20天前我成功完成了第一台ESP32的配网操作，设备运行状态一直正常。
• 今日我在另一台电脑上完成了第二颗ESP32芯片的配网流程，配网输出日志如下：

5.40 MiB / 5.40 MiB [------------------------------------] 100.00% 14.69 MiB p/s
looking for available hardware identities on disk
no hardware identities found on disk, claiming new hardware identity
Flashing device on port /dev/ttyUSB0
+--------------------------+--------------------------------------+
|         SETTING          |                VALUE                 |
+--------------------------+--------------------------------------+
| Firmware                 | v1.0.2                               |
| Device Model             | esp32-4mb                            |
| Hardware ID              | XXXXXXXX-XXXX-XXXX-XXXX-XXXXXXXXXXXX |
| Hardware Batch & Seq. No | 2020-11-10#524                       |
| context                  | remote                               |
| broker.host              | device.toit.io                       |
| broker.cn                | device.toit.io                       |
| broker.port              | 9426                                 |
| wifi.ssid                | SureDemo                             |
| wifi.password            | suremote                             |
+--------------------------+--------------------------------------+
erasing device flash
successfully erased device flash
writing device partitions
successfully written device partitions
reading hardware chip information
successfully read hardware chip information
+--------------------------+--------------------------------------+
|         SETTING          |                VALUE                 |
+--------------------------+--------------------------------------+
| factory device model     | esp32-4mb                            |
| factory firmware version | v1.0.2                               |
| chip ID                  |                                      |
+--------------------------+--------------------------------------+
device was successfully flashed

• 配网完成后我尝试在新设备上启动应用，执行运行命令的输出如下：

michael_k @ michaelk: ~ /toit_apps/Hsm2/tests $ toit run test_hsm_switch_async_4.toit
No default device set. Provide the device name (with the --device flag) to the command
michael_k @ michaelk: ~ /toit_apps/Hsm2/tests $

• 我意识到这台新设备需要设置一个和原有默认设备 micrcx-1 不同的专属名称。目前执行设备查询命令，仅能看到第一台设备的信息：

michael_k @ michaelk: ~ /toit_apps/Hsm2/tests $ toit devices
+--------------------------------------+----------+-------------------+----------+
|              DEVICE ID               |   NAME   |     LAST SEEN     | FIRMWARE |
+--------------------------------------+----------+-------------------+----------+
| XXXXXXXX-XXXX-XXXX-XXXX-XXXXXXXXXXXX | micrcx-1 | Apr 29 2021 04:05 | v1.0.2   |
+--------------------------------------+----------+-------------------+----------+
michael_k@michaelk:~/toit_apps/Hsm2/tests$ 

• 我的核心问题是：如何为新增的第二台设备设置名称，以及如何在该设备上运行应用？

提前致谢。MK

附注：不排除我存在记忆偏差的可能，据我回忆，第一台设备的名称是由Toit系统自动分配的，我没有做过相关手动操作，名称里的“micrcx”正是我电脑的标识符。

内容的提问来源于stack exchange，提问作者Michael Kanzieper