Я установил шрифт, который мне не нравится, и теперь я не могу его найти. Как мне найти или удалить этот шрифт для сброса моих шрифтов по умолчанию

Для этого есть команда grub, это grub-reboot.

Кажется, что она работает только тогда, когда у вас есть grub, настроенный на запуск с последней сохраненной записи. Поэтому, если вы еще этого не сделали, измените /etc/default/grub и установите

GRUB_DEFAULT=saved

, а затем обновите конфигурационный файл grub:

sudo update-grub

С этого момента в каждой загрузке grub будет запустите последнюю использованную запись.

Теперь, если вы хотите заранее установить, какой должна быть система для загрузки в следующий раз, используйте

sudo grub-reboot ENTRY

, где ENTRY может быть число, относящееся к входу в меню (нумеруется начиная с 0), или точное название записи в меню, например

sudo grub-reboot "Microsoft Windows XP Professional (on /dev/sda1)"

Эта команда может быть легко доступна в качестве запуска

#!/usr/bin/env xdg-open
#
# save as ~/Desktop/reboot-into-windows.desktop
#

[Desktop Entry]
Version=1.0
Type=Application
Terminal=false
Exec=sh -c 'gksu "grub-reboot 2" && gnome-session-save --shutdown-dialog'
Name=Reboot into Windows
Icon=gnome-panel-launcher

, но я не знаю, как это можно было бы интегрировать в системное меню.

Вы можете получить доступное название записи в меню с помощью

sed -n '/menuentry/s/.*\(["'\''].*["'\'']\).*/\1/p' /boot/grub/grub.cfg 
0
задан 23 March 2011 в 01:12

9 ответов

Font Manager - простой инструмент для установки / удаления отдельных шрифтов или коллекций.

1
ответ дан 25 May 2018 в 22:26

Font Manager - простой инструмент для установки / удаления отдельных шрифтов или коллекций.

1
ответ дан 25 July 2018 в 22:19

Font Manager - простой инструмент для установки / удаления отдельных шрифтов или коллекций.

1
ответ дан 26 July 2018 в 20:37

Font Manager - простой инструмент для установки / удаления отдельных шрифтов или коллекций.

1
ответ дан 2 August 2018 в 03:46

Font Manager - простой инструмент для установки / удаления отдельных шрифтов или коллекций.

1
ответ дан 4 August 2018 в 19:50

Font Manager - простой инструмент для установки / удаления отдельных шрифтов или коллекций.

Font Manager screenshot [!d1]

1
ответ дан 6 August 2018 в 03:54

Font Manager - простой инструмент для установки / удаления отдельных шрифтов или коллекций.

Font Manager screenshot [!d1]

1
ответ дан 7 August 2018 в 21:50

Font Manager - простой инструмент для установки / удаления отдельных шрифтов или коллекций.

Font Manager screenshot [!d1]

1
ответ дан 10 August 2018 в 10:05

Font Manager - простой инструмент для установки / удаления отдельных шрифтов или коллекций.

Font Manager screenshot [!d1]

1
ответ дан 13 August 2018 в 16:25

Другие вопросы по тегам:

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