몇 주 전에 Ubuntu 17.10 내 하드 디스크에 GRUB를 설치하여 생성된 GRUB 메뉴는 타이머가 카운트다운되는 매 초마다 두 글꼴을 번갈아 표시하며 선택 항목을 다른 글꼴로 위아래로 이동할 때 사용됩니다. 메뉴 옵션. 메뉴는 완벽하게 작동합니다. 키를 누를 때마다 메뉴가 이전보다 약간 크거나 작은 글꼴로 다시 그려지는 것이 짜증스럽습니다.
이 동작은 어디에서 구성할 수 있나요? 내 /etc/default/grub파일에는 아직 한 줄도 없습니다 GRUB_FONT. /etc/default/grub지금까지 GRUB을 설치한 이후 파일 에 적용한 유일한 변경 사항은 부팅 디버깅 메시지를 볼 수 있도록 GRUB_CMDLINE_LINUX_DEFAULT및 빈 문자열을 변경하는 것이었습니다.GRUB_CMDLINE_LINUX
답변1
해결책을 찾았습니다. GRUB은 이와 같은 글꼴을 대체할 수 없다고 되어 있으며, 그렇게 한다는 사실은 버그입니다. 그러나 구체적으로 --append다음 줄을 제거하면 다음과 같습니다 /etc/grub.d/00_header.
terminal_output --append ${GRUB_TERMINAL_OUTPUT}
... 그래서 ....
terminal_output ${GRUB_TERMINAL_OUTPUT}
... 그리고 다음을 실행합니다.
sudo update-grub
나를 위해 일했습니다.
여기소스입니다.