| 54 | |
| 55 | == 3. Workspace == |
| 56 | |
| 57 | solution assez desagreable pour revenir vers un environnement de travaill multi-bureau utilisable ... |
| 58 | |
| 59 | See : |
| 60 | {{{ |
| 61 | https://linuxconfig.org/how-to-install-gnome-shell-extensions-on-ubuntu-18-04-bionic-beaver-linux |
| 62 | }}} |
| 63 | |
| 64 | {{{ |
| 65 | sudo apt install gnome-tweak-tool |
| 66 | sudo apt install gnome-shell-extensions |
| 67 | apt install chrome-gnome-shell |
| 68 | }}} |
| 69 | |
| 70 | Installer les "workspace grid" depuis un navigateur en suivant les informations sur |
| 71 | {{{ |
| 72 | https://addons.mozilla.org/en-US/firefox/addon/gnome-shell-integration/ |
| 73 | }}} |
| 74 | |
| 75 | go to |
| 76 | {{{ |
| 77 | https://extensions.gnome.org |
| 78 | }}} |
| 79 | |
| 80 | search for Gnome extensions you wish to install. |
| 81 | For us : "Workspace Grid" |
| 82 | Flip the ON switch to install the extension |
| 83 | |
| 84 | Problème Ubuntu sur les portables enseignement : l'orientation du bureau change quand on tourne l'ordinateur. |