# Grub - variable $GRUB\_ACTUAL\_DEFAULT

**URL:** <https://www.debian-fr.org/t/grub-variable-grub-actual-default/74771>\
**Category:** Support Debian\
**Created:** [Octobre 15, 2017, 7:40 UTC](https://www.debian-fr.org/t/grub-variable-grub-actual-default/74771 "2017-10-15T19:40:38Z")\
**Posts on this page:** 1\
**Showing post:** 12

<div class="post-metadata">

**Author:** ![Sputnik93](https://www.debian-fr.org/letter_avatar_proxy/v4/letter/s/35a633/32.png) [@Sputnik93](https://www.debian-fr.org/u/Sputnik93)\
**Post date:** [Octobre 17, 2017, 2:59 UTC](https://www.debian-fr.org/t/grub-variable-grub-actual-default/74771/12 "2017-10-17T14:59:59Z")

</div>

> [@grandtoubab](#):
>
> quand je mets
> 
> source /usr/lib/os-release  
> GRUB\_DISTRIBUTOR=$PRETTY\_NAME
> 
> ça passe pas
> 
> root@debian:/# update-grub  
> /usr/sbin/grub-mkconfig: 11: /etc/default/grub: source: not found  
> root@debian:/#

Regarde le dernier post de MicP dans ce sujet: [Bash : Variables, comment les utiliser en dehors du fichier ? - #6 par anon29980398](https://www.debian-fr.org/t/bash-variables-comment-les-utiliser-en-dehors-du-fichier/74746/6)

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

---

_[View the full topic](https://www.debian-fr.org/t/grub-variable-grub-actual-default/74771)._