gchristensen changed the topic of #nixos-chat to: NixOS but much less topical || https://logs.nix.samueldr.com/nixos-chat
<samueldr> welp, the good news is that my tests causing me trouble earlier were irrelevant :/
<joepie91> samueldr: the bad news is the 1.5 hours spent? :P
<samueldr> a learning experience though!
<samueldr> wrote my first "proper" nixos test (even though useless)
<gchristensen> yay!
<samueldr> and also did "irrelevant" stuff, like running it on different nixos releases without the least amount of work
<samueldr> oh, and related issue: https://github.com/NixOS/nixpkgs/issues/46763 (I thought all tests were failing to report segfaults, which they aren't except if finishing too quickly)
<{^_^}> #46763 (by samueldr, 6 minutes ago, open): Installer tests don't show segfaults since the transition to nix 2.0 and nixos-enter
<samueldr> I have a fix for grub1, but tests still fail
<samueldr> (though not blocked, literally where I'm just at)
lassulus_ has joined #nixos-chat
lassulus has quit [Ping timeout: 246 seconds]
lassulus_ is now known as lassulus
jtojnar has quit [Quit: jtojnar]
emily has joined #nixos-chat
<infinisil> emily: I've actually thought of building my own beets like program. It should allow stuff like automatically adding music you might like from mutliple sources, then it plays them to you, you rate them, and from that it decides whether it should add them to your actual library or discard
<infinisil> PLus some more stuff
* emily nods
<infinisil> A really smart ratings system would be nice, thought about that a couple times
<infinisil> It's rare to find somebody to listen to my rambling this late at night lol
<emily> in practice I've just found that streaming services have gotten good enough, and things too obscure to be on streaming services have gotten more accessible (e.g. bandcamp), that extensively maintaining my own music collection ends up not being the path of least resistance, and so mpv suffices for the smaller remaining usecase
<infinisil> I see
<infinisil> emily: Do you happen to watch anime and stuff?
jackdk has joined #nixos-chat
* samueldr grumbles
<samueldr> it feels the work I did is probably not worth the effort :/
<samueldr> (fixing the grub1 build and test)
kisik21 has joined #nixos-chat
matthewbauer has quit [Remote host closed the connection]
matthewbauer has joined #nixos-chat
matthewbauer has quit [Remote host closed the connection]
jackdk has quit [Ping timeout: 252 seconds]
pie_ has quit [Ping timeout: 240 seconds]
<andi-> Good morning nix people :)
<srhb> andi-: o/
<andi-> Time for another week of hamster wheel /o\
<srhb> Hehe. :)
jtojnar has joined #nixos-chat
philipp[m] has joined #nixos-chat
kisik21 has quit [Ping timeout: 250 seconds]
<sphalerite> srhb: got an answer from Hetzner
<sphalerite> "diese Möglichkeit besteht leider nicht, Sie können als alternative die vKVM oder das Rescue System zur Administration des Systems benutzen."
<sphalerite> "This is unfortunately not possible, you can alternatively use the vKVM or rescue system."
<sphalerite> the screenshot of vkvm with the red HTTPS is very encouraging >_>
jtojnar has quit [Ping timeout: 252 seconds]
<srhb> sphalerite: Haha. Well, at least it's encrypted... :P
<sphalerite> srhb: well you can get the same with LARA if you manually change the URL to HTTPS
<sphalerite> srhb: but it doesn't make any difference as far as MitM-resistance is concerned
<srhb> No, indeed.
<sphalerite> well actually it does help against passive MiTM
<sphalerite> but still, it doesn't actually fix the problem
<srhb> Only if you actually check. :P
<sphalerite> only if you actually check what?
<srhb> But meh.. It's a bit sad that they brushed it off so easily
<sphalerite> you should send a request as well ;)
<srhb> Well, say you trust that certificate explicitly despite (probably?) being self signed by them
<srhb> sphalerite: Yeah, good idea
<sphalerite> Any other Hetzner customers in here, I encourage you to do so too :D
<sphalerite> (particularly dedicated server customers — I'm not sure this affects virtual servers)
wirew0rm has joined #nixos-chat
<manveru> the hetzner cloud console uses encrypted websockets at least
<manveru> btw i finally got terraform to deploy nixos to hcloud :)
<sphalerite> hcloud?
<sphalerite> oh hetzner cloud?
<manveru> hetzner cloud
<sphalerite> nice
<manveru> without the magic that borg uses
<manveru> but still need to untaint manually, will work on that later
<sphalerite> untaint?
<manveru> ah, found it
<manveru> it was because of a trailing kexec -e
<manveru> it's still slow as hell, takes over 14 minutes on a CX11, but i think that could be reduced via cachix
<manveru> anw, gonna put it on github if someone wants to take a look :)
<andi-> manveru: code!!! :)
<manveru> need to clean it up a bit ;)
<andi-> sphalerite: to what address do I have to send it?
<andi-> support@hetzner.de?
<sphalerite> andi-: I opened a support request via the robot myself, but up to you, if they take emails there too why not
<andi-> I would add a request for "give me the cert fp for the Lara" at least... That would give you some way to verify the hardware before typing in your root/luks/.. passwords
<sphalerite> andi-: or, better, publish the cert FP on their website with HTTPS
<andi-> or that
<sphalerite> andi-: or, better, get the bloody cert signed xD
<andi-> whatever works for them
kisik21 has joined #nixos-chat
<andi-> Those devices are kinda limited so I accept some crappiniess but I can still demand ;)
<sphalerite> andi-: the UI does actually have a bit for uploading a cert
<andi-> I guess the problem could be that any user of the device could export the certificate (including private key)?
<sphalerite> no, the options are all unavailable to the "kunde" account
<sphalerite> the headings are visible but instead of the UI for viewing/changing them it says something like "you are not authorised to access this setting"
jtojnar has joined #nixos-chat
<sphalerite> Oh no! I want to sign into gitlab.freedesktop.org. They offer google, gitlab.com, github and twitter login. WHICH DO I USE D:
<sphalerite> well, not gitlab.com or twitter, it's a bit generous with the permissions it requests for those. I don't like google. So GitHub it is
lopsided98 has quit [Remote host closed the connection]
lopsided98 has joined #nixos-chat
lopsided98 has quit [Client Quit]
lopsided98 has joined #nixos-chat
<infinisil> Goddamnit those github 'resolve conversation' is annoying
<gchristensen> it is?
<infinisil> Oh wait, I just learned that I can undo those
<rawtaz> hmm, are most people who use nixos haskell folks?
<srhb> rawtaz: No, but there's a big overlap.
bitmapper has joined #nixos-chat
bitmapper has quit [Read error: Connection reset by peer]
ma27 has quit [Quit: WeeChat 2.2]
<sphalerite> so my new chromebook has arrived, and I'm very confused…
<sphalerite> it's labelled C101P rather than C101PA, and seems to have a different keyboard from the actual C101PA
<sphalerite> but it's not shown on asus's website at all
<samueldr> sphalerite: how different?
<sphalerite> samueldr: much bigger gaps between the keys
<sphalerite> in all the photos I can find, the keyboard looks the same as on the c201
<samueldr> google (unhelpfully) gives me results for the c101pa :/
<samueldr> Your search - "c101p" - did not match any image results.
<sphalerite> maybe this was actually a prototype or something..?
<samueldr> that would be odd, but useful if it has the servo headers solderd on
<sphalerite> it does have a british keyboard though
<sphalerite> lol
<samueldr> maybe that's the mains difference
<samueldr> AFAIUI, the servo headers would make it a joy to debug coreboot/libreboot stuff
<samueldr> sphalerite: what's the full model number, the one on the label on the underside (if there is such a label)
<sphalerite> it says Model: C101P Notebook PC
<sphalerite> hm when did the c101pa come out?
<samueldr> android police review of October 9, 2017
<samueldr> sphalerite: no label with barcode like on this one? https://images-na.ssl-images-amazon.com/images/I/71qh5mN9i-L._SL1200_.jpg
<samueldr> (not where the arrow is pointing)
<sphalerite> no, there is a different barcode label though
<sphalerite> hang on
<samueldr> weird! (received a picture, nothing online looks like those labels)
lassulus has quit [Ping timeout: 240 seconds]
<samueldr> though the sticker does look like a proper asus serial number (comparing with my chromebit's)
lassulus has joined #nixos-chat
<gchristensen> maybe I could hire a secretary to read my email and send me a summary
<sphalerite> samueldr: well I've got nix running on it :D
<sphalerite> next step: nixos!
<samueldr> yay!
<samueldr> sphalerite: this site has *some* information about how to remove write protection, if you need to http://www.loper-os.org/?p=2326
<sphalerite> "visually-identical rubbish-LCD-crippled C100P"
<sphalerite> yep https://archive.li/Y0Zq5 seems to be the one I have
<sphalerite> although it's described as minnie there
<sphalerite> mine is bob
<samueldr> :o
<samueldr> any veyron shouldn't be RK3399 AFAIUI
<samueldr> oh, C100P, not C101P
<sphalerite> very weird
<samueldr> so what you linked on archive.li isn't related
<sphalerite> I think it is
<samueldr> C100 vs. C101?
bitmapper has joined #nixos-chat
<sphalerite> oh yeah you're right
<samueldr> :)
<samueldr> the way the author at loper-os phrased it made it look like C100P could have been your confusing C101P
<sphalerite> yeah
<sphalerite> aaaaaah love having a binary cache
<sphalerite> dare I even imagine having a working graphical browser
<sphalerite> well let's get it booting nixos first :')
<gchristensen> let's not fly too close to the sun now, eh sphalerite? :P
<sphalerite> ikr
<sphalerite> (ha, get it, because ikr is "I know, right?" but could also be ikaros)
<gchristensen> haha
<sphalerite> I also didn't realise that this one is even smaller than the c201
* sphalerit uploaded an image: 1537203343875.jpg (80KB) < https://matrix.org/_matrix/media/v1/download/matrix.org/WmVjxEnaAjQEWtcuuVXGjeYR >
* sphalerit uploaded an image: chromebook.jpg (109KB) < https://matrix.org/_matrix/media/v1/download/matrix.org/IrlsnlFwyUgbkgZijlLrrvEw >
<samueldr> it's crooked
<samueldr> :)
<samueldr> oh, wow, gimp 2.10, first time I started gimp since switching to 18.09
<sphalerit> Yeah the sticker is just slightly too small to cover the logo completely if you stick it on straight :(
<samueldr> it's more crooked than you think
<emily> I find it funny how the cheaper Chromebooks have more aggressive Chrome branding than the actual flagship
<gchristensen> emily: haha, like "its a chromebook, promise! :X"
<samueldr> hm, didn't open my screenshot initially, looks like it 's a bit broken :/
<emily> gchristensen: conversely it's kind of non-trivial to tell the Pixelbook is even made by Google...
<gchristensen> :( my internet provider remotely rebooted my modem during a support call, 2 hours in to an upload which was about done.
<andi-> Ouch, that's not nice.. Here the bigger ISPs do the regular works during the night..
<gchristensen> aye
<gchristensen> I spent ages on the phone with them trying to figure out a way to get better upload speeds than 35M. there is no way.
* samueldr looks at 10mbps max upload speed
<gchristensen> they did offer to run fiber for an install fee in the range of six-to-seven digits
<andi-> 100€/m is a good average here...
<srhb> andi-: For fiber?
<andi-> Yes
<andi-> Including ground work
<andi-> Installation fee (if you are an average ISP)
<gchristensen> yeah, that price is in-line
bitmapper has quit [Remote host closed the connection]
<andi-> Well then you have it nice and quiet ;) can only have 2 our of three.
<gchristensen> I'm just not sure how they can offer 940 down and not have any way to offer better than 35 up
<samueldr> cable?
<samueldr> the numbers are suspiciously similar to my cable telco
<gchristensen> yeah
<samueldr> I'm wondering if it's some kind of compromise with DOCSIS where you chop some upload speed to get more download speed
<samueldr> here the numbers look like this (cable) https://stuff.samueldr.com/screenshots/2018/09/20180917143916.png
<gchristensen> I'd love to get 50MBit/s up
dmc has quit [Quit: WeeChat 2.2]
<andi-> It is called "profiles" in DOCSIS iirc.. The physical spectrum is limited and give how much of the cable is shared those people will be affected as well
dmc has joined #nixos-chat
matthewbauer has joined #nixos-chat
pie_ has joined #nixos-chat
<gchristensen> ah
<joepie91> also: ISPs prioritize download speeds because that's what users see, and therefore that is how fast they perceive their connection to be
<joepie91> it's an unfortunate manifestation of the move of the internet towards a consumption model
<gchristensen> as a producer I've been uploading this file for 6 hours now
matthewbauer has quit [Ping timeout: 250 seconds]
sir_guy_carleton has joined #nixos-chat
<andi-> couldn't you produce it elsewhere faster? :-)
<andi-> If I ever have to go away from my internet connection at home I'd probably move all my hardware into some Datacenter and really just do everything via SSH
<gchristensen> in short, no
kisik21 has quit [Ping timeout: 246 seconds]
<sphalerite> well shit, I just almost got run over. Nothing like a close shave with serious injury to shake you up a bit…
<sphalerite> I'm unharmed though so that's good
ma27 has joined #nixos-chat
ma27 has quit [Client Quit]
ma27 has joined #nixos-chat
ma27 has quit [Client Quit]
nckx has quit [Ping timeout: 240 seconds]
nckx has joined #nixos-chat
matthewbauer has joined #nixos-chat
ma27 has joined #nixos-chat
tertl3 has joined #nixos-chat
ma27 has quit [Quit: WeeChat 2.2]
ma27 has joined #nixos-chat
ma27 has quit [Client Quit]
ma27 has joined #nixos-chat
matthewbauer has quit [Ping timeout: 240 seconds]
nckx has quit [Ping timeout: 240 seconds]
nckx has joined #nixos-chat
jackdk has joined #nixos-chat