Chapitre 3: Systèmes d'exploitation

Voici une courte vidéo de l'institut Mines-Telecom présentant l'histoire des systèmes d'exploitation.

Responsabilités du système d'exploitation

Le système d'exploitation a les responsabilités suivantes:

• Gérer le lancement des diverses applications et donner l'illusion que l'ordinateur est multitâche;
• identifier les utilisateurs;
• gérer l'organisation du disque dur et de ses fichiers;
• contrôler l'accès aux données du disque dur et ressources de l'ordinateur.

Émulation d'un système linux grâce à JSlinux

Comme nous avons au lycée un système d'exploitation Windows et que le programme officiel demande de travailler sous Linux, nous allons faire le TP de ce chapitre directement dans le navigateur grâce à l'émulateur de système mis au point par Fabrice Bellard accessible à l'adresse :

https://bellard.org/jslinux/vm.html?url=alpine-x86.cfg&mem=192

[ ]{.center}

Quelques commandes de base

Où suis-je? pwd

pwd renvoie le dossier courant.

Par défaut quand on ouvre un terminal on se trouve dans son dossier $HOME:

• /home/username pour l'utilisateur username
• /root/ si vous êtes root, l'utilisateur administrateur du système.

Naviguer dans le système de fichiers ls et cd

• ls liste les fichier et répertoires du dossier courant.
• ls /chemin/vers/dossier: liste les fichiers et répertoires du dossier donné en argument/

On peut également se déplacer dans le système de fichiers avec cd pour change directory.

• cd /root

::: {.plus titre=" chemins absolus et relatifs"} Les chemins d'accès peuvent être specifiées de deux façons:

• chemin absolu: commence par un / et précise le chemin complet à partir de la racine du système de fichier. P.ex: cd /usr/share/applications
• chemin relatif: pas de slash au début(ou un point: ./) on part du répertoire courant:
  • cd Music ou cd ./Music
  • cd .. pour remonter d'un dossier
  • cd ../Documents pour remonter d'un dossier et aller dans le dossier Documents :::

Connaître les droits sur les fichiers ls -l

L'option -l pour long précise dans sa sortie:

permission type utilisateur propriétaire groupe propriétaire taille date nom

localhost:~$ ls -l /home/ben/flask-csv-master
total 28
-rw-r--r--    1 ben      ben           1064 Mar 29 11:10 LICENSE
-rw-r--r--    1 ben      ben           1199 Mar 29 11:10 README.md
-rw-r--r--    1 ben      ben             89 Mar 29 11:10 data.csv
-rw-r--r--    1 ben      ben            888 Mar 29 11:10 flask-csv.py
drwxrwxrwx    2 ben      ben             64 Mar 29 11:10 pages
-rwxr-xr-x    1 ben      ben            108 Mar 29 11:10 run-server.bat
-rwxr-xr-x    1 ben      ben            132 Mar 29 11:10 run-server.sh

Les droits sont sous la forme drwxrwxrwx.

• d indique qu'il s'agit d'un dossier
• r: droit de lecture
• w: droit d'écriture
• x: droit d'exécution

Il y a trois types de droits dans l'ordre:

1. utilisateur
2. groupe
3. autres

Gérer les droits avec chmod

Un utilisateur a le droit de faire un chmod sur un fichier :

• s'il est root ;
• ou s'il est le propriétaire du fichier en question.

[Article Wikipedia sur chmod]{.cite-source}

Les options passées à la commande chmod sont indiquées comme ceci :

chmod options modes fichiers

Pour un fichier : chmod [u g o a] [+ - =] [r w x] nom_du_fichier

Pour le contenu d'un répertoire (de façon récursive) : chmod -R [u g o a] [+ - =] [r w x] nom_du_répertoire

Les lettres u g o a designe les types de propriétaires concernés:

• u propriétaire (user)
• g groupe (group)
• o les autres (others)
• a tous (all)

Les lettres + - = désignent les changements d'état: + et - pour ajouter ou retirer un type de droit aux droits courants, et l'opérateur = pour les écraser.

Les lettres r w x désignent les permissions: read, write, execute.

chmod g+w Documents/git/2heoinfo/flask-csv/brouillon.ipynb

On peut alors vérifier le changement de droits avec ls -l

ben@coolerarch:~$ ls -l Documents/git/2heoinfo/flask-csv/
total 28
-rw-rw-r-- 1 ben docker 2690  4 juil. 10:39 brouillon.ipynb
...

::: {.plus titre=" Ecriture octale"} Pour modifier toutes les permission d'une seule commande, on utilise la notation octale. [ ]{.center} Les commandes sont alors condensées pour préciser tous les droits: - chmod 755 mon_dossier donne au propriétaire tous les droits, aux membres du groupe et aux autres les droits de lecture et d'accès. C'est un droit utilisé traditionnellement sur les répertoires. - chmod 644 mon_fichier donne au propriétaire les droits de modification et lecture, aux membres du groupe et aux autres uniquement les droits de lecture. C'est un droit utilisé traditionnellement sur les fichiers. :::

Gérer les propriétaires avec chown

L'utilisateur racine(root) peut changer le propriétaire d'un fichier ou d'un dossier(de l'anglais change the owner)

[Article Wikipedia sur chmod]{.cite-source}

La syntaxe générale de la commande est:

chown [-hHLPR] [utilisateur][:groupe] cible1 [cible2 ..]