|
Pour changer la couleur de la police du menu GRUB dans Ubuntu 20.04 LTS, vous devez éditer le fichier `/etc/default/grub`.
1. Ouvrez une fenêtre de terminal.
2. Exécutez la commande suivante pour modifier le fichier `/etc/default/grub` :
```
sudo nano /etc/default/grub
```
3. Localisez la ligne suivante :
```
GRUB_COLOR_NORMAL="blanc/noir"
```
4. Modifiez les valeurs de couleur pour les couleurs souhaitées. Par exemple, pour changer la couleur de la police en rouge et la couleur d'arrière-plan en bleu, vous utiliserez la ligne suivante :
```
GRUB_COLOR_NORMAL="rouge/bleu"
```
5. Enregistrez et fermez le fichier.
6. Exécutez la commande suivante pour régénérer le menu GRUB :
```
sudo mise à jour-grub
```
7. Redémarrez votre ordinateur.
La couleur de la police du menu GRUB doit maintenant être remplacée par la couleur souhaitée.
|
