АБ
Что ты пытаешься собрать и как*
Size: a a a
2020 March 24
АБ
MP
Нет его там.
АБ
$ ls /bin
sh
АБ
Это единственное, что там есть.
֍֎
Нет его там.
Слой совместимости
MP
Хочу собрать https://www.prismmodelchecker.org/, но эта проблема и раньше мешала.
АБ
Сейчас посмотрим
АБ
10мб сжатых исходников? ухх
АБ
О, вижу джаву
АБ
Скинь что есть сейчас
MP
make все собирает, но падает на install.sh, который вызывает /bin/mv.
֍֎
MP
Спасибо!
JK
Всем привет, можно ли установить NixOS без grub?
Устанавливал из Debian на другой раздел по этой инструкции https://nixos.org/nixos/manual/index.html#sec-installing-from-other-distro
Ввел update-grub на основной системе, NixOS не нашлась
Устанавливал из Debian на другой раздел по этой инструкции https://nixos.org/nixos/manual/index.html#sec-installing-from-other-distro
Ввел update-grub на основной системе, NixOS не нашлась
АБ
О, чую ты с лора
АБ
Если устраивает костыль с выбором ос из UEFI, то можешь попробовать systemd-boot
АБ
Я имею в виду что выбирать, в какую ОС загрузится, придется из UEFI-менюшки, а не из груба
АБ
А, ну такой вариант тоже
АБ
Кстати, что думаешь про дырень со шрифтами? Проскочили какие-то слухи про успешное удаленное выполнение кода через WebDAV