utilisateur@nomduserveur:emplacement_ds_arborescence$
…
~ = répertoire HOME (souvent
/home/*nomutilisateur*/)
pwd (renvoie le chemin complet
du répertoire courant)cd (change directory)
cd = retour à la maison (HOME)cd .. = aller au répertoire parentcd nomdurépertoire = aller dans le répertoire indiqué
en argumentLe nomdurépertoire peut être donné de plusieurs manières
:
/usr/local/bin../../usr/local/bin ou
dossier/ssdossierls (répertoire
courant) ou ls nomfichier_ou_dossier
ls -l = affiche le détail du contenuls -al = affiche le détail + les fichiers / dossiers
cachés (commence par .)ls -alh = pareil, mais avec des unités “humaines”TAB complète la commande, en une fois si
aucune ambiguitéTAB indique les
choix possibles compatibles avec ce qui a déjà été tapétouch nomdufichier = crée un fichier videmkdir nomdurépertoire = créer un répertoirerm nomdufichier = ReMove supprime un fichierPour supprimer un répertoire :
rmdir nomdurepertoire supprime le répertoire si il est
viderm -rf nomdurépertoire supprime le répertoire et tout
son contenu (DANGEREUX)Renommer un fichier / déplacer un fichier :
mv anciennom nouveaunom : renomme le fichier de ancien
nom vers nouveau nommv nomfichier nomrepertoire/ : déplace le fichier (sans
le renommer) vers le répertoireSavoir lire toutes les informations d’un fichier :
ls -l nomdufichier
3 niveaux d’autorisations
3 permissions
uuugggooo prop gpe
-rw-r--r-- 1 eleve eleve 1385 sept. 14 16:59 ligne-commande.md
Notation des permissions en octal : chaque permission sur 3 bits
exemples :
rwx------ = 111 000 000 = 700
r-xr-xr-- = 101 101 100 = 554
rw-rw-r-- = 110 110 100 = 664
331 = 011 011 001 = -wx-wx--x
753 = 111 101 011 = rwxr-x-wx
Exercice :
r-xr-x--- = 550rw-rw---- = 660Pour changer les droits d’un fichier :
chmod XXX nomdufichier (le propriétaire du fichier peut
toujours changer les droits du fichier, même si il s’est enlevé tous les
droits dessus)
Pour afficher le contenu d’un fichier :
cat nomdufichier = affiche le contenu du fichiermore nomdufichier = affiche le contenu du fichier avec
une paginationPour modifier un fichier : vi nomdufichier (présent sur
à peu près 100% des machines)
Les autres possibles : nano / emacs (selon
les systèmes)
man commande = affiche page de manuel de la
commandeapropos mot = liste toutes les pages de manuel qui
contiennent ce motEn passant : RTFM = Read The Fucking Manual
sudo commande = exécuter une commande en tant que
super-utilisateursudo apt update = recharger la listes des programmes
disponiblessudo apt install nomduprogramme = installer un
programmesudo apt remove nomduprogramme = désinstaller un
programmewget 'URL' ou curl 'URL' = télécharge
l’urlgrep PATTERN FILE... = recherche PATTERN dans FILEcut -d' ' -f1,3 FILE = sélectionne les champs 1 et 3 du
fichier FILE, séparés par des espacessort FILE = trie les lignes du fichier FILEsort -u FILE = trie les lignes du fichier FILE en
supprimant les doublonswc -l = compte les lignesecho 'texte' = affiche le textedate = affiche la datecal = calendrier du mois en courscal mois annee = calendrier du mois / anneegzip fichier = compresse le fichier vers
fichier.gzgunzip fichier.gz = décompresse le fichier vers
fichierLa sortie d’une commande peut être envoyée dans un fichier
date > ladate
cat ladateOn peut aussi ajouter à la fin du fichier au lieu de l’écraser :
echo 'je suis en NSI le' > nsi
date >> nsi
cat nsiOn peut aussi envoyer la sortie d’une commande vers un autre commande :
wget 'https://raw.githubusercontent.com/datasciencedojo/datasets/master/titanic.csv'
cat titanic.csv | grep female | wc -l