Первое, что нужно понять, что нет фиксированного пути. grub2 можно настроить по-другому во время установки, а имя grub.cfg никоим образом не запрограммировано жестко. Второй вывод заключается в том, что не существует единого файла конфигурации , например. грамм. моя система Ubuntu на момент написания статьи использует последовательно 2 разных файла, оба на самом деле называются grub.cfg.
По умолчанию grub2 при запуске делает 2 важные вещи:
(для подробнее см. http://www.gnu.org/software/grub/manual/grub.html#GRUB-only-offers-a-rescue-shell )
"Если он существует "условие является неприятным: если файл не существует (например, потому что префикс $ не указывает в нужное место), нет сообщения об ошибке , что он пытался сделать, и вы просто заканчиваете вверх в командной строке.
Если вы попадаете в аварийную оболочку, в первую очередь нужно проверить значение префиксной переменной (с помощью команды set) и содержимое этого каталога (с помощью команд ls и cat ).
(Поведение по умолчанию может быть перезаписано встроенным файлом конфигурации , но я не думаю, что видел, чтобы он использовался на практике .)
Ubuntu устанавливает префикс туда же, где расположены grubx64.efi и shimx64.efi, используемые для безопасной загрузки. Таким образом, первый файл конфигурации grub.cfg загружается из того же каталога, где находятся эти двоичные файлы EFI. С точки зрения Linux путь - / boot / efi / EFI / ubuntu, а с точки зрения grub2 (hd0, gpt1) / efi / ubuntu (номера дисков и разделов могут отличаться в зависимости от того, где находится ваш { {1}} ESP, то есть системный раздел EFI, имена файлов в grub2 кажутся нечувствительными к регистру, поэтому EFI, отображаемый Linux, отображается как efi в grub2).
Первый файл grub.cfg содержит только 3 оператора:
Последний является местоположением Linux /boot/grub/grub.cfg, о котором нам обычно говорят.
Я не десктопный пользователь Debian, а пользователь Ubuntu на основе Gnome.
В Ubuntu 18.4.1 LTS (bionic )перейдите в приложение «Настройки», на панели Dock есть ползунок «Размер значка». Привет
Скриншот из Ubuntu 18.4.1 LTS
Вам необходимо установить этот пакет:Официальный пакет на сайте Debian
sudo apt install gnome-shell-extension-dashtodock
.
Затем перезагрузите оболочку в Alt+F2 r Enter
.
Откройте tweak tool
и посмотрите extension
Dash To Dock
, чтобы изменить свои аспекты.
Ограничение размера значка для изменения размера значка