Двойная загрузка Debian и Windows 10: загрузка Windows 10 без меню чтобы выбрать ОС
Простые решения с (GNU) awk:
Каждое из 100 (строки с числом, кратным 100):
do_something | awk 'NR % 100 == 0'
или псевдослучайно:
do_something | awk 'rand() < 0.01'
Числа будут вероятно, не будет точно однородным, и может потребоваться добавить BEGIN {srand ()} для инициализации нового начального числа для каждого запуска.
Я рад сообщить, что нашел основную причину проблемы. Я случайно нашел эту страницу: Windows Support for UEFI , и прочитал там следующее:
В UEFI 2.3.1 существуют версии UEFI как для x86, так и для x64. Windows 10 поддерживает оба. Однако UEFI не поддерживает кросс-платформенную загрузку. Это означает, что компьютер с UEFI x64 может работать только с 64-битной операционной системой, а компьютер с UEFI x86 может работать только 32-разрядная операционная система.
Я устанавливал на компьютер UEFI с 64-битным процессором Intel, но использовал debian-8.7.Образ 1-i386-DVD-1.iso . Когда я использовал образ amd64 - debian-8.7.1-amd64-DVD-1.iso - вместо этого все работало нормально. Теперь у меня есть несколько секунд, чтобы выбрать ОС с Linux по умолчанию.
Меня сбили с толку странные соглашения об именах в архитектуре. Когда я впервые выбрал ISO-образ, я не был уверен, что amd64 будет работать, потому что у меня был процессор Intel, а i386 до сих пор обычно был безопасным выбором, но позже я прочитал на сайте Debian, что amd64 предназначен для 64-битных архитектур как AMD, так и Intel.