Skip to content

Known Issues with Educational Resources✯

Common Issues✯

Keyboard Language✯

The keyboard is set to QWERTY

  • Open a terminal
  • Enter the command setxkbmap fr

Home Directory on Educational Resources✯

The ~/shared directory is not accessible

  • Open a terminal
  • Run the command kinit
  • Authenticate with your account to retrieve a Kerberos ticket
  • Access your shared directory

Graphical Session✯

Graphical access to one of the Linux teaching servers Turing or Ada is impossible -> black screen

  • The graphical session is problematic
  • SSH into the machine ssh <my-login>@turing
  • Run the command kill -1 to terminate all your own processes
  • Retry graphical access

Docker✯

The docker command does not work after docker-rootless-init.sh

  • Open a terminal
  • Run the command systemctl --user stop docker.service
  • Relaunch the command docker-rootless-init.sh

The docker command still does not work after the previous step

  • Contact an IT support staff member
  • Open a terminal
  • Run the command sudo modprobe nf_tables