Différences

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

--- linux-vrac [2019/04/11 11:43] – sebsauvage
+++ linux-vrac [2019/04/18 09:41] – sebsauvage
@@ Ligne 137: / Ligne 137: @@
   * **Astuce rapide**:
     * Si vous n'utilisez que des comptes locaux (et pas de comptes réseau), vous pouvez demander à systemd de ne pas attendre que le réseau soit disponible pour afficher la fenêtre de connnexion. Ça permet de gagner quelques secondes sur le démarrage: ''sudo systemctl disable NetworkManager-wait-online.service''
+    * Si au démarrage vous avez un long message "Scanning for Btrfs filesystems..." alors que vous n'utilisez pas Btrfs, vous pouvez le désactiver:<code>sudo apt purge btrfs-tools
+sudo update-initramfs -ukall</code>
   * **Isoler un logiciel** : Pour lancer une application en laquelle je n'ai pas confiance, en ne lui laissant **pas** accès à mon répertoire perso:
@@ Ligne 548: / Ligne 550: @@
   * Récupérer l'audio d'une vidéo YouTube en mp3:<code>youtube-dl --extract-audio --audio-format mp3 https://www.youtube.com/watch?v=dQw4w9WgXcQ</code>
+  * Si au démarrage vous préférez voir les logs de démarrage plutôt que le logo animé, modifiez le fichier ''/etc/default/grub'':
+    * Changez la ligne <code>GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"</code>
+    * en: <code>GRUB_CMDLINE_LINUX_DEFAULT=""</code>
+    * puis faites: ''sudo update-grub''
   * D'autres astuces ? Voir [[mint_customization|cette page]].