Как изменить размер значка левого дока в Debian?

Первое, что нужно понять, что нет фиксированного пути. grub2 можно настроить по-другому во время установки, а имя grub.cfg никоим образом не запрограммировано жестко. Второй вывод заключается в том, что не существует единого файла конфигурации , например. грамм. моя система Ubuntu на момент написания статьи использует последовательно 2 разных файла, оба на самом деле называются grub.cfg.

По умолчанию grub2 при запуске делает 2 важные вещи:

  1. устанавливает для переменной префикса значение, встроенное во время установки grub2
  2. продолжить с конфигурационным файлом $ prefix / grub.cfg, если он существует

(для подробнее см. 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 оператора:

  1. найти раздел, содержащий корневую файловую систему, по UUID (в системах, использующих отдельную загрузочную файловую систему, найти загрузочную файловую систему {{1}) } вместо этого)
  2. установите префикс в новое значение $ root / boot / grub (используя значение $ root, определенное на предыдущем шаге, для систем с отдельным загрузочным разделом это должно быть $ root / grub)
  3. выполнить конфигурационный файл из местоположения $ prefix / grub.cfg

Последний является местоположением Linux /boot/grub/grub.cfg, о котором нам обычно говорят.

1
10.10.2018, 20:06
2 ответа

Я не десктопный пользователь Debian, а пользователь Ubuntu на основе Gnome.

В Ubuntu 18.4.1 LTS (bionic )перейдите в приложение «Настройки», на панели Dock есть ползунок «Размер значка». Привет

Скриншот из Ubuntu 18.4.1 LTS

enter image description here

Скриншот из Ubuntu 20.10 enter image description here

3
28.01.2020, 00:26

Вам необходимо установить этот пакет:Официальный пакет на сайте Debian

sudo apt install gnome-shell-extension-dashtodock.

Затем перезагрузите оболочку в Alt+F2 r Enter.

Откройте tweak toolи посмотрите extensionDash To Dock, чтобы изменить свои аспекты.

Сайт разработчика на GitHub

Ограничение размера значка для изменения размера значка

enter image description here

2
28.11.2020, 05:47

Теги

Похожие вопросы