Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Text editors

To edit text (especially in HPC remote sessions), a GUI will not be always available. As a consequence software able to manage text efficiently directly on the terminal are necessary.

Software nameDestination of useWhy
microDictionary editingEasy to use and common shortcuts
vimCode editingTons extentions and good sintax highlighting

Debian based systems can install those software via:

sudo apt install micro vim

Windows text editors

Here there is a list of useful programmes that are available for Windows system

NotePad ++

If you are in a Windows environment, we suggest using NotePad++ as a default text editor.

A single modification must be apported since writing script in this environment can cause crashes due to a different treatment of invisible character for Windows or UNIX. Operate this mod to make the file readable without trouble in GNU-Linux:

NotePad++ → Edit → EOL conversion → UNIX