User manual

11
1.3.1 Enregistrer vos fichiers sur le Raspberry Pi
La gestion des fichiers est un peu différente sur Linux par rapport à Windows mais cela n'est pas plus
difficile. Raspbian offre un gestionnaire de fichiers qui ressemble beaucoup à l'explorateur de Windows.
Cependant, il y a une différence important par rapport à Windows : Linux ne sépare pas strictement en
fonction des lecteurs. Tous les fichiers se trouvent dans un seul système de fichier unique.
Sous Linux, vous mettez en principe tous vos fichiers seulement sous le répertoire Home. Il s'appelle ici
/home/pi pour le nom d'utilisateur pi. Linux utilise la barre oblique simple (/), pour séparer, et non la
célèbre barre oblique inversée de Windows (
\). Vous mettrez également vos programmes Python dans ce
répertoire. Le gestionnaire de fichiers, qui peut être ouvert via le menu Démarrer ou avec la combinaison de
touche
[Win] +[E] montre par défaut seulement ce répertoire Home. Certains programmes sont placés
automatiquement dans des sous-répertoires.
Les personnes qui souhaitent tout voir, même les fichiers qui ne concernent pas l'utilisateur normal,
changent le gestionnaire de fichiers en haut à gauche de la position
Emplacement à Arborescence du
répertoire
. Choisissez ensuite dans le menu sous Affichage l'option Affichage détaillé , l'affichage apparaît
comme l'on a préréglé sous Linux.
Fig. 1.4: Le gestionnaire de fichiers de Raspberry Pi peut ressembler à cela...