gchristensen changed the topic of #nixos-chat to: NixOS but much less topical || https://logs.nix.samueldr.com/nixos-chat
<elvishjerricco> `qemu-vm.nix`: `postMountCommands = "some mount commands."`
<elvishjerricco> facepalms
pie__ has joined #nixos-chat
pie___ has quit [Remote host closed the connection]
drakonis has joined #nixos-chat
jackdk has quit [Remote host closed the connection]
jackdk has joined #nixos-chat
iqubic has joined #nixos-chat
ottidmes has quit [Ping timeout: 244 seconds]
pie___ has joined #nixos-chat
pie__ has quit [Ping timeout: 245 seconds]
<elvishjerricco> Got my corroded CPU cooler replaced today. Back to building pkgs.linuxPackages.kernel in 8min, and pkgs.llvm in 6min.
<dtz> haha \o/
<infinisil> Lol, I review a PR where somebody wrote `enableMininal`, I said "should be Minimal". They just addressed my comments, `enableMininal` got changed to `Mininal` lol
<clever> lol
<clever> infinisil: i was helping a friend with his fedora machine, and noticed a msg about this project, every time he ssh'd in: https://cockpit-project.org/running
<clever> infinisil: i wonder how hard it would be to run on nixos, and what features would still be of use?
endformationage has quit [Quit: WeeChat 2.3]
iqubic has quit [Ping timeout: 268 seconds]
<jD91mZM2> joepie91: Basically, a Token is just a keyword or operator and stuff like that. NodeType::Token(Token::Let) is therefore the actual "let" in the source. NodeType::LetIn is the actual let..in..body expression, and includes all the bindings and the body. It includes the let token so you can obtain span info and all that. It also doesn't match the weird let..{} special syntax.
drakonis has quit [Quit: WeeChat 2.3]
iqubic has joined #nixos-chat
jackdk has quit [Ping timeout: 272 seconds]
<jD91mZM2> The idea about this whitespace-preserving parser isn't so much building an AST as it is coloring the source with the AST. A token in this metaphore is the leaf, the word, the string, whatever. The rest are grouping tokens together, highlighting entire expressions
<jD91mZM2> nix-explorer demonstrates this fairly well: https://gitlab.com/jD91mZM2/nix-explorer. I strongly recommend trying it
<jD91mZM2> (CC ottidmes)
<etu> sphalerite: Baaw, I merged a PR before the branch was made on github. But it didn't end up in stable :D
<sphalerite> etu: aww
__monty__ has joined #nixos-chat
johanot has joined #nixos-chat
jasongrossman has joined #nixos-chat
jD91mZM2 has quit [Ping timeout: 245 seconds]
gchristensen has quit [Ping timeout: 245 seconds]
gchristensen has joined #nixos-chat
Taneb has joined #nixos-chat
sphalerite has quit [Ping timeout: 252 seconds]
clever has quit [Ping timeout: 268 seconds]
hedning has joined #nixos-chat
sphalerite has joined #nixos-chat
jD91mZM2 has joined #nixos-chat
ivan_ has joined #nixos-chat
ivan has quit [Disconnected by services]
ivan_ is now known as ivan
aszlig_ has joined #nixos-chat
cransom has quit [Ping timeout: 246 seconds]
lassulus has quit [Ping timeout: 246 seconds]
harrow has quit [Ping timeout: 246 seconds]
Arahael has quit [Ping timeout: 255 seconds]
ekleog has quit [Ping timeout: 255 seconds]
aszlig has quit [Ping timeout: 255 seconds]
ekleog_ has joined #nixos-chat
cransom has joined #nixos-chat
Arahael has joined #nixos-chat
lassulus has joined #nixos-chat
ottidmes has joined #nixos-chat
johanot has quit [Quit: WeeChat 2.2]
<gchristensen> good grief I need a new terminal emulator
<gchristensen> sakura segfaults constantly
<ldlework> maybe you need an old terminal emulator
<gchristensen> ^
<gchristensen> I certainly need a _different_ one :)
<gchristensen> one with reflow-on-resize
<gchristensen> that
<ldlework> Ah well I'd recommend urxvt but it doesn't support color emoji and who can live without that
<gchristensen> well, my current terminal emulator displays emojis about four times too big, so I think I can suffer through no color
<jasongrossman> I like Alacritty for the rather superficial reason that it has good defaults.
<gchristensen> does urxvt have insane copy-paste behavior?
<ldlework> Is the terminal emulator responsible for copy-paste? I just run autocutsel.
<gchristensen> jasongrossman: hmm something about alacritty was a killer for me... I don't remember. I don't want to use tmux/screen
<ldlework> And literally never think about linux clipboard quirks ever again.
<gchristensen> xterm, iirc, has insane copy-paste behavior
<jasongrossman> Alacritty has bad scrollback control. Maybe that was your problem.
<ldlework> urxvt is configured via xresources which can be pretty confusing but this is nix so once it's setup you may never have to think about this again
<ldlework> It works with ranger previews too so that's nice.
<ldlework> Uh, not sure why it says "Network Manager Applet" ignore that, XP
<__monty__> Check out terminology, kitty or st.
* etu mostly use stupidterm, it's quite okay :p
iqubic has left #nixos-chat ["ERC (IRC client for Emacs 26.1)"]
endformationage has joined #nixos-chat
<andi-> gchristensen: considered using tmux (which does reflowing just fine) with a terminal that does not-crashing just fine? :)
* samueldr wonders how one proves not-crashing
__monty__ has quit [Quit: leaving]
<sphalerite> andi-: allow me to one-up that — tmux with a terminal that does crashing pretty well
clever has joined #nixos-chat
endformationage has quit [Ping timeout: 258 seconds]
<samueldr> usb 3.2 does to 3.1 what 3.1 did to 3.0...
<samueldr> this is going be even more confusing for everyone
<gchristensen> great.
<gchristensen> 2x2, can't wait for 4x4 and then USB Hemi
<samueldr> 3.3 gen 3 episode 3 when?
<andi-> next version will be 42x42 SuperSuperSpeed Gen3.3 RevA (not compatible with USB 3.1 but 3.0 and 3.2 and 3.2 Gen2)
drakonis has joined #nixos-chat
<cransom> which standard will let me not have to rotate the plug 3 times before getting it inserted?
<gchristensen> usb-c for sure, but hopefully you don't need better than USB 2.0, because it might be
<samueldr> usb-c is the connector, not the protocol :)
<gchristensen> a standard connector though, right? :)
<samueldr> yeah
<samueldr> (complementing the information)
<gchristensen> :)
<samueldr> so on usb-c you can have usb 2, 3.2 (any of 'em)
<samueldr> and alternate modes for DP, HDMI, thunderbolt, PCIe, probably others
<gchristensen> USB3.2 Gen1? (isn't that just USB1?)
<samueldr> all that without clear labelling
<samueldr> usb 3.2 gen1 is 3.1 gen1, which is 3.0
lejonet has quit [Ping timeout: 245 seconds]
lejonet has joined #nixos-chat
drakonis_ has joined #nixos-chat
endformationage has joined #nixos-chat
drakonis has quit [Ping timeout: 250 seconds]
ldlework has quit [Quit: co'o ro do]
ldlework has joined #nixos-chat
ldlework has quit [Quit: co'o ro do]
ldlework has joined #nixos-chat
cransom has quit [Ping timeout: 255 seconds]
lejonet has quit [Ping timeout: 255 seconds]
cransom has joined #nixos-chat
lejonet has joined #nixos-chat
johanot has joined #nixos-chat
<sphalerite> samueldr: isn't thunderbolt = PCIe?
<samueldr> AFAIUI not directly
<sphalerite> samueldr: also you forgot PD
<samueldr> *another* separate standard :D
<sphalerite> oh nice
<samueldr> which is neither directly linked to the connector or the usb protocol
<sphalerite> these hardware people…
drakonis has joined #nixos-chat
drakonis has quit [Read error: Connection reset by peer]
drakonis has joined #nixos-chat
drakonis_ has quit [Ping timeout: 268 seconds]
lassulus has quit [Quit: WeeChat 2.2]
<sphalerite> oh yeah, there's also google's "SuzyQ" mode although that's completely out-of-spec AFAIK
<sphalerite> e.g. requiring you to plug in the cable the right way round. Of course.
<samueldr> I'm curious if "the right way around" is actually ouf of spec
lassulus_ has joined #nixos-chat
<samueldr> >> optional orientation detection via the CC1 and CC2 is done via [...]
<samueldr> I'm curious now if SuzyQ is that or another thing
lassulus_ is now known as lassulus
<samueldr> oh hey, I don't remember the SuzyQable being a thing in the past https://www.chromium.org/chromium-os/ccd
drakonis has quit [Read error: Connection reset by peer]
drakonis has joined #nixos-chat
<samueldr> date_published"2018-07-12 15:03:32.349598-06"
<sphalerite> yeah I bought one in October
<samueldr> and I like to now see the confirmation that SuzyQ should work on *all* chromeos devices
<samueldr> it was something that made be wary of getting a device, since I want to unbrick it easily since I want to do things to it that might brick it
<sphalerite> all chromeos devices recent enough to support it ;)
<samueldr> yes, I should have said it that way
<samueldr> >> All ChromeOS devices moving forwards will support this cable, starting with the Acer C101 and Pixelbook.
drakonis_ has joined #nixos-chat
<sphalerite> wooo acer c101
drakonis has quit [Ping timeout: 258 seconds]
drakonis_ has quit [Read error: Connection reset by peer]
drakonis_ has joined #nixos-chat
drakonis_ has quit [Read error: Connection reset by peer]
drakonis_ has joined #nixos-chat
drakonis_ has quit [Read error: Connection reset by peer]
drakonis_ has joined #nixos-chat
<infinisil> Oh no, my obsession with minecraft minecart redstone systems has started again!
<lassulus> ohoh
<lassulus> is it minecraft time again? :D
<infinisil> I seriously have the coolest minecart system design now though, I swear
<infinisil> It sure is for me, I can't stop now!
<sphalerite> lol
<lassulus> every 3-4 years I have like a intense 3-4week minecraft phase
<sphalerite> do we have a #nixos-chat minecraft server yet? :p
<lassulus> ooh nixos minecraft
<lassulus> deploy your servers from minecraft redstone
<lassulus> build your redstone circuits reproducible with nix
<infinisil> :P
* sphalerite considers whether to put his minecraft server on minecraft.nixos.tech
<infinisil> This minecart system I'm developing right now allows you to go from an arbitrary starting point to the destination you choose automatically on a pretty direct way. The best thing is that it's 100% extensible, you can have an arbitrary number of stations, all addressable
<lassulus> maybe we can have redstone as a crosscompiling target?
<infinisil> Also a really good thing is that you don't ever need to adjust routing tables in any way. All the nodes/routers you put around the world are one-time setup.
<infinisil> (in comparison, my previous minecart network system required you to update a part of the routing tables every time you add a station, and it wasn't very extensible)
<lassulus> sounds interesting
<infinisil> The only disadvantage is that the router part isn't really all that small, which shouldn't be all surprising I guess, considering how powerful it is, but the bigger they are, the more annoying it is to deploy them all around the world
<gchristensen> lassulus: omg
<lassulus> ooooh
<lassulus> very interesting :D
<tilpner> So, who chose the Loris, and is there an official logo of that yet? :o
<samueldr> tilpner: that's for september, slow down!
<samueldr> :)
<tilpner> And yet the choice was made already!
<tilpner> I'm just curious how the process looked like
<samueldr> at release time, the next animal is chosen
<tilpner> "List all animal species that start with k, then sort by cutest?"
<tilpner> Or L, here
<samueldr> past august I chose, and since unstable needs to be incremented
<samueldr> it needs to be chosen at the moment it forks
<samueldr> "needs"
<samueldr> it's at the manager's discretion entirely
drakonis has joined #nixos-chat
<tilpner> Well, good choice(s) :)
<cransom> i was waiting for a joker to say 'kat'
drakonis_ has quit [Ping timeout: 244 seconds]
<gchristensen> sphalerite: did you pick Loris?
<samueldr> (I sure hope so, because I didnt')
<etu> Lori's are cute :)
drakonis_ has joined #nixos-chat
drakonis has quit [Ping timeout: 250 seconds]
drakonis has joined #nixos-chat
drakonis_ has quit [Ping timeout: 264 seconds]
drakonis has quit [Quit: WeeChat 2.3]
johanot has quit [Quit: WeeChat 2.2]
jackdk has joined #nixos-chat
drakonis has joined #nixos-chat
drakonis has quit [Client Quit]
drakonis has joined #nixos-chat
__monty__ has joined #nixos-chat