Terminal
Aperçu de quelques commandes utiles au terminal.
Outils
Commandes et programmes au terminal, description et fonctionnement de la grappe de calcul, logiciels d’édition graphique et autres, et formations diverses.
Édition graphique
Aperçu de logiciels d’édition graphique.
Autres outils
Autres programmes utiles d’usage général.
Last modified December 14, 2021: add more pages and create page bundles (f239e1d)