Raspberry Pi OSではpinctrl等のコマンドが用意されているようだが、Ubuntuイメージでは用意されていない。 Ubuntuでも利用したい場合は自前でビルド・導入する必要があるが、READMEに書いてある手順だけだとうまく動かなかった。 手順: $ sudo apt install …