Problèmes connus sur les ressources pédagogique

Problèmes courants

Applications impossibles à lancer dans la vm

Le profil n'est pas sourcé ou il est sourcé en tant que root

• ouvrir une console
• saisir la commande sudo chown -R <mon-login> /home/local/<mon-login>
• re-sourcer le profil avec la commande source /etc/profile
• Relancer l'application en erreur

Langue du clavier

Le clavier est en QWERTY

• ouvrir une console
• saisir la commande setxkbmap fr

home dir sur les ressources pédagogique

Le dossier ~/shared n'est pas accessible

• ouvrir une console
• exécuter la commande kinit
• s'authentifier avec votre compte pour récupérer un ticket kerberos
• accéder à votre dossier shared

Session Graphique

Un accès graphique sur un des serveurs péda Linux Turing ou Ada est impossible -> écran noir

• la session graphique pose problème
• Connectez vous en SSH sur la machine ssh <mon-login>@turing
• Envoyez la commande kill -1 qui tue tous vos propres process
• Réessayez l'accès graphique

Docker

La commande docker ne fonctionne pas après un docker-rooless-init.shared

• ouvrir une console
• lancer la commande systemctl --user stop docker.service
• relancer la commande docker-rootless-init.sh

La commande docker ne fonctionne toujours pas après la manip précédente

• Appeler un informaticien
• ouvrir une console
• lancer la commande sudo modprobe nf_tables