Support for teensy boards in arduino ide.
There are the files you can download directely from https://www.pjrc.com/teensy/td_download.html
With the .rules files just download it and then "sudo cp 49-teensy.rules /etc/udev/rules.d/"
Next
"chmod +x TeensyduinoInstall.linux64"
Execute it "./TeensyduinoInstall.linux64"
Or
Download the files and make executable the InstallTeensyduino.sh then execute it and it is done.