gchristensen changed the topic of #nixos-chat to: NixOS but much less topical || https://logs.nix.samueldr.com/nixos-chat
supersandro2000 has quit [Disconnected by services]
supersandro2000 has joined #nixos-chat
lovesegfault has joined #nixos-chat
LnL- has joined #nixos-chat
LnL- has joined #nixos-chat
LnL- has quit [Changing host]
LnL has quit [Ping timeout: 256 seconds]
aei has joined #nixos-chat
rajivr has joined #nixos-chat
Emantor has quit [Quit: ZNC - http://znc.in]
Emantor has joined #nixos-chat
<colemickens> do the serokell folks hang out somewhere? I want to know more about their plans to utilize systemd portable services.
Rainy_Day has quit [Remote host closed the connection]
<abathur> unrelated: a bot that searches GH for repos with strongly-worded please-don't-use-this statements and opens issues that mention how much you're enjoying using it for some project in <important sounding lab/facility/data center> and then ask some perplexingly indecipherable question?
das_j has quit [Quit: Bridge terminating on SIGTERM]
das_j has joined #nixos-chat
Dotz0cat_ has joined #nixos-chat
Dotz0cat has quit [Ping timeout: 258 seconds]
LnL has joined #nixos-chat
LnL- has quit [Ping timeout: 276 seconds]
cole-h has joined #nixos-chat
<infinisil> Nice
tomberek has joined #nixos-chat
aei has quit [Ping timeout: 260 seconds]
LnL has quit [Quit: exit 1]
LnL has joined #nixos-chat
maljub01 has quit [Quit: maljub01]
maljub01 has joined #nixos-chat
<infinisil> This album is so dope: https://www.youtube.com/watch?v=ezk_dD2Ia-w
* cole-h checks warily for dQw
<LinuxHackerman> I remember back in the day when it was oHg
<LinuxHackerman> Am I right in believing that linux handles files becoming unavailable without warning pretty poorly (i.e. processes hang forever while waiting for IO that will never complete, even if it can be determined that the IO definitely won't complete)?
<LinuxHackerman> Can anyone ELI5 why?
<DigitalKiwi> is that not the halting problem
<sphalerite> no
<sphalerite> it's a question of IO
<sphalerite> like if a file has ceased to exist due to a filesystem rollback, that file is not coming back
<DigitalKiwi> maybe it is? ;P
<sphalerite> sure, you might end up with a file that has the same name and even the same contents. But it's not the same file
<DigitalKiwi> what is a file if not its name and contents
waleee-cl has quit [Quit: Connection closed for inactivity]
<DigitalKiwi> for that matter even the name isn't really that important
<sphalerite> echo "hello" | tee a b
<sphalerite> would you say that after this, a and b are the same file?
<DigitalKiwi> kiwi@mvp-nixos ~ []$ diff <(echo "i'm a file *wink*") <(echo "i'm a file *wink*")
<DigitalKiwi> kiwi@mvp-nixos ~ []$
<sphalerite> right, but diff compares the contents of files.
<DigitalKiwi> 07:00 sphalerite: would you say that after this, a and b are the same file?
<sphalerite> And I'm talking about regular files here, not pipes. Regular files are mutable objects, and even if two files have the same contents that doesn't mean they're the same file.
<sphalerite> Since mutating one doesn't affect the other.
<DigitalKiwi> yes (zfs dedup)
<sphalerite> zfs dedup is an optimisation, not something that changes the semantics of files.
<DigitalKiwi> two files are the same until they are different and then you have two files
<sphalerite> And I'm not really here for a philosophical discussion but a practical one
<sphalerite> for the purpose of my question, the file is what the process that has it open has a handle on
<sphalerite> and after a rollback, that handle will never become valid again
<DigitalKiwi> whether or not that matters depends on what the program is doing though
<sphalerite> It matters as soon as the program tries to read from it
<DigitalKiwi> if you're network goes away and your nfs disconnects when it comes back it's the same nfs
<sphalerite> and I think it's kind of awful that what happens then is that the process hangs in an unkillable state
<sphalerite> Right, nfs is a different story
<siraben> Wow, so gaming on Linux really is a thing now? https://boilingsteam.com/7000-windows-games-working-on-linux-with-proton/
<DigitalKiwi> i'm not disagreeing that it is not handled poorly btw but i'm not sure that it could be handled "better" because what is better is entirely context dependent
<sphalerite> I'm pretty sure it could be handled better? I/O errors for the ZFS rollback, _some_ way to tell the kernel "yeah that nfs isn't coming back, unhang the process."
<sphalerite> I don't like that the only way to "fix" some of these things is a reboot
<DigitalKiwi> just like how my computer is now 10x slower because of mitigations to fix exploits that are a problem if you're running vms on untrusted hardware at amazon but i am not amazon
cole-h has quit [Ping timeout: 245 seconds]
<sphalerite> Those can be disabled, no?
<DigitalKiwi> i should find out how if they can lol because i have had several hundreds of lockups in the past couple of months lol
<DigitalKiwi> and i phrased that poorly i don't mean that things can't be improved at all just it's hard problem to solve especially in a generic way
<sphalerite> DigitalKiwi: boot.kernelParams = ["mitigations=off"]; will disable them, but keep in mind that some of the mitigated vulnerabilities can be exploited via javascript running in your browser.
Ashy has joined #nixos-chat
Ashy has left #nixos-chat ["WeeChat 3.0"]
lucus16 has quit [Quit: WeeChat 3.0]
spacekookie has quit [Quit: **aggressive swooshing**]
spacekookie has joined #nixos-chat
__monty__ has joined #nixos-chat
cransom has quit [Quit: WeeChat 2.9]
cransom has joined #nixos-chat
j has joined #nixos-chat
j has quit [Quit: K-Lined]
j has joined #nixos-chat
jess has quit [Quit: K-Lined]
supersandro2000 has quit [Quit: The Lounge - https://thelounge.chat]
supersandro2000 has joined #nixos-chat
cole-h has joined #nixos-chat
<patagonicus> Hmm. I have an old GitLab install on Docker and I need to figure out how to upgrade it. I also want to move it out of Docker into NixOS. I feel like setting up a VM on an old version of NixOS might actually the best way - move it out first, then upgrade using NixOS.
<patagonicus> Extra fun bit: it's using MySQL and I have to migrate it to Postgresql because GitLab dropped support for MySQL.
<patagonicus> Extra extra fun: GitLab fails to make backups. :/
nckx is now known as jorts
cole-h has quit [Ping timeout: 245 seconds]
aei has joined #nixos-chat
omnd has quit [Ping timeout: 265 seconds]
waleee-cl has joined #nixos-chat
jorts is now known as nckx
rajivr has quit [Quit: Connection closed for inactivity]
sterni has quit [Ping timeout: 272 seconds]
sterni has joined #nixos-chat
j is now known as jess
<__monty__> Hmm, I would like to get the date of the start of the week. `date -d 'last monday'` gets close but is wrong every monday. Any way to specify "last monday before tomorrow?"
<__monty__> Ah, date -d 'last sunday + 1 day'` seems to do the trick.
<gchristensen> date -d @$(($(date '+%s') - $(($(($(date -d 'tomorrow' +'%s') - $(date -d 'last sunday' +'%s'))) % 604800)) + 86400))
<gchristensen> s/sunday/monday
<gchristensen> much nicer, __monty__
<samueldr> abraham, entering, doing a 180° donning his cap back and leaving
<gchristensen> hahahaha
<__monty__> gchristensen: o.O
<__monty__> Looks like you were trying to do "last monday from tomorrow?" What are these magic numbers?
<samueldr> __monty__: do those english dates work when the locale isn't english (or C)?
<__monty__> I'm kinda feeling like my shell-fu is inadequate. What is @$? I keep losing track of the parens too.
<samueldr> apparently so
<__monty__> samueldr: I'm not sure. The man page does mention you need to use C locale output if you want to feed it back into date.
<samueldr> @$ does nothing, it's the string "@" then $(())
<samueldr> $(()) does maths
<__monty__> Ah
<samueldr> so it's using the @ syntax of date, which uses a number
<__monty__> BSD date doesn't have similar functionality, does it?
<abathur> anyone know if @Pamplemousse
<abathur> /
<abathur> gah
<abathur> if @Pamplemousse hangs out in IRC? :)
Hurttila has joined #nixos-chat
<supersandro2000> github why does https://api.github.com/repos/warner/magic-wormhole-mailbox-server/tags redirect to the id of the repo!?
<pie_> iscsi does not look intuitive...
<samueldr> the i in iscsi stands for intuitive
<abathur> <3 samueldr
<{^_^}> samueldr's karma got increased to 326
<pie_> oof
<f0x> hmm, morph to localhost did not have the best start lol, it killed network
<f0x> ah right, switching to usePredictableInterfaceNames = false and thus only having dhcp for eth0, not the current device
<f0x> and, all good now :)
<joepie91> ah yes, "predictable" interface names
<f0x> now i have way more predictable interface names :D
genevino has quit [Quit: Great minds discuss ideas. Average minds discuss events. Small minds discuss people.]
<colemickens> kind of random, I recognized the avatar for the github account used to generate the archive link of the "IDEA vs VSCode" HN post.
<colemickens> Also random, I have really bad luck with USB in Linux, generally, and especially on this XPS 13 9370.
<colemickens> I've been playing with a Ledger Nano S and it just does not want to cooperate.
Hurttila has quit [Ping timeout: 240 seconds]
<samueldr> IIRC there were issues with some XPS model ranges and USB on one of side
<samueldr> which I think were fixed in firmware upgrades?
<samueldr> might not be relevant
aaronjanse has quit [Ping timeout: 265 seconds]
aaronjanse has joined #nixos-chat
slack1256 has joined #nixos-chat
<colemickens> it is a problematic model but that's not the issue here ( I don't use that plug hole anyway)
<colemickens> I've got something weird looking here though:
<colemickens> Bus 003 Device 021: ID 2c97:1011 Ledger Cable Matters USB-C 8K Video Adapter
<colemickens> It seems like something is mushing the names of two of my usb devices together?
<samueldr> wat
<samueldr> run it through less, it will show control characters
<colemickens> that was already through less actually
<samueldr> in case something fudgey is happening
<samueldr> oh
<samueldr> journal/dmesg?
<colemickens> lsbusb | rg Ledger | less => Bus 003 Device 021: ID 2c97:1011 Ledger Cable Matters USB-C 8K Video Adapter
<colemickens> I mean, it looks normal from monitoring udev and dmesg...
<samueldr> colemickens: how does it look under /sys/bus/usb/devices/ ?
<samueldr> (not sure what to look for though)
<colemickens> wtf'
<colemickens> those Mfr/Product/SerialNumber look questionable.
<colemickens> Alright, it's time to remove this DP adapter and see what happens...
<colemickens> with the DP adapter removed, the device name has returned to normal.
<colemickens> I feel like I'm being dramatic or something but I can't help feel like there might be some sort of insidious bug I just ran across
<samueldr> oh, don't worry
<samueldr> it might be on any of the parts in the path
<colemickens> :)
<samueldr> (yes worry)
<samueldr> especially since, IIRC for thunderbolt there is literally two implementations, both from the same vendor
<samueldr> and, memory is fuzzy about the details, it's not possible to ship thunderbolt from another vendor becaus of... ????
<colemickens> lol, after a reboot: Bus 003 Device 013: ID 2c97:1015 Ledger USB 2.0 Hub
<colemickens> time to try a different chinese usb3 hub
<colemickens> but the DP port wasn't plugged into the hub, making me think the bug is "further up the chain"
<colemickens> but who knows it could just be the trigger. lord what a nightmare.
<colemickens> next laptop will have usb-a ports
<colemickens> (can't believe I became one of those guys :P)
<samueldr> I'm actually quite concerned about usb and extensions from type-c
<samueldr> things seem bad all around :/
<samueldr> especially thunderbolt is making me squirm
<samueldr> I'm actually taking in consideration whether a computer supports thunderbolt or not when looking
<samueldr> because... oof...
<colemickens> lmao, different hub, linux actually loops on setting them up and tearing them down now.
<colemickens> lots of attempt power cycle, etc. still cycling....
<samueldr> even standard usb A with usb 3 makes me worry sometimes
<samueldr> I have a setup with a specific device which ureliably makes the whole usb stack keel over
<samueldr> the usb stack on the host
<colemickens> then, we get this pcieport BAR failures and then USB basically stops working until I reboot. woohoo I've achieved usb nirvana again. definitely nothing wrong here.
<colemickens> maybe I could avoid USB by leaning on BT, that sounds fool proof, right
<samueldr> fool poof
cole-h has joined #nixos-chat
<ldlework> I got a new highscore in my own game (that I packaged with Nix) but it couldn't save the score because the highscore file is in the store! http://logos.ldlework.com/caps/2021-03-06-23-06-49.mp4
<ldlework> XD
<__monty__> samueldr: Does USB3 have DMA things too?
<eyJhb> Wait
<samueldr> AFAIK no
<samueldr> but usb 3 "is not a thing"
<samueldr> as usb 2 isn't either
<samueldr> because it would make too much sense
<samueldr> but, to actually answer your question, what is generally accepted as usb 3, no
sorear has quit [Ping timeout: 240 seconds]
Guest88372_ has quit [Ping timeout: 258 seconds]
<samueldr> IIRC the naming also folds in "high speed, full speed and low speed", what are usually referred to as "2.0", "1.1", and "1.0" (order may not be right)
<samueldr> usb 4, though, has DMA because USB 4 is "SuperSpeed+ and Thunderbolt 3"
Guest88372_ has joined #nixos-chat
<samueldr> but optionally
sorear has joined #nixos-chat
<__monty__> So the bit you don't like about USB3 is it's not clear what USB3 even means?
<samueldr> that's not "the" bit, it's part of the whole mess :)
<samueldr> so yeah, usb4, may contain thunderbolt 3
<samueldr> also the fact that they officially rename the existing names
<samueldr> was it so hard to do nothing?
<__monty__> It's the XKCD about standards but with a single sprawling standard.
<__monty__> At least it's not a "Living Standard" though, amirite
<samueldr> might as well be
<samueldr> given how things are always out of spec :)
<__monty__> Thanks for refreshing my nightmare material ; )
__monty__ has quit [Quit: leaving]
<samueldr> is your cable e-marked?
hexa- has quit [Quit: WeeChat 2.9]
hexa- has joined #nixos-chat