ふつうにssh-keygenするとid_rsaが作成される。 gitではデフォルトでid_rsaが読み込まれるので単純に使うなら問題ないが、複数のSSHキーを使う場合に名称が被って困ることがある。 git用の鍵ファイルを指定する。 rsa_githubという名前で鍵を作成 ssh-keygen…

スケッチをコンパイルしようとするとエラー Traceback (most recent call last): File "/home/user/.arduino15/packages/esp32/tools/esptool_py/4.2.1/esptool.py", line 31, in <module> import esptool File "/home/user/.arduino15/packages/esp32/tools/esptool</module>…

jetbrains DataGripでmariadbに接続しようとしたらエラー [42000][-1] (conn=19) invalid fetch size mariadb ドライバーのバージョンを落とせばいいらしい 参考）https://youtrack.jetbrains.com/issue/DBE-16376

環境 raspberrypi ubuntu22.04LTS インストール sudo apt remove docker docker-engine docker.io containerd runc sudo apt install ca-certificates curl gnupg lsb-release sudo mkdir -p /etc/apt/keyrings echo "deb [arch=$(dpkg --print-architecture…

環境 raspberrypi ubuntu22.04LTS エラー内容 > Server did not start successfully. Full server log at /home/ubuntu/.vscode-server/.784b0177c56c607789f9638da7b6bf3230d47a8c.log >>> > /home/ubuntu/.vscode-server/bin/784b0177c56c607789f9638da7b6…