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])]
Необходимо отредактировать /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,04)
Установка это путем ввода:
sudo apt-get update
sudo apt-get install startupmanager
Открываются start-up manager
, Изменяют настройки тайм-аута к 10 <час> secs
Используя Customiser
Личинки К добавить и установить его, просто делают следующее на терминале (Необходимо добавить PPA):
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
Нажимают Enter, затем тип
sudo apt-get update
sudo apt-get install grub-customizer
И нажимают Y для подтверждения
Нажимают General
вкладка и изменяют время на 10 <час> secs
Hope, которая помогает.
Я раньше использовал менеджера по запуску, как указано Чадом - 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" на панели инструментов, Вы получите хорошее сводное диалоговое окно, где можно изменить значение тайм-аута и пункт меню по умолчанию, как показано ниже:
Источники:
ЛичинкиНажатие Высокий звук + команда F2
Type, gksu gedit /etc/default/grub
изменяются эти GRUB_TIMEOUT
значение к 15 или 20 как требуется. (значение во втором), или тайм-аут Установки к-1 заставит GRUB ожидать неограниченно долго, пока Вы вручную не выберете запись и совершаете нападки, входят, Это должно быть похожим
GRUB_TIMEOUT=10
, сохраняют его. Близкий gedit. Теперь откройте терминал и работайте
sudo update-grub
Веб-E's ответ является действительно лучшим способом сделать это. Однако, если Вы хотите GUI способ изменить GRUB, который не включает редактирование файла, можно загрузить установку "startupmanager" с USC или Синаптический. Или со Вселенной repo включил, можно открыть Terminal и установку путем ввода:
sudo apt-get update
sudo apt-get install startupmanager
Необходимо изменить тайм-аут для личинки.
Взглянули на это руководство для действительно простых инструкций относительно изменения тайм-аута личинки / время выбора OS: