edix_utilisation(7f) edix_utilisation(7f)

edix_utilisation - Utilisation du système edix.

Avant de pouvoir utiliser edix, vous aurez besoin

  • d'une machine avec edix installé (voir edix_installation(8f)) ;
  • d'une clé usb qui contiendra votre environnement personnel (voir
edix_environnement_etudiant(8f)).

Pour découvrir les gestes de base dont nous avons besoin pour les travaux pratiques, vous pouvez consulter la page de manuel edix_gestes_de_base(8f).

La présente documentation ne concerne que les toutes premières étapes de l'utilisation.

Lorsque vous vous trouvez devant une machine qui utilise le système d'exploitation edix, vous êtes face à une invite de commande du type

cle-edix login:
Vous donnez alors le nom de login 
etudiant
(en finissant par la touche <ENTREE>) et vous donnez le mot de passe 
etudiant&1edix
(ou un autre mot de passe, que vous demandez à l'administrateur, si celui-ci a été changé sur le parc des machines que vous utilisez).

Vous obtenez alors l'invite de commande suivante :

etudiant@cle-edix:~ $

Pour profiter des propriétés graphiques de votre écran (pouvoir visualiser des images, utiliser la souris ou le track-pad, etc) vous devez lancer le serveur graphique xorg. Ce lancement est réalisé par la commande startx :

etudiant@cle-edix:~ $ startx
en finissant par la touche <ENTREE>, ce qui ouvre une interface graphique.

Vous pouvez alors utiliser les menus, mais pour faire plus court, vous ouvrez un terminal avec la combinaison de touches

Alt Entrée
et vous retrouvez une invite de commande, cette fois dans un terminal graphique : 
etudiant@cle-edix:~ $

Les premiers gestes d'exploitation de la dimension graphique de ce nouveau terminal sont décrits dans la page de manuel edix_gestes_de_base(8f).

A ce stade, vous êtes un étudiant anonyme et votre environnement de travail est l'environnement générique. Vous pourrez réaliser l'essentiel des travaux pratiques mais vous n'aurez pas d'autonomie et vous ne pourrez pas contribuer aux actions de co-écriture auxquelles sont invités tous les étudiants qui le souhaitent. Ces co-écritures utilisent des serveurs git (voir edix_git(8f)) et vous ne pourrez pas accéder à ces serveurs tant que vous ne serez pas identifié nomminativement.

Pour cela vous devez disposer d'une clé usb qui contienne votre identité et vos paramètres d'environnement (voir edix_environnement_etudiant(8f)). Vous devez alors

  • identifier votre clé d'environnement ;
  • monter cette clé d'environnement ;
  • activer votre signature et votre environnement.

Avant de commencer, la commande

etudiant@cle-edix:~ $ ls /dev/sd*
vous permet de lister les disques usb vus par votre noyau.

Vous insérez ensuite la clé usb contenant votre environnement dans un des ports usb de votre ordinateur et vous relancez la même commande :

etudiant@cle-edix:~ $ ls /dev/sd*
vous verrez apparaître le nom de votre clé (et éventuellement de ses partitions), par exemple 
sdy
et une partition, 
sdy1

Pour bien vérifier, si vous enlevez la clé, et recommencez

etudiant@cle-edix:~ $ ls /dev/sd*
le device sdy devrait disparaître. Ensuite rebranchez la clé et revérifiez.

Quand vous êtes parfaitement sûr du nom de votre clé, vous pouvez alors lancez la commande suivante qui montera votre clé sur le répertoire /mnt/env :

etudiant@cle-edix:~ $ doas mount /dev/sdy1 /mnt/env

Si vous souhaitez vérifier que la clé est bien montée, vous pouvez lancer la commande suivante~:

etudiant@cle-edix:~ $ df -h
Elle listera tous les devices montés et vous reconnaîtrez /dev/sdy1 monté sous /mnt/env

Une fois que votre clé d'environnement est montée, il ne vous reste plus qu'à activer son contenu. Cela s'effectue avec la commande suivante :

etudiant@cle-edix:~ $ deploiement_environement_personnel_etudiant.sh

A ce stade, vous êtes identifié via les paramètres présents sur votre clé. Vous pouvez notamment utiliser les serveurs git dans tous vos actes de co-écriture. Vous pouvez aussi montifier vos fichiers d'environnement (par exemple le fichier ~/.bashrc ou le fichier ~/.vimrc) et ces modifications seront conservées lors de votre prochaine connection.

Quand vous avez terminé votre travail et que vous souhaitez enlever votre clé usb d'environnement, si vous souhaitez le faire "proprement", vous commencez par désactiver le contenu de votre clé avec la commande suivante :

etudiant@cle-edix:~ $ effacement_environement_personnel_etudiant.sh

Puis vous démontez votre clé d'environnement :

etudiant@cle-edix:~ $ doas umount /mnt/env

Vous pouvez alors enlever votre clé. Vous êtes redevenu un utilisateur anonyme.

RQ: Lorsque vous vous quittez la session etudiant (quitter l'environnement graphique, faire exit dans le terminal initial), l'effacement de votre environnement personnel est réalisé automatiquement. Par contre votre clé reste montée. Cela n'est pas grave pour une clé usb usuelle et vous pouvez enlever votre clé sans soucis. Par contre c'est plus embêtant si votre clé d'environnement est en fait un disque dur externe mécanique car il peut être endomagé par un retrait de la clé avant le démontage.

edix(8f), edix_installation(8f), edix_environnement_etudiant(8f), edix_gestes_de_base(8f), edix_git(8f)

2025-10-17 UNIX