gchristensen changed the topic of #nixos-chat to: NixOS but much less topical || https://logs.nix.samueldr.com/nixos-chat
<pie_> i wish i was that rational
<Church-> pie_: Well stop being irrational
<Church-> Just stop being you! :P
<Church-> Well least you're not Tau
<pie_> NOW I'm having an identity crisis
<gchristensen> say, manveru zimbatm qyliss do we know anybody who would like to have nearly exactly qyliss's job, except at a different company?
<Arahael> Where was the nixos-darwin channel?
<Arahael> I can't get xcodebuild to behave in nix-shell, and I'm absolutely convinced this is just apple/xcodebuild craziness.
<gchristensen> #nix-darwin ?
<Arahael> That's it - thanks!
<infinisil> ,channels
<{^_^}> Largest Nix-related channels: #nixos, #nixos-dev, #nix-darwin, #nixos-chat, #nixos-aarch64, #nixos-wiki, #nixos-borg, #nixos-security, #nix-core
<gchristensen> andi-: 'round or gone?
boredom101 has joined #nixos-chat
jasongrossman has joined #nixos-chat
boredom101 has quit [Quit: Page closed]
<Church-> God I really wanna sell Nix at work
<Church-> Maybe when I get on the backend team.
<Church-> Too much infra stuff to fix up first.
Myhlamaeus has joined #nixos-chat
Irenes has quit [Ping timeout: 276 seconds]
Irenes has joined #nixos-chat
<manveru> gchristensen: I'd love to do that.
aanderse has quit [Ping timeout: 248 seconds]
Myhlamaeus has quit [Ping timeout: 248 seconds]
<andi-> gchristensen: never gone just sleeping ;)
endformationage has quit [Ping timeout: 248 seconds]
aminechikhaoui has quit [Quit: Ping timeout (120 seconds)]
aminechikhaoui has joined #nixos-chat
<eyJhb> Is it just me, or is Github support really slow?
jasongrossman has quit [Ping timeout: 250 seconds]
pie_ has quit [Remote host closed the connection]
pie_ has joined #nixos-chat
pie_ has quit [Ping timeout: 248 seconds]
<qyliss^work> eyJhb: they're usually really fast for me
<qyliss^work> gchristensen: we can't recruit anyone else to join me and my manager in my job; been trying for months
<qyliss^work> surprises me, because from my point of view it's, like, the perfect job
<gchristensen> qyliss^work: right?
<gchristensen> manveru: yeah? I can put you in touch. ... :)
<eyJhb> qyliss^work: It has currently taken around two weeks, and I have gotten a single reply 1 week ago... And waiting for another
<qyliss^work> that's extremely unusual from my PoV. Usually takes a few hours for me at most.
<qyliss^work> Maybe more if it's something complicated they have to look into
pie_ has joined #nixos-chat
<eyJhb> Basically looking to get a unlimited team subscription for a org I have.. Which is opensource it MOST aspects.. And I cannot pay for a team plan, because.. It wouldn't make sense
<eyJhb> Basically, there is no plan for what I need :(
<eyJhb> Unless I get this approved
<gchristensen> ah, are you a registered nonprofit anywhere?
<eyJhb> Nope, currently not. And I don't know if it would make sense, because it is a subproject in my company. The real trouble is, that it is part of a security platform, where the challenges for the platform will be at Github. But the newest challenges would need to be private, to not leak the answers (but would be public, after used). So the trouble is, there would be a lot of contributors in private repos,
<eyJhb> and some might be for 1 day, others for a little more...
<eyJhb> So yeah, it is kind of a weird edge case. If I could, I would just make everything public. But that doesn't work well, for active CTFs...
<gchristensen> maybe gitlab would be a better choice
<eyJhb> Considering it, but I like the way Github functions.. But if the decline it, I might have to use Gitlab instead.... :/
<gchristensen> yeah, I think "a subproject inside a company" is going to be a tough sell, even if the use case is novel
<qyliss^work> do they pro-rate org members?
<qyliss^work> can you add people for a single day and pay for that one day?
<eyJhb> gchristensen: yeah... But hoping I can pull a little on the academic part of it, since I am at Aalborg University, and it would be the main place..
<eyJhb> I don't think so, it is pr. user pr. month
<qyliss^work> Lots of things that are /user/month will actually pro-rate
<qyliss^work> I know CodeClimate does, because I get the emails about our work's huge subscription every month
<eyJhb> Might be a option. It just generally wouldn't be that nice, to have to pay for it. The only thing I need is enough money, so that I can quit my student job and still survive...
<eyJhb> Maybe they would take the same deal, as the private individual repos? 3 collaborators on private
arianvp has quit [Quit: WeeChat 2.4]
Jackneill has quit [Ping timeout: 246 seconds]
Jackneill has joined #nixos-chat
<eyJhb> Have anybody played with Docker and where it saves environment variables
<eyJhb> ?
<gchristensen> sure
<eyJhb> When I spin up a container, is there then a safe way, that I can destroy the environment variable at boot? Using `./init.sh` does not work
<eyJhb> E.g. I start a instance - `docker run --rm -it -e "FLAG=test" alpine`, i `unset FLAG`, but to it again, FLAG will of course still be there
<eyJhb> So nay place, that I can remove it? Or maybe override it?
<gchristensen> I'm not really understanding, and the parts I was familiar with is the format of the container image itself
<gchristensen> I don't really know how to use Docker anymore... just how to build their file formats.
<eyJhb> Ahh... Yeah, this goes somewhat beyound that. Currently I have a dockerfile with a `ENV FLAG something`, and I need to be able to unset it again (globally) on the imag when it starts
<andi-> You could probably derive an image that unsets it?
<eyJhb> andi-: I need to use it once the image starts, but then nothing more
<eyJhb> And then clear and remove it afterwards
<andi-> test -e .magic-file || unset VAR ?
<eyJhb> That would only work for the current session, if I attach to it or spawn a new shell it would be back
<eyJhb> Or does it.. Might need more testing. I just thought it would save it some place
<gchristensen> sounds like a better thing to do is make a new image without it set ... :P
<eyJhb> Yeeaahh.. But that would require recompiling everything, to change the flag :p
<andi-> ha, the hours I wasted waiting for docker rebuilds because I flapped an unrelated bit :D
<andi-> *flipped
<eyJhb> ... Having a OpenCV container, I can confirm....
<gchristensen> graphs *clap* not *clap* layers
<eyJhb> But at least I get to waste uni time
<gchristensen> you could use Nix to build your docker containers, and then you'll spend much less time waiting for docker's layers to be happy
<andi-> use the amazing layered docker build from gchristensen ? :)
<eyJhb> Would be stupid to force people to use it :p
<gchristensen> it would?
<eyJhb> Open source project where I would like people to contribute with challenges? Getting them to use Docker in itself is a challenge
<eyJhb> And there are Windows people too.................
<andi-> so we need a Dockerfile parser in Nix so that people with Nix are faster and have the better(tm) builds and the rest of the world waits and drinks coffee?
<eyJhb> ^^^^
<andi-> (says me while waiting for GitLab CI of Debian builds..)
<andi-> (and drinking coffee)
<eyJhb> I am basically just watching my group burn, trying to get some Golang and webcam to work
<eyJhb> I just heard them say nmap, wtf is happening
<andi-> did they say JTAG or DTRACE yet?
<eyJhb> No no, not yet!
<eyJhb> I found the legacy way it worked...
pie_ has quit [Remote host closed the connection]
<eyJhb> Just got the best argument for Windows > Linux. I can use Wifi on Windows... What
<Taneb> That used to be a lot more of a thing a decade ago
<Taneb> ...it was the main reason I didn't stick with Haiku back when I was a hipster nerd teenager
waleee has joined #nixos-chat
endformationage has joined #nixos-chat
pie_ has joined #nixos-chat
<pie_> its kind of annoying that writeshellscriptbin puts things in a bin subdirectory, i think id much more often would have wanted a top level sh file
<pie_> but maybe thats just me
<srhb> pie__: Um. That's sort of the point of the bin, isn't it?
<tilpner> You can use writeScript with runtimeShell
<pie_> oh huh we have a writeshellscriptbin but no writeshellscript
<pie_> i mean i can see the source code of writeshellscriptbin, its pretty simple
<pie_> tilpner, i guess youre right
<pie_> though i dont see why we couldnt have a writeShellScript, we seem to like this style of lib functions anyway :p
<tilpner> We could
<pie_> im not quite sure what the nice way to add it next to writeShellScriptBin would be without duplicating code
<pie_> besides making a helper function - i dont want to add another parameter
<pie_> looks like someone forgot to update the docstring when copy pasting code?
<samueldr> looks like pie_ wants to write a PR fixing this trivial issue :3
<pie_> yeah
<eyJhb> Taneb: but no longer a good reason (I would say)
<pie_> just checking that im not looking at it wrong because i always read the wrong docstring for some reason :P
<pie_> the functions are are so small i think my brain thinks the functions are headers for the docstrings and not the other way around
<Taneb> eyJhb: oh, certainly
<Taneb> ...I need to start writing down a list of Things I Want To Do
<Taneb> I've had a plan to revamp the Agda infrastructure in nixpkgs for almost a year, I think
<pie_> Taneb, if youve got any input or think it would be good, ive been doing some stuff with overlays that turned out pretty nice IMO
<pie_> not agda specific
<pie_> and im wanting to standardize to standardize an interface for sub-package-sets across nixpkgs
<pie_> *only one "to standardize" :p
<Taneb> pie_: I'm not familiar with much of those other than Haskell. The Agda one in particular is tiny, probably less than 10 packages
<Taneb> But Agda has a library management system that we're more or less ignoring
<pie_> didnt know that
<Taneb> It's a few years old
<Taneb> circa 2016
<pie_> not sure this is the most recent example but you can kind of see what im doing here https://github.com/deliciouslytyped/nix-winnix/blob/master/lib/packages.nix
<pie_> its kind of WIP
<Taneb> Can you walk me through the idea?
<pie_> basically i flailed around a bunch trying how to do a python.withPackages style thing, and i still dont have all the architectual ideas down, but then i found lib.makeExtensible and it seems to have covered what i wanted so far
<pie_> the overall approach:
<pie_> i compose several overlays,
<pie_> i call 0_base with pkgs in scope and it adds it to .pkgs, and to its own callPackage's auto scope, so the overlay is otherwise empty and provides general package set infra
<pie_> i put some misc stuff in 1_config and 2_util, its kind of ad-hoc but it seems to work ok
<pie_> and i put the enumeration of packages in 3_packages.nix and then the actual package definitions in 4_packages/
<pie_> (for package sets with larger amounts of packages ive been considering experimenting with automatic enumeration of packages but that might have some drawbacks and i havent worked on it other than writing a really simple implementation)
sir_guy_carleton has joined #nixos-chat
<pie_> (if you have autoenumeration though you can use the same package set infrastructure for everything tho (?))
<pie_> (i mean for 3_packages)
<pie_> and this setup lets you do (rootPackage.extend anotherOverlay).withPackages (p: with p; [ myAnotherPackage ]), which is what i wanted
<pie_> hmm i think this repo doesnt have all the stuff i did
<pie_> but i dont have the other repo up yet
<pie_> i just do something like let packages = import packages; in { agda = packages.agda } // packageSet for convenience
<pie_> so then you get the nice agda.withPackages thing.
<Taneb> I'm not sure I fully understand
<pie_> im not sure it fully makes sense :P
<pie_> ah sorry, more like: let packages = import packages; in { agda = packages.agda } // packages
<Taneb> And it's definitely a different conceptual layer to what I was planning
<Taneb> Not completely but at least largely orthogonal
<pie_> and packages is the composition of the layers from earlier, the packages layer containing a .agda
<pie_> do you think the approach is any good though? i havent asked for much input yet
<Taneb> It feels like it has potential
<pie_> most of the code usually ends up in 1_util
<pie_> and lib/
<pie_> possible drawbacks: also infinite recursion problems are not fun to debug
<Taneb> That they are not
<pie_> but i think you get that with and of this fix based stuff
<pie_> *any of
drakonis has joined #nixos-chat
drakonis_ has quit [Ping timeout: 245 seconds]
<pie_> ok i might be misunderstanding something
<pie_> can i not just make a /nix/store/hash-something.sh instead of a directory?
<gchristensen> you can
<pie_> no wait thats definitely possible
* pie_ pokes around some more
<pie_> gchristensen, thx
<gchristensen> I prefer that whenever possible because "${script}" is certain to be correct in that case, where "${script}/bin/whatever" is not
<pie_> ugh writetextfile is doing something weird
<pie_> mv: cannot move '/build/.attr-0' to '': No such file or directory
<tilpner> pie_: Just leave destination unset
<tilpner> Or did I misunderstand what you're trying to do?
<gchristensen> I don't love using override* to implement the *Bin version, I think it'd be nicer to express it generically and then apply parameters
<gchristensen> ($0.002)
drakonis has quit [Ping timeout: 264 seconds]
<pie_> gchristensen, i didnt like it either
<pie_> gchristensen, but do i like...make another helper function or just do the same thing using writetext but with a different argument
<pie_> tilpner, ill take a look at doing that
<pie_> sounds better
<gchristensen> pie_: sure
<pie_> oh yeah lol thats redundant
<{^_^}> #61052 (by deliciouslytyped, 20 seconds ago, open): trivial-builders: add writeShellScript and minor cleaning
<tilpner> pie_: writeShellScriptBin using weird spaces around the argument list doesn't mean you need to keep it :c
<pie_> didnt notice that, which weird spces
<tilpner> pie_: And now writeShellScriptBin is over-explained, your addition and the Example: comment practically say the same thing
<tilpner> "writeShellScript = name : text :"
<pie_> oh lol
<pie_> meh
<pie_> i only added the "similar to ..." i think? but yeah ok maybe that was unnecessary
<pie_> (dont write code in the github interface kids)
disasm_ has joined #nixos-chat
disasm has quit [Ping timeout: 245 seconds]
Myhlamaeus has joined #nixos-chat
sir_guy_carleton has quit [Quit: WeeChat 2.4]
<pie_> tilpner, is it mergeable or do i need to make another one
* tilpner hasn't reviewed properly
<colemickens> gchristensen: what did you end up with for sway? did you get a systemd --user setup you liked? What about lid-close handling?
<gchristensen> good questions :)
<gchristensen> I start sway by hand
<colemickens> see, I feel like I should be doing something similar with swaybg (now that it's also split out) and redshift
<gchristensen> oh redshift
<colemickens> so how does that work then? is that a --user service too?
<gchristensen> yeah
<gchristensen> the standard nixos modul efor redshift is a user service
* colemickens nods. thanks
<colemickens> I hadn't realized until just now / recently that some of them were implemented as user services.
<colemickens> oooh there we go
<colemickens> nice, thank you!
<gchristensen> yep!
<gchristensen> the login manager is usually responsible for importing those two variables
<colemickens> and lid handling? anything special there? do you manually disalbe the internal display?
<gchristensen> so ... that seems to "just work"?
<colemickens> aha, interesting. I think it used to for me.
<colemickens> And there's another specific output-handling bug I'm hitting. I wonder if there's a weird interaction between them.
<colemickens> Time to dig in. Thanks again, if I'm good I'll try to put some of this in a wiki page later. There are dozens of us! (well, a few at least)
<gchristensen> :P
<gchristensen> on one hand, I'm surprised at how easy this has been to set up. on the other hand, also not exactly
<gchristensen> one thing, also, is I often use sakura when I need to use a X11 terminal for screen share (GDK_BACKEND=x11 sakura) and also this firefox helper: https://gist.github.com/grahamc/d4c9923be6901eca9317baf80849e8e4
<colemickens> hm, maybe a better use of my time would be trying to adapt your settings into a more "managedSway" module or something?
<colemickens> boo hiss, :P, but really I don't find myself launching x11 firefox much these days, or am I misunderstanding the intent of that script?
<gchristensen> I only do it for screen sharing
* colemickens nods
<colemickens> Whoa, WSL2 to run Docker containers natively
<colemickens> along with "Windows Terminal".
<gchristensen> wow, better than macos
<colemickens> I hate how much I love it.
<gchristensen> also, alacritty's master works nicely with wayland -- copy-paste and all :) https://github.com/grahamc/nixos-config/blob/master/packages/alacritty/default.nix
<colemickens> when you say that, you mean "drag over with mouse, ctrl+Shift+C" style works? that's always been there for me in termite at least. Though I'm not a huge fan of termite and its weird TERM + ssh.
<colemickens> I'm actually using alacritty in Windows with the new TTY system pretty effectively. I'll have to give it a shot in Linux again.
<gchristensen> right
<gchristensen> (though, alacritty doesn't do box selection like sakura does, yet)
<gchristensen> (hrm, I should have deleted these 75,000 messages in the "grahamcofborg" mail folder before syncing...)
<pie_> woops
waleee has quit [Quit: WeeChat 2.4]
__monty__ has joined #nixos-chat
pie_ has quit [Ping timeout: 252 seconds]
<colemickens> oh my omg
<colemickens> Workspace and extensions run remote. Local UI becomes a thin client. Containerized dev/build environment (imagine with lorri... :D)
<gchristensen> :o
<colemickens> Or if Theia can combine forces and become a supported web UI, since they've sort of been building the same model, with the same base codebase.
MichaelRaskin has joined #nixos-chat
<colemickens> Oh jeez
<colemickens> they did that too
<colemickens> wow
<infinisil> TIL that you can nagivate through github repo's folder structure with vim key bindings
<eyJhb> If I were to make 200 requests every 5 secounds to a SQLite database which needed to perform 5 deletes and 5 inserts, or something like that. Then.. How bad would it die?
<simpson> eyJhb: How many writes to disk? (40/s?) How many writes can your disk support?
<eyJhb> I am very much in doubt, on what DigitalOceans specs are. But a cheap droplet from them would run it
<sphalerite> from a completely gut-feel estimate, I'd think that that would be perfectly manageable on lower-middle-end consumer hardware nowadays.
<eyJhb> Maybe a db in memory, which would be saved to disk every x secounds? It is important to note, the database would not increase in size, but stay somewhat the same (hence, delete and insert)
<simpson> Ah, sure. They have SSDs, which can be fast.
<eyJhb> I reality, more like "update, and if you do not exist in this request I just got, you get deleted, and if you are new, you will be added"
<eyJhb> Great!
__monty_1 has joined #nixos-chat
disasm| has joined #nixos-chat
__monty__ has quit [Ping timeout: 248 seconds]
disasm_ has quit [Ping timeout: 248 seconds]
hedning_ has quit [Ping timeout: 248 seconds]
Kim has quit [Ping timeout: 248 seconds]
__monty_1 is now known as __monty__
endformationage has quit [Ping timeout: 245 seconds]
Kim has joined #nixos-chat
<MichaelRaskin> gchristensen: to be absolutely fair, when I had a NixOS installation, it wouldn't help me any to find out whether something is included in the default installation.
<gchristensen> yeah, that wasn't really what they were asking
<gchristensen> but I hear that
<gchristensen> also, you read a lot of my tweets for someone who doesn't follow me
<joepie91> eyJhb: main thing to keep in mind is that SQLite is bad at write concurrency
<gchristensen> joepie91: ...tell that to expensify...
<MichaelRaskin> gchristensen: I said that I read your tweets quite often!
<MichaelRaskin> Not following is more about not having a Twitter account
<gchristensen> ah I see :)
<gchristensen> I imagine you can appreciate the vampiric behaviors I was referring to, though
<__monty__> So people who read what you say owe you a follow?
<samueldr> infinisil: do you know about the `t` key shortcut in a github repo? (also works with gitlab)
<samueldr> when in the files listing
<infinisil> Ah yeah I've accidentally pressed it occasionally
<MichaelRaskin> I am kind of scared by the enthusiasm of «let's just add string interpolation to unquoted URLs» to be honest.
<gchristensen> wait what
<pie__> wait what
<MichaelRaskin> Oh, I got some comments on my RFC PR
<MichaelRaskin> I would say that after seeing pushback on some mere builtin proposals, I wouldn't expect the same person to propose such a syntax extension
<MichaelRaskin> But what do I know
<MichaelRaskin> Want a link to the comment?
<gchristensen> yea
<samueldr> that is understandable, if the premise is "urls aren't acting like strings enough, even though they're typed as strings at runtime"
<gchristensen> not sure that is the takeaway I'd like to see
<joepie91> gchristensen: what about expensify? o_O
<MichaelRaskin> Well, samueldr was saying I am breaking the RFC process
<pie__> im jusr thinking tha would feel hella weird :D dont see offhand why it would be /wrong/
<gchristensen> joepie91: the part where their entire thing is stored in sqlite
<joepie91> what
<joepie91> why
<gchristensen> man
<gchristensen> I don't know
<MichaelRaskin> pie___: well, URL syntax is already described wrong in the manual
<gchristensen> https://blog.expensify.com/tag/sqlite/ if you want to step off the deep-end
<joepie91> that uh
* joepie91 bookmarks for later... amusement
<MichaelRaskin> I hope it is at least an SQLite per account?
<gchristensen> hah
<gchristensen> you know the answer to that if you've ever used expensify
<MichaelRaskin> I haven't
<gchristensen> it is so slow that I don't even try logging in unless my expenses are >$100
<MichaelRaskin> Universities usually have different ways of doing things weirdly
<gchristensen> and in that case, it is usually a very very painful afternoon
<MichaelRaskin> Is this effect a part of the value proposition?
<gchristensen> I suspect so
<MichaelRaskin> samueldr was accusing me of breaking RFC process; but maybe I am using it exactly for its purpose?
<gchristensen> oh?
<pie__> wasnt the accusition about getting approved too fast? :P
<samueldr> that was in jest :) MichaelRaskin was complaining about receiving many approvals all at once early
<gchristensen> haha
<pie__> :P
<MichaelRaskin> Well, it stopped, so we _can_ pick Shepherds without an on-record prior opinion
<pie__> as a noob im only against the url stuff because ive never seen a use case where it would make sense to pick a url over a string
<MichaelRaskin> There is no such case
<MichaelRaskin> I mean, it is literally a syntax for string
<pie__> zimbatm"s comment about expecting to pull in a url seems kind of clever, but thats not what happens
<MichaelRaskin> Yes, it would be at least cool
<pie__> also feels kind of sketchy but
<MichaelRaskin> Dunno about the other RFC PR (platform support); multi-axe seems to be a nice idea, but complicates things
<MichaelRaskin> multi-axis
<gchristensen> I need to read that one :/
aszlig has quit [Quit: Kerneling down for reboot NOW.]
<MichaelRaskin> Well, there you have time
<MichaelRaskin> That one will get rewritten a couple more times, that's for sure
aszlig has joined #nixos-chat
evhan has left #nixos-chat [#nixos-chat]
pie_ has joined #nixos-chat
endformationage has joined #nixos-chat
__monty__ has quit [Quit: leaving]
drakonis has joined #nixos-chat
drakonis has quit [Ping timeout: 248 seconds]
boredom101 has joined #nixos-chat
drakonis has joined #nixos-chat
jackdk has joined #nixos-chat
boredom101 has quit [Quit: Page closed]
drakonis_ has joined #nixos-chat
drakonis_ has quit [Remote host closed the connection]
drakonis_ has joined #nixos-chat
drakonis has quit [Ping timeout: 258 seconds]