Как изменить время меню выбора ОС в GRUB?

df = pd.DataFrame({'countries':['US','UK','Germany','China']})
countries = ['UK','China']

реализовать в:

df[df.countries.isin(countries)]

реализовать не так, как в странах покоя:

df[df.countries.isin([x for x in np.unique(df.countries) if x not in countries])]
33
задан Web-E 10 May 2012 в 18:39
поделиться

6 ответов

Необходимо отредактировать /etc/default/grub файл путем открытия терминала и выполнения этой команды: sudo gedit /etc/default/grub

необходимо установить значение GRUB_TIMEOUT к тому, сколько времени (в секундах) Вы хотите, чтобы меню личинки появилось. GRUB_TIMEOUT на самом деле число секунд, прежде чем запись по умолчанию будет автоматически загружена. Если Вы хотите видеть меню в течение 10 секунд, которое является значением по умолчанию, то сделайте:

GRUB_TIMEOUT=10

кроме того, удостоверьтесь, что Вы добавляете # перед строкой GRUB_HIDDEN_TIMEOUT=0:

#GRUB_HIDDEN_TIMEOUT=0

Затем делают sudo update-grub и перезагрузка.

12
ответ дан Peachy 22 October 2019 в 14:34
поделиться

Существует два способа сделать это

  1. менеджер по Запуску (Разработка прекращается)
  2. Личинка customiser (Не в официальных репозиториях пока еще)
<час>

Используя менеджера по Запуску (доступный до 12,04)

Установка это путем ввода:

sudo apt-get update
sudo apt-get install startupmanager
  1. Открываются start-up manager

  2. , Изменяют настройки тайм-аута к 10 <час> secs

    enter image description here

Используя Customiser

  1. Личинки К добавить и установить его, просто делают следующее на терминале (Необходимо добавить PPA):

    sudo add-apt-repository ppa:danielrichter2007/grub-customizer

    Нажимают Enter, затем тип

    sudo apt-get update
    sudo apt-get install grub-customizer

    И нажимают Y для подтверждения

    Grub Customizer preferences screen

  2. Нажимают General вкладка и изменяют время на 10 <час> secs

Hope, которая помогает.

4
ответ дан Ashu 22 October 2019 в 14:34
поделиться

Я раньше использовал менеджера по запуску, как указано Чадом - 24216, но увы, он больше не сохраняется, ни является этим в репозиториях.

Это было заменено "личинкой-customizer", которой, в то время как актуальный, находится также не в стандартных репозиториях. К добавить и установить его просто делают следующее на терминале:

sudo add-apt-repository ppa:danielrichter2007/grub-customizer

Нажимают Enter для подтверждения добавления, что PPA

sudo apt-get update
sudo apt-get install grub-customizer

Нажимает Y для подтверждения

, можно теперь запустить личинку-customizer обычными способами. При игнорировании полного списка, Вы будете видеть, когда он сначала запустится, и просто нажмите кнопку "Preferences" на панели инструментов, Вы получите хорошее сводное диалоговое окно, где можно изменить значение тайм-аута и пункт меню по умолчанию, как показано ниже:

Grub Customizer preferences screen

Источники:

менеджер по Запуску мертв

Customizer PPA

Личинки
6
ответ дан John T 22 October 2019 в 14:34
поделиться
  • Нажатие Высокий звук + команда F2

  • Type, gksu gedit /etc/default/grub

  • изменяются эти GRUB_TIMEOUT значение к 15 или 20 как требуется. (значение во втором), или тайм-аут Установки к-1 заставит GRUB ожидать неограниченно долго, пока Вы вручную не выберете запись и совершаете нападки, входят, Это должно быть похожим

    GRUB_TIMEOUT=10

  • , сохраняют его. Близкий gedit. Теперь откройте терминал и работайте

    sudo update-grub

43
ответ дан Rahul Bhadana 22 October 2019 в 14:34
поделиться

Веб-E's ответ является действительно лучшим способом сделать это. Однако, если Вы хотите GUI способ изменить GRUB, который не включает редактирование файла, можно загрузить установку "startupmanager" с USC или Синаптический. Или со Вселенной repo включил, можно открыть Terminal и установку путем ввода:

sudo apt-get update
sudo apt-get install startupmanager
0
ответ дан Chad--24216 22 October 2019 в 14:34
поделиться

Необходимо изменить тайм-аут для личинки.
Взглянули на это руководство для действительно простых инструкций относительно изменения тайм-аута личинки / время выбора OS:

, как изменить время для меню выбора OS в личинке

0
ответ дан Community 22 October 2019 в 14:34
поделиться