Linux Mint propose des options avant de se lancer
Répondre à la discussion
Affichage des résultats 1 à 11 sur 11

Linux Mint propose des options avant de se lancer



  1. #1
    Roseau

    Linux Mint propose des options avant de se lancer


    ------

    Bonjour,
    J'ai Mint depuis quelques années et cela fait deux fois que le PC me demande de choisir entre trois options à chaque démarrage.
    La première fois je ne sais plus si j'avais fait des manips particulières mais cela avait disparu.

    C'est réapparu après des mises à jour récentes de Mint
    Voici ce qui apparaît.
    Nom : Demarrage Mint avec choix 600px.jpg
Affichages : 158
Taille : 116,6 Ko

    C'est la ligne 1 qui lance Mint. Par ailleurs le PC fontionne parfaitement.
    Par ailleurs dans GRUB j'ai l'option hidden, donc les options de démarrage sous DOS devraient être cachées.

    GRUB_DEFAULT=0
    GRUB_TIMEOUT_STYLE=hidden
    GRUB_TIMEOUT=10
    GRUB_DISTRIBUTOR=`( . /etc/os-release; echo ${NAME:-Ubuntu} ) 2>/dev/null || echo Ubuntu`
    GRUB_CMDLINE_LINUX_DEFAULT="qu iet splash"
    GRUB_CMDLINE_LINUX=""

    Merci pour toute idée !

    -----
        

  2. #2
    trebor

    Re : Linux Mint propose des options avant de se lancer

    Bonjour,
    J'ai toujours reçu des bons conseils de l'IA, sans réponse ici soit l'essayer ou vous diriger vers le forum d'aide du site de Linux.
    J'ai posé votre question sur Gémini, accès avec Google en haut à gauche (Aperçu de L'IA).
    Voici le lien :
    https://www.google.com/search?client...d-rxc8P0dzmqAI
    Faire tout pour la paix afin que demain soit meilleur pour tous
        

  3. #3
    antek

    Re : Linux Mint propose des options avant de se lancer

    Citation Envoyé par Roseau Voir le message
    GRUB_TIMEOUT=10
    Ce n'est pas une bonne idée de supprimer le choix de GRUB, on peut en avoir besoin.
    Il vaut mieux diminuer le time-out. Et si tu es devant frapper enter !
    L'électronique c'est comme le violon. Soit on joue juste, soit on joue tzigane . . .
        

  4. #4
    polo974

    Re : Linux Mint propose des options avant de se lancer

    C'est un "bug" volontairement ajouté par ubuntu pour forcer l'affichage du menu quand il y a d'autres os trouvé...
    j'y faisait pas gaffe...

    Il y a moyen d'y échapper de différentes façons:
    • sauvagement en éditant /etc/grub.d/30_os-prober en commentant la dernière ligne (ajouter un # devant adjust_timeout). à refaire à chaque mise à jour du paquet grub-common...
    • moyennement sauvagement en ajoutant /etc/grub.d/29_pre-os-prober qui doit (être executable et) contenir:
    Code:
    #! /bin/sh
    sed 's/^adjust_timeout$/#adjust_timeout/' -i /etc/grub.d/30_os-prober
    ça fait la modif juste avant d'appliquer le script...
    ça sauvegarde puis restaure les valeurs que le 30_os-prober écrase.
    Jusqu'ici tout va bien...
        

  5. A voir en vidéo sur Futura
  6. #5
    antek

    Re : Linux Mint propose des options avant de se lancer

    Ben là apparemment il n'y a pas d'autre os détecté, ni de Roseau d'ailleurs . . .
    L'électronique c'est comme le violon. Soit on joue juste, soit on joue tzigane . . .
        

  7. #6
    polo974

    Re : Linux Mint propose des options avant de se lancer

    Citation Envoyé par antek Voir le message
    Ben là apparemment il n'y a pas d'autre os détecté, ni de Roseau d'ailleurs . . .
    En fait, le "uefi firmware setting" est considéré comme un os (très restreint, mais quand même...).
    Jusqu'ici tout va bien...
        

  8. #7
    antek

    Re : Linux Mint propose des options avant de se lancer

    Je ne crois pas, chez moi (debian) il y est avec os_prober désactivé.
    C'est pour revenir au BIOS si on l'a loupé
    L'électronique c'est comme le violon. Soit on joue juste, soit on joue tzigane . . .
        

  9. #8
    Roseau

    Re : Linux Mint propose des options avant de se lancer

    Bonjour,
    Merci pour vos réponses ! Je continue la discussion bien tard à cause d'événements imprévus.
    Je n'ai pas osé employer les modifications d'Antek parce que je craignais de faire de mauvaises manips et de ne pas réussir à rétablir les réglages d'avant.
    Je n'ai osé essayer que la solution la plus facile, mettre GRUB_TIMEOUT=0 et taper sudo update grub.
    Dans mon grub, après le démarrage suivant j'ai bien retrouvé la modif, bien enregistrée.
    Problème cependant: le PC m'a encore présenté les trois lignes ! J'ajoute que les étapes successives de ce démarrage ont été très lentes... j'ai cru que le PC était bloqué !

    Par ailleurs j'ai trouvé du nouveau: dans /etc/default/grub.d il y a deux fichiers:
    50_linuxmint.cfg qui contient
    #! /bin/sh
    set -e

    # Set distributor to "Ubuntu"
    #
    # In Mint 16:
    # shim and grub come with hardcoded ubuntu strings upstream, without this EFI installation is broken
    # https://bugs.launchpad.net/ubuntu/+s...2/+bug/1242417
    #
    # In Mint 17:
    # Despite the bug report being marked as fixed, the situation is the same. Grub was patched by Ubuntu
    # to assign the "ubuntu" distributor ID when it was given "Kubuntu". That results in Kubuntu finally
    # getting EFI to work out of the box but still using "ubuntu" as far as grub-install is concerned.
    # So we'll stick to "Ubuntu" for this iteration.
    #
    # In Mint 18:
    # Some packages are still hardcoded with the "ubuntu" path.. fwupdate for instance.
    # Visually, the grub boot menuentry name is set for derivatives in 10_linux,
    # but underneath the EFI path remains "ubuntu" for everything to work properly.

    GRUB_DISTRIBUTOR="Ubuntu"

    # Re-enable OS Prober
    # Since Mint 21
    # https://lists.gnu.org/archive/html/g.../msg00120.html
    GRUB_DISABLE_OS_PROBER=false
    Et surtout 98_mintsysadm.cfg qui contient
    # Do not edit this file. It is generated by mintsysadm.
    GRUB_TIMEOUT_STYLE=menu
    GRUB_TIMEOUT=-1
    GRUB_CMDLINE_LINUX_DEFAULT="$G RUB_CMDLINE_LINUX_DEFAULT "
    Renseignements pris sur le web, les instructions du fichier 98_mintsysadm.cfg
    prendrait le pas sur celles du fichier grub.
    On dirait que c'est bien ça puisque je demande à grub de faire GRUB_TIMEOUT_STYLE=hidden
    et que 98_mintsysadm.cfg garde GRUB_TIMEOUT_STYLE=menu.
    Evidemment je n'ose pas éditer ce fichier puisqu'il indique "Do not edit this file".

    Voilà où j'en suis, avec un PC qui fonctionne très bien par ailleurs.
    Dernière modification par Roseau ; 26/09/2026 à 10h24. Motif: mot mal tapé
        

  10. #9
    antek

    Re : Linux Mint propose des options avant de se lancer

    /grub.d est pris en compte après /grub, donc normal.
    Mais tu veux quoi au juste ? Ne pas afficher le menu GRUB, même pendant 0 S ?
    Dernière modification par antek ; 26/09/2026 à 12h17.
    L'électronique c'est comme le violon. Soit on joue juste, soit on joue tzigane . . .
        

  11. #10
    polo974

    Re : Linux Mint propose des options avant de se lancer

    Citation Envoyé par Roseau Voir le message
    Bonjour,
    ...
    Renseignements pris sur le web, les instructions du fichier 98_mintsysadm.cfg
    prendrait le pas sur celles du fichier grub.
    On dirait que c'est bien ça puisque je demande à grub de faire GRUB_TIMEOUT_STYLE=hidden
    et que 98_mintsysadm.cfg garde GRUB_TIMEOUT_STYLE=menu.
    Evidemment je n'ose pas éditer ce fichier puisqu'il indique "Do not edit this file".

    Voilà où j'en suis, avec un PC qui fonctionne très bien par ailleurs.
    Il semble qu'il y ait une appli graphique qui permet de configurer ça:
    https://ossmalta.eu/linux-mint-22-3-...igure-options/
    This version also introduced new System Administration app, allowing to configure the boot menu, aka Grub boot-loader.
    Bref, avant, on pouvait scripter, maintenant, il faut cliquer...
    Jusqu'ici tout va bien...
        

  12. #11
    Roseau

    Re : Linux Mint propose des options avant de se lancer

    /grub.d est pris en compte après /grub, donc normal.
    Mais tu veux quoi au juste ? Ne pas afficher le menu GRUB, même pendant 0 S ?
    Oui, parce que j'ai adopté Linux il y a plus de 10 ans et je n'avais jamais eu le menu GRUB. Il ne s'affichait pas du tout. Il est apparu après la màj vers Mint 22.3.
    Cela dit, à part la bizarrerie d'avoir un écran noir avec ce menu, genre MSDOS ne nuit pas au fonctionnement du PC.
        

Discussions similaires

  1. Linux Mint 22.1 à la place de W7 et W10 [Résolu]
    Par trebor dans le forum Internet - Réseau - Sécurité générale
    Réponses: 14
    Dernier message: 09/06/2026, 16h47
  2. Mot de passe Linux Mint
    Par Fiona17000 dans le forum Internet - Réseau - Sécurité générale
    Réponses: 15
    Dernier message: 26/07/2021, 17h37
  3. Wifi (linux mint)
    Par invite8412d45e dans le forum Internet - Réseau - Sécurité générale
    Réponses: 7
    Dernier message: 01/01/2016, 16h58
  4. Linux mint 14.1
    Par invite20f1bc2e dans le forum Logiciel - Software - Open Source
    Réponses: 0
    Dernier message: 30/03/2013, 09h51
  5. Linux Mint 14 “Nadia”
    Par yoda1234 dans le forum Actualités
    Réponses: 6
    Dernier message: 14/11/2012, 04h59
Dans la rubrique Tech de Futura, découvrez nos comparatifs produits sur l'informatique et les technologies : imprimantes laser couleur, casques audio, chaises gamer...