How to Change the USB Name of Your Teensy on Linux

The Teensy is a development board which is gaining quite a lot of popularity. When using it in your project, it can be useful to assign a certain ID to its USB port, so that you can automatically identify and distinguish the device from other peripherals. In this post I will explain how you can change the Teensy USB peripheral name on Linux.