Différences

Ci-dessous, les différences entre deux révisions de la page.

--- linux-vrac [2020/07/16 07:39] – sebsauvage
+++ linux-vrac [2020/08/09 09:57] – sebsauvage
@@ Ligne 761: / Ligne 761: @@
   * Vous avez réinstallé votre système en gardant votre ''/home'' et le gestionnaire de fenêtres est tout pété ? Faites ''dconf reset -f /'' puis fermez-réouvrez votre session. C'est à faire dans chaque compte utilisateur.
+  * Le navigateur **Midori** est très léger et très rapide. Pour l'installer:<code>sudo apt-add-repository ppa:midori/ppa
+sudo apt-get update
+sudo apt-get install midori</code>
   * Vous avez un Raspberry Pi ? [[raspi3:raspbian|cette page]] pourra vous être utile.