Grub - variable $GRUB_ACTUAL_DEFAULT

Regarde le dernier post de MicP dans ce sujet: Bash : Variables, comment les utiliser en dehors du fichier ? - #6 par anon29980398

Il faut set -a avant le source (et set +a juste après, pour plus de propreté).