• [^] # Re: Plus ça va et plus on nous prend pour des moules

    Posté par (site web personnel) . En réponse au message [Cinnamon] Comment obtenir (graphiquement) les informations réseau comme jadis ?. Évalué à 5.

    Une recherche (beaucoup trop rapide) suggère que ce code est utilisé :

    # This deliberately doesn't include /etc/default/grub.d/*.cfg, since we're
# only sourcing this configuration file in order to prompt for values to
# write back to /etc/default/grub.
if [ -e /etc/default/grub ]; then
 . /etc/default/grub
fi
if [ "${GRUB_CMDLINE_LINUX+set}" = set ]; then
 db_set grub2/linux_cmdline "$GRUB_CMDLINE_LINUX"
fi
if [ "${GRUB_CMDLINE_LINUX_DEFAULT+set}" = set ]; then
 db_set grub2/linux_cmdline_default "$GRUB_CMDLINE_LINUX_DEFAULT"
fi

    Une bonne occasion de réviser la syntaxe shell ${foo+bar} ! ;)

    Debian Consultant @ DEBAMAX