My Arduino IDE in linux doesn't show option of Teensy's in tools

My Arduino Ide in kali linux doesn't show an option of teensy 3.5 in tools............please do something

Did you install Teensyduino?

how can i install teensyduino in linux.....?

The installation instructions are here:

Teensyduino is giving a problem in Kali linux.It is not selecting any folder to install.I gave a location of arduino folder but it is not selecting it and not going to next.What can i do further.....