АБ
Ну так было бы здорово, если бы и из обычного nix можно было делать nixwrt посредством опций в .nix через стандартные каналы
Здорово, да. Кто реализовывать будет?
Size: a a a
2021 March 13
Т
Здорово, да. Кто реализовывать будет?
Ну если здорово, то кто-то мб и реализует, а если нах не надо, то скорее всего нет
АБ
Если ты сделаешь PR, неинвазивно добавляющий поддержку не-systemd инитов, то его примут скорее всего
N
ц
Там nft наконец-то прикрутили
интересно, а как давно, ибо вот пользовался уже
Т
Если ты сделаешь PR, неинвазивно добавляющий поддержку не-systemd инитов, то его примут скорее всего
На данный момент я это не осилю, факт. А почему nixwrt не пошли по этому пути?
АБ
На данный момент я это не осилю, факт. А почему nixwrt не пошли по этому пути?
Потому что создатель так захотел
MG
Спроси у них
N
На данный момент я это не осилю, факт. А почему nixwrt не пошли по этому пути?
сложно слишком
АБ
Скорее всего, потому что пересечение требований с nixos очень маленькое.
АБ
Сервисы с десктопов и серверов редко нужны на роутерах
N
это же код надо писать нескучный 📈🤌
N
там была где-то ссылка на мыло лист в истории чата
N
или это в другой группе?
АБ
Понятно, наверно и поддерживать надо на более качественном уровне
Ну да, как-то так
N
lol
mkpasswd -m sha-512 > password
добавляет \n
mkpasswd -m sha-512 > password
добавляет \n
AK
Обычный силлогизм.
Нормальный дистрибутив дает выбор. Никсос выбора не дает => Никсос не нормальный дистрибутив.
Нормальный дистрибутив дает выбор. Никсос выбора не дает => Никсос не нормальный дистрибутив.
Пускай
Тогда в контексте имеем следующие правила:
Каким образом из них следует
N(x) - "Дистрибутив 'x' нормальный", c - "дает выбор", n - "NixOS". Тогда в контексте имеем следующие правила:
N(d) -> cn -> ¬cКаким образом из них следует
¬N(n)? :^)d
Кто это заявил? Я считаю, что нормальный дистрибутив это где есть выбор, дистрибутив предлагает варианты
Так запили. В NixOS нет другого инита только потому, что это особо нахер никому не нужно.
N
Inductive выбор : Set := есть : выбор | нету : выбор
SM
Пускай
Тогда в контексте имеем следующие правила:
Каким образом из них следует
N(x) - "Дистрибутив 'x' нормальный", c - "дает выбор", n - "NixOS". Тогда в контексте имеем следующие правила:
N(d) -> cn -> ¬cКаким образом из них следует
¬N(n)? :^)неявно предлполагается также правило
c -> N(d), из которого как раз и следует ¬N(n)