!UUqahLbShAYkkrXmKs:matrix.org

DevOS

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

Load older messages


SenderMessageTime
1 Aug 2021
@kraftnix:matrix.org@kraftnix:matrix.orgwait, you can currently use deploy-rs to install nixos first time onto a remote system?21:28:52
@blaggacao:matrix.orgDavid Arnold (blaggacao)Hm, it has been a while, and my brain is forgiving with the details. Has advantages and disadvantages. But since I'm rowing in the same boat, I guess I'll find out within the next few days.21:29:53
@blaggacao:matrix.orgDavid Arnold (blaggacao)

BUt that would be the target workflow, if possible:

  1. plug in the USB stick (or have it bplugged in by a local operator)
  2. get bakc to your main machine
21:30:30
@blaggacao:matrix.orgDavid Arnold (blaggacao) *

But that would be the target workflow, if possible:

  1. plug in the USB stick (or have it plugged in by a local operator)
  2. get back to your main machine
21:30:42
@timdeh:matrix.org@timdeh:matrix.orgI dunno if deploy-rs can install, but the devs did inform me that it can target even non-nixos systems so maybe it can/21:30:46
@timdeh:matrix.org@timdeh:matrix.org * I dunno if deploy-rs can install, but the devs did inform me that it can target even non-nixos systems so maybe it can?21:30:51
@blaggacao:matrix.orgDavid Arnold (blaggacao) I guess it really comes down to this /mnt thing, if any. 21:31:28
@blaggacao:matrix.orgDavid Arnold (blaggacao) because while the iso is running, that's the target path. Maybe deploy-rs has an easy enough way to modify the target paths 21:31:51
@kraftnix:matrix.org@kraftnix:matrix.org
In reply to @blaggacao:matrix.org

But that would be the target workflow, if possible:

  1. plug in the USB stick (or have it plugged in by a local operator)
  2. get back to your main machine
I do this already, but I have to do the cp -r /iso/devos ~/devos workaround currently after ssh-ing into the machine to install on
21:32:19
@blaggacao:matrix.orgDavid Arnold (blaggacao) Ah, yeah the idea is to employ deploy-rs / yeet at step 2. 21:32:53
@kraftnix:matrix.org@kraftnix:matrix.orgthat would be sweet21:33:05
@blaggacao:matrix.orgDavid Arnold (blaggacao) * Ah, yeah the idea is to employ deploy-rs / yeet at step 2. after some formatting via ssh of course. 21:33:15
@blaggacao:matrix.orgDavid Arnold (blaggacao)
In reply to @kraftnix:matrix.org
that would be sweet
I'm learning rust for it 🚀
21:34:19
@blaggacao:matrix.orgDavid Arnold (blaggacao)
In reply to @kraftnix:matrix.org
that would be sweet
* I'm learning rust for it 🚀 😃
21:34:38
@blaggacao:matrix.orgDavid Arnold (blaggacao) CAVE canem! not quite: but a devos/develop -> devos/main is incoming. core standing on the siding going forward 21:36:15
@blaggacao:matrix.orgDavid Arnold (blaggacao)Docs are already updated: https://devos.divnix.com/bud/index.html 🚀21:41:51
@blaggacao:matrix.orgDavid Arnold (blaggacao) kraftnix: https://github.com/divnix/bud/commit/612228a68d404d559405225427a5d8b3cef9d27c 22:08:21
@blaggacao:matrix.orgDavid Arnold (blaggacao) * kraftnix: https://github.com/divnix/bud/commit/612228a68d404d559405225427a5d8b3cef9d27c (impacience won) 😊 22:08:32
@blaggacao:matrix.orgDavid Arnold (blaggacao) And here is the yeet branch: https://github.com/divnix/bud/tree/yeet 22:10:52
@kraftnix:matrix.org@kraftnix:matrix.org
In reply to @blaggacao:matrix.org
I'm not sure if sharing profiles would be really a good idea, in theory. Modules are the "generics" and profiles the concrete implementation. I find it to be a good balance between convenience and responsibility to pass "ownership" of any concrete implementation to the user.

btw, regarding this discussion above, I would vote for being able to share profiles. while i agree that profiles tend to be a concrete implementation of something, it is still very useful for sharing. I often build profiles in a layered / more abstract fashion where nearly everything except host specific configuration is set in profiles.

i think profile sharing definitely aligns with devos' goals to allow quick bootstrapping and sharing of configurations. e.g. I could take nrdxp steam-compositor profile and mkForce whatever I want after that if I don't like it (or alternatively rewrite it all if theres too much), I could even have my own profiles which rely on "upstream" profiles.

it also aligns with goals such as, "use this profile, it's a perfect neovim/zsh/nix/python environment that builds in a language server with nice mappings etc.", a proper fully featured portable shell, i don't know who you would easily share that without the ability to export profiles

22:15:49
@kraftnix:matrix.org@kraftnix:matrix.org
In reply to @blaggacao:matrix.org
I'm not sure if sharing profiles would be really a good idea, in theory. Modules are the "generics" and profiles the concrete implementation. I find it to be a good balance between convenience and responsibility to pass "ownership" of any concrete implementation to the user.
*

btw, regarding this discussion above, I would vote for being able to share profiles. while i agree that profiles tend to be a concrete implementation of something, it is still very useful for sharing. I often build profiles in a layered / more abstract fashion where nearly everything except host specific configuration is set in profiles.

i think profile sharing definitely aligns with devos' goals to allow quick bootstrapping and sharing of configurations. e.g. I could take nrdxp steam-compositor profile and mkForce whatever I want after that if I don't like it (or alternatively rewrite it all if theres too much), I could even have my own profiles which rely on "upstream" profiles.

it also aligns with goals such as, "use this profile, it's a perfect neovim/zsh/nix/python environment that builds in a language server with nice mappings etc.", a proper fully featured portable shell, i don't know how you would easily share that without the ability to export profiles

22:16:48
@timdeh:matrix.org@timdeh:matrix.orgI only advocate for this because it was my original goal for DevOS, though the community branch unfortunately never took off â˜šī¸22:17:18
@kraftnix:matrix.org@kraftnix:matrix.orgi think the community branch is too centralised of a solution, we should be leveraging flakes :)22:17:44
@blaggacao:matrix.orgDavid Arnold (blaggacao) I think walking the config tree and replace values by mkDefault would be actually a good thing, i possible, before exporting profiles. 22:17:59
@blaggacao:matrix.orgDavid Arnold (blaggacao)Can wee peek if that's possible?22:18:25
@timdeh:matrix.org@timdeh:matrix.org
In reply to @kraftnix:matrix.org
i think the community branch is too centralised of a solution, we should be leveraging flakes :)
exactly my thinking
22:22:16
@timdeh:matrix.org@timdeh:matrix.org I mean couldn't we just mapAttrs over a profile? 22:30:45
@timdeh:matrix.org@timdeh:matrix.orgnvm, I guess that wouldn't work in the case of a lambda22:38:37
2 Aug 2021
@blaggacao:matrix.orgDavid Arnold (blaggacao)We could also just export them and see how it goes and what the problems are 😂13:23:29
@yuu:matrix.org@yuu:matrix.org joined the room.14:11:03

Show newer messages


Back to Room ListRoom Version: 6