!UUqahLbShAYkkrXmKs:matrix.org

DevOS

32 Members
Seeking help and geeking out together on https://github.com/divnix/devos & https://github.com/divnix/digga10 Servers

Load older messages


SenderMessageTime
19 Oct 2021
@mars:jupiterbroadcasting.commarswhy does devos include a custom build of Nix itself?16:22:43
@ultranix:matrix.org@ultranix:matrix.org
In reply to @kraftnix:matrix.org
the need to build nix, deploy-rs and nvfetcher is definitely and issue that we should resolve if possible

its one of the reasons i dont build devos on my laptop anymore
why do you need to build them?
16:33:34
@kraftnix:matrix.org@kraftnix:matrix.orggood question, i haven't looked into _why_ i need to build them, but every so often i do need to do a full build of nix, dprs, and nvfetcher.16:36:27
@mars:jupiterbroadcasting.commarsis the secrets mgmt stuff for devos just whatever is built into deploy-rs, or is it your own thing?16:39:53
@kraftnix:matrix.org@kraftnix:matrix.orgagenix is used for secretd management. 16:40:42
@mars:jupiterbroadcasting.commarsah OK cool 16:40:54
@kraftnix:matrix.org@kraftnix:matrix.org* agenix is used for secretd management. https://devos.divnix.com/secrets.html16:41:05
@mars:jupiterbroadcasting.commarsprofiles are just modules that don't define any new config options? 16:41:06
@kraftnix:matrix.org@kraftnix:matrix.orghave a read through the docs, it shoulf answer many of these questions :)16:41:34
@mars:jupiterbroadcasting.commarsoh God the Nixpkgs documentation uses definition the opposite of the way that I meant it16:43:34
@mars:jupiterbroadcasting.commarswhat's the point of the conceptual distinction between suites and profiles? don't profiles that import other profiles essentially retain all the same properties as other profiles?16:48:58
@ultranix:matrix.org@ultranix:matrix.orghow is deploy-rs set up to read home-manager.shared-modules16:50:18
@mars:jupiterbroadcasting.commars
In reply to @ultranix:matrix.org
how is deploy-rs set up to read home-manager.shared-modules

deploy-rs doesn't have to do anything; it's just deploying a NixOS host flake

digga uses fup's hostDefaults.modules to add home-manager to all the host flakes

16:54:23
@mars:jupiterbroadcasting.commars the part where it passes the modules arg to home-manager is in fup-adapter.nix 16:56:44
@mars:jupiterbroadcasting.commarsdid i miss anything? 17:00:11
@mars:jupiterbroadcasting.commars

what does setting

nixConfig.extra-experimental-features = "nix-command flakes ca-references";

at the top of flake.nix actually achieve? won't Nix not actually read the flake anyway, it those features are not enabled?

17:24:24
@ultranix:matrix.org@ultranix:matrix.org adds hem to /etc/nix/nix.conf 17:28:20
@ultranix:matrix.org@ultranix:matrix.org * adds them to /etc/nix/nix.conf 17:28:26
@ultranix:matrix.org@ultranix:matrix.orgflakes wont be enabled otherwise17:28:42
@mars:jupiterbroadcasting.commars I guess I'm just wondering why the top-level thing is being used instead of having that live down inside a NixOS module somewhere 17:30:40
@mars:jupiterbroadcasting.commarsif it's just a style thing, that's cool I'm just trying to learn from the template17:35:33
@ultranix:matrix.org@ultranix:matrix.orgi really liked nixus because it was 100% nix17:37:33
@mars:jupiterbroadcasting.commarsok, looks like most of the interesting stuff in digga might be in its importers18:37:42
@mars:jupiterbroadcasting.commarsI'm a little fuzzy on the distinction between internal, external, and in-house overlays as mentioned in the source comment next to importOverlays18:38:28
@mars:jupiterbroadcasting.commarslooks like there's something similar going on for hosts18:43:03
@mars:jupiterbroadcasting.commarsfeels weird that we're using import machinery in flake.nix right next to the thing fup gives us to avoid importing modules ourselves18:43:48
@mars:jupiterbroadcasting.commars
In reply to @mars:jupiterbroadcasting.com
ok, looks like most of the interesting stuff in digga might be in its importers
which, slightly surprisingly, are also exporters! hm
22:28:12
@mars:jupiterbroadcasting.commars

trying to get a feel for why devos is so eager to export

I partially get it and I partially don't

like how come devos users end up exporting an output lib?

is that just for historical reasons, because folks may be using the devos repo on github as a library in their flakes rather than as a template?

22:54:39
@mars:jupiterbroadcasting.commarsor is it just an example and it happens to give you devos' lib like just another example of the many kinds of outputs you might want your flake to have, and a lib for other flakes to use is one of them? 23:26:47
@blaggacao:matrix.orgDavid Arnold (blaggacao)
In reply to @mars:jupiterbroadcasting.com
what's the point of the conceptual distinction between suites and profiles? don't profiles that import other profiles essentially retain all the same properties as other profiles?
Suites are host classes. It's probably most useful if you're managing a Univerity with DevOS. But behold, you can use a few suites for yourself, too, to get in the mood. Roughly, that's it.
23:53:54

Show newer messages


Back to Room ListRoom Version: 6