- TeensyduinoInstall.linux64をダウンロードしてくる
- Teensyduino: Download and Install Teensy support into the Arduino IDE
chiya@ujimatsu:~$ chmod 755 ./TeensyduinoInstall.linux64 chiya@ujimatsu:~$ ./TeensyduinoInstall.linux64
GUIの途中、Arduino IDEのインストールしたフォルダを指定するところがあるので、Arduino IDEのインストールしたフォルダを指定する。私の場合はArduino IDEをDownloadフォルダにダウンロードしてそのままインストールしたので、"/home/chiya/Download/arduino-1.8.13"だった。
そうするとボードが追加されるので。Tools > Boards > Teensyduino > Teensy 4.0 で選択できる。