Not supported multiple hardware directories, for example Microduino?

[hpsaturn]

To add new hardware directories, inotool can't search board.txt especifications. For example Microduino setup fails:

http://www.microduino.cc/wiki/index.php?title=Arduino_IDE_Microduino_Configuration

My provisional solution:

• uncompress Microduino hardware directory on arduino hardware directory unzip Microduino-hardware.zip -d /opt/arduino
• copy default arduino directory: cp /opt/arduino/hardware/arduino /opt/arduino/hardware/arduino_default rm -r /opt/arduino/hardware/arduino
• switch to Microduino hardware or another hardware: cd /opt/arduino/hardware ln -s Microduino arduino
• switch to Arduino oficial boards: cd /opt/arduino/hardware ln -s arduino_default arduino