web-dev-qa-db-fra.com

Comment changer la résolution du menu GRUB?

Je voudrais changer la résolution de mon GRUB, car il semble qu'il n'utilise pas la totalité des 1920x1080 de mon écran. J'ai essayé d'obtenir les résolutions prises en charge en utilisant videoinfo, mais cela ne montre littéralement rien. J'ai aussi essayé vbeinfo, mais cela n'a pas fonctionné non plus.

Nous attendons avec impatience une solution ou, du moins, un moyen de déterminer la résolution utilisée par GRUB.

Voici à quoi ressemble mon fichier de configuration GRUB:

GRUB_TIMEOUT=8
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX="nouveau.modeset=0"
GRUB_GFXMODE=1920x1080
bootgrub2display-resolution18.10
1
Flo

l'aspect par défaut de mon menu de menu lorsque le contenu du fichier /etc/default/grub est

GRUB_DEFAULT=0
GRUB_TIMEOUT_STYLE=hidden
GRUB_TIMEOUT=10
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""
#GRUB_GFXMODE=640X480

enter image description here

Quand j'ai édité le fichier et modifié une partie du contenu dans /etc/default/grub comme ci-dessous

GRUB_DEFAULT=0
GRUB_TIMEOUT_STYLE=hidden
GRUB_TIMEOUT=10
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""
GRUB_GFXMODE=640X480

et lancez Sudo update-grub ça ressemble à ça

enter image description here

quand le contenu est comme ça

GRUB_DEFAULT=0
GRUB_TIMEOUT_STYLE=hidden
GRUB_TIMEOUT=10
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""
GRUB_GFXMODE=960X600

Cela ressemble à ceci après avoir exécuté Sudo update-grub

enter image description here

La valeur 960x600 que je choisis ci-dessous

pratap@i7-6550U:~$ xrandr
Screen 0: minimum 320 x 200, current 1366 x 768, maximum 8192 x 8192
eDP-1 connected primary 1366x768+0+0 (normal left inverted right x axis y axis) 344mm x 194mm
   1366x768      60.00*+
   1360x768      59.80    59.96  
   1280x720      60.00    59.99    59.86    59.74  
   1024x768      60.04    60.00  
   960x720       60.00  
   928x696       60.05  
   896x672       60.01  
   1024x576      59.95    59.96    59.90    59.82  
   960x600       59.93    60.00  
   960x540       59.96    59.99    59.63    59.82  
   800x600       60.00    60.32    56.25  
   840x525       60.01    59.88  
   864x486       59.92    59.57  
   800x512       60.17  
   700x525       59.98  
   800x450       59.95    59.82  
   640x512       60.02  
   720x450       59.89  
   700x450       59.96    59.88  
   640x480       60.00    59.94  
   720x405       59.51    58.99  
   684x384       59.88    59.85  
   680x384       59.80    59.96  
   640x400       59.88    59.98  
   576x432       60.06  
   640x360       59.86    59.83    59.84    59.32  
   512x384       60.00  
   512x288       60.00    59.92  
   480x270       59.63    59.82  
   400x300       60.32    56.34  
   432x243       59.92    59.57  
   320x240       60.05  
   360x202       59.51    59.13  
   320x180       59.84    59.32  
HDMI-1 disconnected (normal left inverted right x axis y axis)
pratap@i7-6550U:~$
2
PRATAP

Vous pouvez utiliser une taille d’écran de 1920 x 1080 mais vous voudrez générer une police plus grande. Bien que le format GIF suivant utilise des thèmes de grub pour des graphiques supplémentaires, la génération de polices plus grandes de 24 ou 36 points est la même pour les grub ordinaires.

Grub Boot

Faire des polices Grub

Même si vous utilisez seulement un grub ordinaire, si vous voulez une police différente, vous devez d'abord utiliser le programme grub-mkfont. Il en va de même pour Grub Customizer utilisé par OP et les thèmes Grub utilisés dans la première partie de cette réponse.

Voici les polices que j'ai créées pour grub:

$ ll /usr/share/grub/themes/Tuxkiller2/*.pf2
-rwxrwx--- 1 root root 176923 Jun  9 16:41 /usr/share/grub/themes/Tuxkiller2/dejavu_14.pf2*
-rwxrwx--- 1 root root  20041 Jun  9 16:41 /usr/share/grub/themes/Tuxkiller2/droidlogo_bold_17.pf2*
-rwxrwx--- 1 root root  23339 Jun  9 16:41 /usr/share/grub/themes/Tuxkiller2/droidlogo_bold_20.pf2*
-rwxrwx--- 1 root root  31498 Jun  9 16:41 /usr/share/grub/themes/Tuxkiller2/droidlogo_bold_26.pf2*
-rwxrwx--- 1 root root  15244 Jun  9 16:41 /usr/share/grub/themes/Tuxkiller2/droidlogo_regular_12.pf2*
-rwxrwx--- 1 root root  19148 Jun  9 16:41 /usr/share/grub/themes/Tuxkiller2/droidlogo_regular_17.pf2*
-rwxrwx--- 1 root root 113623 Jul 11 17:05 /usr/share/grub/themes/Tuxkiller2/ubuntu_bold_italic_36.pf2*
-rwxrwx--- 1 root root  45391 Jul 11 17:08 /usr/share/grub/themes/Tuxkiller2/ubuntu_light_20.pf2*
-rwxrwx--- 1 root root  41020 Jul 11 17:16 /usr/share/grub/themes/Tuxkiller2/ubuntu_regular_18.pf2*
-rwxrwx--- 1 root root  46423 Jul 11 17:16 /usr/share/grub/themes/Tuxkiller2/ubuntu_regular_20.pf2*
-rwxrwx--- 1 root root  68602 Jul 11 16:59 /usr/share/grub/themes/Tuxkiller2/ubuntu_regular_28.pf2*

Pour créer une police, utilisez le programme grub-mkfont comme décrit dans ce guide: Augmenter la police dans GRUB pour les écrans à haute résolution :

Sudo grub-mkfont --output=/boot/grub/fonts/DejaVuSansMono24.pf2 \
  --size=24 /usr/share/fonts/truetype/dejavu/DejaVuSansMono.ttf

Puis, dans votre fichier de configuration /etc/default/grub, indiquez-lui d'utiliser le nouveau fichier de police .pf2:

# More readable font on high dpi screen, generated with
# Sudo grub-mkfont --output=/boot/grub/fonts/DejaVuSansMono24.pf2 \
#    --size=24 /usr/share/fonts/truetype/dejavu/DejaVuSansMono.ttf
GRUB_FONT=/boot/grub/fonts/DejaVuSansMono24.pf2

Enfin couru:

Sudo update-grub
0
WinEunuuchs2Unix