Только для справки/любопытства:
Я знаю, что не отвечаю на ваш вопрос, но если вам нужно перенаправить содержимое справочной страницы, вы можете сделать это с помощью col (1)
man 1 col | col -b -x > manfile.foo
/etc/default/grub
и добавьте следующие параметры вGRUB_CMDLINE_LINUX:
$ sudo nano /etc/default/grub
GRUB_CMDLINE_LINUX="acpi_osi=Linux acpi_backlight=vendor"
update-grub
.