Próbuję zrozumieć pliki konfiguracyjne grub. Podczas tego procesu natknąłem się na plik /etc/grub.d/40_custom . Mój plik zawiera następujące wiersze: #!/bin/sh exec tail -n +3 $0 # This file provides an easy way to add custom menu entries. Simply type the # menu entries you want to add after this...