The main development environment for the embedded platform Nucleo - F401RE is the available integrated development environment called System Workbench provided as a part of the OpenSTM32 development tools. The environment is based on Eclipse IDE and in the lab computers it is installed under /usr/local/Ac6/SystemWorkbench. Therefore to execute it, you can open your terminal and put
cd /usr/local/Ac6/SystemWorkbench ./eclipse
Or you can create an alias or put an icon to your menu.