Arduino
From Robin
Arduino IDE
To use the Arduino IDE on an IFI RHEL linux machine, simply paste the following snippet in the terminal:
echo "alias arduino='/projects/robin/programs/arduino/arduino-1.8.10/arduino > /dev/null 2>&1 &'" >> ~/.bashrc | source .bashrc
If you want to run the program in the same terminal session, you need to source https://stackoverflow.com/questions/2518127/how-do-i-reload-bashrc-without-logging-out-and-back-in the .bashrc file.