Hi,
In our college we have LTSP server on which we have all the software installed and these software are made available to the student through network boot on LTSP Client. The issue I am facing is this

1. After installing Arduino IDE on LTSP server, I can't access it's GUI so I can't install the board configuration by going into Board Manager
2. Since on the server Arduino is installed without Intel Edison, when accessing Arduino IDE on client side we have to install the Board Configuration for Intel Edison manually
3. After manually installing Intel Edison Board Configuration on client side, If I try to compile a program by selecting the board and port I get the following compilation error

fork/exec /home/admuser6/.arduino15/packages/Intel/tools/core2-32-poky-linux/1.6.2+1.0/i686/sysroots/pokysdk/usr/bin/i586-poky-linux/i586-poky-linux-g++: no such file or directory
Error compiling for board Intel® Edison

So, my question is-> Is there any way we can make Intel Edison Board configuration available in the Arduino IDE which is installed on the server? or What could be the way to solve this problem so that all the students are able to work on Arduino IDE and Intel Edison.

Thanks,