jonas@gnugen:~ $
jonas@gnugen:~ $ ls
jonas@gnugen:~ $ ls
Documents Downloads Music Pictures Videos
des conversations avec ton ordi
se retrouve notamment sur GNU/Linux
Dans quel dossier est-ce que je me trouve ?
jonas@gnugen:~ $ pwd
/home/jonas
Absolute vs. Relative
/home/jonas/myfreesoftwareproject
/home/jonas
: myfreesoftwareproject
/usr
: ../home/jonas/myfreesoftwareproject
Variables qui sont définies dans la session actuelle.
jonas@gnugen:~ $ echo $SHELL
/bin/bash
jonas@gnugen:~ $ env
[...]
ls
cd
pris par des commandes
jonas@gnugen:~ $ ls --long --all --reverse --human
drwxr-xr-x. 1 jonas jonas 53G 4. Mai 2022 Videos
drwx------. 1 jonas jonas 96 12. Sep 2022 .ssh
drwxr-xr-x. 1 jonas jonas 18G 15. Sep 2022 Pictures
drwxr-xr-x. 1 jonas jonas 8.7G 15. Sep 2022 Music
drwxr-xr-x. 1 jonas jonas 512M 15. Sep 2022 Downloads
drwxr-xr-x. 1 jonas jonas 4.3G 15. Sep 2022 Documents
pris par des commandes
jonas@gnugen:~ $ ls -larh
[...]
Une commande peut imprimer du feedback (et des erreurs)
Cependant, ceci n'est pas obligatoire. Pas de feedback imprimé correspond à succès.
jonas@gnugen:~ $ rm doesnotexist
rm: cannot remove 'doesnotexist': No such file or directory
jonas@gnugen:~ $ echo $?
1
0 == successful
not 0 == error
Où trouver une shell BASH sur votre ordi ?
Sur toutes les distros (Ubuntu, Fedora, Debian, Arch ...)
Console / Terminal
Terminal
Vient par défaut avec d'autres types de ligne de commande.
Deux options :
jonas@gnugen:~ $ ls
Documents Downloads Music Pictures Videos
jonas@gnugen:~ $ ls Documents/
EPFL 'random stuff' Notes.txt
jonas@gnugen:~ $ cd
jonas@gnugen:~ $ cd Documents
jonas@gnugen:Documents $ cd ../
jonas@gnugen:~ $ mkdir newfreesoftwareproject
jonas@gnugen:~ $ ls
Documents Downloads Music newfreesoftwareproject Pictures Videos
jonas@gnugen:~ $ cd newfreesoftwareproject
jonas@gnugen:~ $ cp Documents/Notes.txt CopyOfNotes.txt
jonas@gnugen:~ $ ls
CopyOfNotes.txt Documents Downloads Music newfreesoftwareproject Pictures Videos
jonas@gnugen:~ $ mv CopyOfNotes.txt NewNotes.txt
jonas@gnugen:~ $ ls
Documents Downloads Music newfreesoftwareproject NewNotes.txt Pictures Videos
jonas@gnugen:~ $ mv NewNotes.txt Documents/NewNotes.txt
jonas@gnugen:~ $ ls Documents/
EPFL 'random stuff' NewNotes.txt Notes.txt
jonas@gnugen:~ $ rm Documents/NewNotes.txt
jonas@gnugen:~ $ ls Documents/
EPFL 'random stuff' Notes.txt
⚠ pas de corbeille ⚠
pensez avant de supprimer n'importe quoi ;)