Я вижу, что в разных дистрибутивах Linux разные параметры / переменные используются в /etc/default/grub . Это может быть из-за разных версий grub2 (я могу ошибаться?) В сети я могу найти документацию для дистрибутивов, например, для gentoo . Мне было интересно, есть ли что-то вроде man-страницы, включенной в систему, документирующей, какие опции распознаются в /etc/default/grub и что они делают.
Изменить: я нашел онлайн документ самостоятельно. Тем не менее, мне интересно, смогу ли я найти эту информацию в системе, не посещая сеть.