Différences

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

--- linuxmint [2023/02/12 20:44] – [Programmes à installer] gbd
+++ linuxmint [2024/05/08 21:27] – gbd
@@ Ligne 13: / Ligne 13: @@
 Puis les applis Flatpak
-<code>flatpak install flathub com.heroicgameslauncher.hgl org.shotcut.Shotcut org.telegram.desktop</code>
+<code>flatpak install flathub com.heroicgameslauncher.hgl org.shotcut.Shotcut org.telegram.desktop com.valvesoftware.SteamLink</code>
   * Deluge qui est un client bittorent
@@ Ligne 87: / Ligne 87: @@
 <code>sudo update-grub</code>
+===== Configurer Grub pour démarrer par défaut sur une autre entrée =====
+Par défault Grub va booter sur le linux installé. Si vous voulez changer l'os par défault il faut modifier le paramètre //GRUB_DEFAULT// du fichier ///etc/default/grub//.
+Pour obtenir l'information à rentrer en face de ce paramètre on peut saisir la commande suivante
+<code>sudo grep menuentry /boot/grub/grub.cfg</code>
+Et récuperer l'info entre guillemet derrière menuentry qui nous intéresse. Ce qui donne ceci
+<code>
+GRUB_DEFAULT="Windows Boot Manager (on /dev/nvme0n1p1)"
+GRUB_TIMEOUT_STYLE=hidden
+GRUB_TIMEOUT=10
+GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
+GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
+GRUB_CMDLINE_LINUX=""
+GRUB_RECORDFAIL_TIMEOUT=10
+</code>
+Il me semble aussi qu'on peut mettre un chiffre correspondant à la ligne de Windows dans grub la 1ere étant 0. Si Windows est en 3ème positition on met //GRUB_DEFAULT=2//
+Et enfin on peu choisir de booter sur l'Os qui a été utilisé lors du démarrage précédent avec ceci (Non Testé)
+<code>
+GRUB_DEFAULT=saved
+GRUB_SAVEDEFAULT=true
+</code>
+On n'oublie pas le sudo update-grub pour confirmer tout ça dans les 3 cas.
 ===== Configurer l'hibernation =====