Programmation séquentielle en C, 2022-2023
Orestis Malaspinas (A401)
Informatique et Systèmes de Communication, HEPIA
2022-09-27
Toutes les informations obtenues avec une interface graphique, peuvent être obtenues à l’aide de la ligne de commande (liste loin d’être exhaustive):
cdlsmvcpmkdirfindgrepDépendant de votre distribution de Linux l’ouverture d’un terminal peut varier.
Ce qui marche presque tout le temps:
Super (Windows) du clavier.Raccourcis clavier:
Ctrl+Alt+TSuper+TVous pouvez taper des commandes puis Entrée.
Exemple: pwd affiche le répertoire courant (print working directory).
Attention: les commandes sont sensibles à la casse!
Exemple: cd change de répertoire (change directory).
Un chemin est relatif à moins que le chemin commence par / ou ~.
Installer un éditeur de texte: codium, vim, nvim, …
Ouvrir l’éditeur de texte (ici codium):
Écrire Hello World! dans le fichier et sauver sous cours.dat.
Ou alors utiliser nano, vi, nvim, …
Écrire Hello World! puis Ctrl+X et Y.
mkdir, création de répertoirels, affiche le contenu d’un répertoire$ ls
Desktop Documents git Music Public tmp
Docker Downloads go Pictures Templates Videos
$ ls -ltr
... # des répertoires
drwxr-xr-x 3 orestis orestis 4096 31 aoû 09:54 Documents
drwxr-xr-x 11 orestis orestis 4096 7 sep 15:59 Downloads
drwxr-xr-x 2 orestis orestis 4096 9 sep 11:14 Pictures
drwxr-xr-x 2 orestis orestis 4096 9 sep 12:41 tmp
-rw-r--r-- 1 orestis orestis 6 9 sep 12:52 cours.datcp, copie de fichiers/répertoires$ cp cours.dat tmp/ # cp cours.dat -> tmp
$ ls tmp # affiche le rép tmp
cours.dat
$ cp -r tmp tmp2 # option -r => recursive
$ ls
cours.dat Docker Downloads go Pictures Templates tmp2
Desktop Documents git Music Public tmp Videosmv, déplacement de fichiers/répertoiresrm, effacer des fichiers/répertoirestabProbablement la touche la plus utile du clavier:
Fait gagner un temps considérable.
Il existe différents éditeurs de texte qui pourraient être utiles:
vscode ou codium (la version sans l’espionnage MS)vimgeanygeditNe vous reposez pas trop sur l’éditeur pour tout faire à votre place.