・接続されているデバイスすべての一覧 ls /dev ・HDD等(BulkDevice)の一覧 lsblk ・UUIDやPARTUUIDの取得方法 blkid blkid パーティション(/dev/sda1等指定したBulkDeviceの情報のみ) ・HDD等(BulkDevice)を一時的にマウントする sudo mount パーティション(/dev/sda1等) マウント先(/mnt/HDD1等) マウント先のフォルダは事前に作成しておく必要がある。 ・HDD(BulkDevice)を起動時に自動的にマウントする /etc/fstabを編集(管理者権限必要) UUID=xxxxxxxx-xxxx-xxxx-xxxx-xxxxxxxxxxx /mnt/HDD1 ext4 defaults,_netdev,nofail 0 2 PARTUUID=xxxxxxx-xxxx-xxxx-xxxx-xxxxxxxxxxxx /mnt/HDD2 ntfs defaults,_netdev,nofail 0 2 ntfsの場合がPARTUUID指定なのかな？(UUIDが短くPARTUUID実際に問題なく動いている) ・S
https://dl.espressif.com/dl/package_esp32_index.json https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json https://files.seeedstudio.com/arduino/package_seeeduino_boards_index.json インストーラーから追加(ダウンロードリンク)
再起動後ボードマネージャから検索してインストール。