how to use arduino micro on debain

I'm carrying my project on Raspberry Pi which is Debain system. After i install the arduino software, i found that the tool list didn't have arduino micro. Thus I cannot upload program to my board. how can I use the software for my project?
By the way, how can I access my board by command line? Thanks so much!

Is the micro listed in the version of the IDE on your PC?
What operating system is on your PC?
If it is Linux just copy the PC version of the IDE to your PI and it should be identical.
Copying may also work from Windows to Linux - it is just a Java program.

...R