Home freenode/#xmonad: Logs Calendar

Logs on 2021-02-06 (freenode/#xmonad)

00:06:29 × seschwar quits (~seschwar@unaffiliated/seschwar) (Quit: :wq)
01:01:26 × notis quits (~notis@185.51.134.229) (Ping timeout: 272 seconds)
01:27:21 × wz1000 quits (~wz1000@static.11.113.47.78.clients.your-server.de) (Ping timeout: 246 seconds)
01:40:19 endiruna joins (~endiendir@46.101.187.207)
01:44:12 gazler__ joins (~gazler@195.107.2.81.in-addr.arpa)
01:45:28 × endiruna quits (~endiendir@46.101.187.207) (Ping timeout: 276 seconds)
01:45:42 × gazler_ quits (~gazler@2001:8b0:b165:a8d2:d19:fc83:e0fa:4af3) (Read error: Connection reset by peer)
01:55:51 endiruna joins (~endiendir@46.101.187.207)
01:58:36 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds)
02:05:05 × endiruna quits (~endiendir@46.101.187.207) (Ping timeout: 240 seconds)
02:08:15 rople joins (~rople@2001:8003:d44b:300:ac2a:fb0f:6f96:d286)
03:09:25 × theDon quits (~td@muedsl-82-207-238-211.citykom.de) (Ping timeout: 240 seconds)
03:11:38 theDon joins (~td@94.134.91.40)
03:30:56 endiruna joins (~endiendir@46.101.187.207)
03:34:56 × endiruna quits (~endiendir@46.101.187.207) (Ping timeout: 240 seconds)
03:41:35 endiruna joins (~endiendir@46.101.187.207)
03:46:22 × endiruna quits (~endiendir@46.101.187.207) (Ping timeout: 276 seconds)
03:49:11 endiruna joins (~endiendir@46.101.187.207)
03:55:03 × endiruna quits (~endiendir@46.101.187.207) (Ping timeout: 246 seconds)
03:57:02 endiruna joins (~endiendir@46.101.187.207)
04:01:58 × endiruna quits (~endiendir@46.101.187.207) (Ping timeout: 276 seconds)
04:19:46 endiruna joins (~endiendir@46.101.187.207)
04:26:20 × endiruna quits (~endiendir@46.101.187.207) (Ping timeout: 265 seconds)
04:32:17 endiruna joins (~endiendir@46.101.187.207)
04:50:21 × endiruna quits (~endiendir@46.101.187.207) (Ping timeout: 264 seconds)
05:02:01 endiruna joins (~endiendir@46.101.187.207)
05:07:37 × endiruna quits (~endiendir@46.101.187.207) (Ping timeout: 276 seconds)
05:26:47 MasseR5 joins (~MasseR@51.15.143.128)
05:27:56 evanjs- joins (~evanjs@075-129-098-007.res.spectrum.com)
05:28:08 × evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Ping timeout: 276 seconds)
05:29:04 × MasseR quits (~MasseR@51.15.143.128) (Ping timeout: 276 seconds)
05:29:04 × Natch quits (~Natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 276 seconds)
05:29:05 MasseR5 is now known as MasseR
05:31:33 Natch joins (~Natch@c-b471e255.014-297-73746f25.bbcust.telenor.se)
05:34:41 endiruna joins (~endiendir@46.101.187.207)
05:43:53 × endiruna quits (~endiendir@46.101.187.207) (Ping timeout: 272 seconds)
05:45:15 ericsagn1 joins (~ericsagne@2405:6580:0:5100:6d02:546e:c760:4274)
05:48:38 × ericsagnes quits (~ericsagne@2405:6580:0:5100:2bad:a6b1:9f59:3808) (Ping timeout: 264 seconds)
06:07:10 palo1 joins (~weechat@c-base/crew/palo)
06:10:45 × palo quits (~weechat@c-base/crew/palo) (Ping timeout: 264 seconds)
06:10:45 palo1 is now known as palo
06:18:32 × rople quits (~rople@2001:8003:d44b:300:ac2a:fb0f:6f96:d286) (Ping timeout: 260 seconds)
06:21:49 everythingTaken joins (~everythin@gateway/tor-sasl/everythingtaken)
06:31:46 × everythingTaken quits (~everythin@gateway/tor-sasl/everythingtaken) (Quit: everythingTaken)
07:38:00 × growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in)
07:51:38 × ixian quits (~mgold@terra.bitplane.org) (Ping timeout: 264 seconds)
07:58:43 ixian joins (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
08:01:05 × thunderrd quits (~thunderrd@183.182.115.7) (Remote host closed the connection)
08:25:52 mc47 joins (~yecinem@89.246.239.190)
08:26:29 <mc47> am I the only one who thinks the base config needs some kind of configurable `restartHook`? :/
08:35:03 notis joins (~notis@185.51.134.229)
08:44:56 rople joins (~rople@2001:8003:d44b:300:ac2a:fb0f:6f96:d286)
08:59:18 <Solid> the answer is always "probably not" :p
08:59:27 <Solid> but at least I have never felt the need for something like that
09:00:00 × moyamo[m] quits (moyamomatr@gateway/shell/matrix.org/x-iyrpestqdainfuqv) (Quit: Idle for 30+ days)
09:01:08 <mc47> I've been thinking about the DynamicLog PR, and how to rewrite DynamicBars.. the cleaner interface would be that the `sbCleanupHook` kills the StatusBarConfig its part of, nothing more, nothing less, and that it would go in a restartHook
09:01:46 <mc47> that way, you could use `sbCleanupHook` to individually kill the StatusBarConfig as a reaction to the change in the screen configuration
09:02:08 <mc47> I don't see how that could be possible with the `sbCleanupHook` forced to go into the startupHook :/
09:12:46 wz1000 joins (~wz1000@static.11.113.47.78.clients.your-server.de)
09:19:03 <Solid> I mean you could probably somehow associate status bars to PIDs in the extensible state, no?
09:21:11 <mc47> Not sure
09:21:39 <mc47> I thought about adding another hook to the StatusBarConfig that kills it
09:22:09 <mc47> (close the handle for pipes, kill the pid and remove it from the saved pids for property-based bars) and that could work
09:22:29 <mc47> it seemed kinda ugly though+
09:24:20 <Solid> I feel like you can have a map in the extensible state that matches the `cmd' you give to spawnStatusBarAndRemember to a PID
09:24:44 <Solid> and then cleanupStatusBars could be :: String -> X () instead and look up that bar
09:25:14 <Solid> I think you have that information when you build the record so sbCleanupHook wouldn't need to change
09:25:33 <mc47> I mean yes, for individual status bars it would work
09:25:57 <mc47> uh wait
09:26:56 <Solid> (I'm fighting with (infinity, 1)-categories right now and only gave it a short look, very possible that I missed something)
09:27:19 <Solid> but I think it would play nicely with the semigroup instance even
09:27:22 <mc47> :D good luck
09:27:29 <Solid> :)
09:27:55 <mc47> I guess it might not exactly work with pipes, unless we change how we spawn them
09:28:12 <mc47> anyway I'm just thinking outloud, I'll need to play around with this more
09:33:20 <Liskni_si> This commandline-based killing is exactly what I have in my SpawnManager
09:37:13 <Liskni_si> And for piped xmobars you may need to store the pipe somewhere, like I did in the PR meant to fix Solid's weird config setup that we closed. There was an ioref, so that the spawnPipe could go to startupHook.
09:43:17 mc47 is now thinking with portals
09:43:35 everythingTaken joins (~everythin@gateway/tor-sasl/everythingtaken)
09:44:17 <mc47> IORef could actually fix the problem with pipes
09:45:18 def_jam is now known as eb0t
09:50:42 × everythingTaken quits (~everythin@gateway/tor-sasl/everythingtaken) (Quit: everythingTaken)
09:58:39 × mc47 quits (~yecinem@89.246.239.190) (Quit: Leaving)
09:59:00 mc47 joins (~yecinem@89.246.239.190)
10:00:31 eb0t_ is now known as eblip
10:00:49 <Liskni_si> this is the ioref pr: https://github.com/xmonad/xmonad-contrib/pull/400/files
10:07:21 <mc47> awesome, thanks!
10:10:56 endiruna joins (~endiendir@46.101.187.207)
10:25:25 <Solid> (I like my weird setup btw :>)
10:32:18 × eblip quits (~eblip@unaffiliated/eblip) (Quit: WeeChat 1.6)
10:37:16 eblip joins (~eblip@unaffiliated/eblip)
10:38:53 <Liskni_si> (do you still build your xmonad.hs as bin/xmonad instead of the $1 arg to the build script?)
10:40:53 × eblip quits (~eblip@unaffiliated/eblip) (Client Quit)
10:46:36 eblip joins (~eblip@unaffiliated/eblip)
10:47:47 <Solid> let's just say you would not like the answer :D
10:48:39 <Liskni_si> well as long as it works … :-)
10:49:59 <Solid> and with property-based logging it does now! :)
10:50:36 <Liskni_si> oh right, even the xmobar fix would probably be enough
10:50:42 <Solid> it's still a remnant of when I first installed xmonad, was still very new to haskell, and didn't know anyhting about stack or how to build things with it (not that it's much better now)
10:51:16 <Solid> call it nostalgia (if that's even possible for something that's less than two years old)
10:54:51 seschwar joins (~seschwar@unaffiliated/seschwar)
11:25:33 cyr4x3 joins (~cyr4x3@139.47.119.51)
11:25:54 thunderrd joins (~thunderrd@183.182.115.7)
11:32:24 xaltsc joins (~xaltsc@unaffiliated/xaltsc)
11:34:18 × cyr4x3 quits (~cyr4x3@139.47.119.51) (Quit: WeeChat 1.6)
12:05:28 gazler joins (~gazler@195.107.2.81.in-addr.arpa)
12:06:27 × gazler__ quits (~gazler@195.107.2.81.in-addr.arpa) (Ping timeout: 246 seconds)
12:39:30 × seschwar quits (~seschwar@unaffiliated/seschwar) (Quit: :wq)
12:49:23 seschwar joins (~seschwar@unaffiliated/seschwar)
12:51:03 gazler_ joins (~gazler@2001:8b0:b165:a8d2:d19:fc83:e0fa:4af3)
12:54:19 × gazler quits (~gazler@195.107.2.81.in-addr.arpa) (Ping timeout: 276 seconds)
14:20:33 × rople quits (~rople@2001:8003:d44b:300:ac2a:fb0f:6f96:d286) (Ping timeout: 265 seconds)
14:23:50 rople joins (~rople@116.206.228.203)
14:31:44 everythingTaken joins (~everythin@gateway/tor-sasl/everythingtaken)
14:41:34 × ml| quits (~ml|@unaffiliated/ml/x-3958674) (Ping timeout: 276 seconds)
14:54:43 ml| joins (~ml|@unaffiliated/ml/x-3958674)
15:25:03 geekosaur joins (ae68c070@cpe-174-104-192-112.neo.res.rr.com)
15:29:47 <geekosaur> welp. apparently the haskell foundation has decided to eject us from the haskell wiki
15:30:55 <geekosaur> gwern just blocked a mass delete which included our stuff. anyonein a position to back p our content? (I'm not, will be installing a new machine today and hope to get some badly needed xmonad-testing updates out of it)
15:40:55 <Solid> yikes
15:41:29 <Solid> I can start up wget right now, but I doubt that that's the best way to go about things
15:42:35 <geekosaur> hold on a bit, it sounds like there need to be some restores also :(
15:42:46 <geekosaur> discussion, such as it is, over in #haskell
15:42:54 <geekosaur> I did not need this this weekend
15:43:15 <geekosaur> have a nasty suspicion that my plans for the weekend just got flushed down the toilet
15:55:14 × engblom quits (~foo@unaffiliated/engblom) (Read error: Connection reset by peer)
15:55:45 engblom joins (~foo@62-121-47-42.static.lounea.fi)
16:03:34 <Liskni_si> Are we meant to interpret this as a bad intentioned move?
16:04:03 <Solid> I doubt it
16:04:30 <Solid> I would guess they're just puring all old material so the wiki becomes more maintainable
16:05:09 <Solid> and you can't really argue that the xmonad stuff is horrible outdated at this point---still a little warning would have been nice :)
16:05:17 <Liskni_si> I'm tempted to just call it "another dead link on reddit, whatever, it wasn't getting updated anyway"
16:06:10 <Liskni_si> It's entirely possible there was a warning, to one of the inactive members of core :-D
16:06:18 <Solid> :D
16:07:53 <Solid> I guess we can see this as an incentive to move all the still relevant information somewhere we control (like the xmonad website!)
16:08:56 <geekosaur> there was no warning to anyone and we weren't the only target
16:09:24 <Solid> :/
16:18:28 × amiri quits (~amiri@cpe-76-91-154-9.socal.res.rr.com) (Remote host closed the connection)
16:21:00 amiri joins (~amiri@cpe-76-91-154-9.socal.res.rr.com)
16:43:45 × notis quits (~notis@185.51.134.229) (Ping timeout: 264 seconds)
16:45:36 notis joins (~notis@185.51.134.229)
16:46:54 × everythingTaken quits (~everythin@gateway/tor-sasl/everythingtaken) (Quit: everythingTaken)
16:49:30 <geekosaur> siiigh
16:49:39 <geekosaur> today started off bad and is getting worse
16:50:17 <geekosaur> linux mint installer crashed,, now hangs on reboot. trying (still downloading) ubuntu lts
16:50:40 <geekosaur> the windows install appears to still be functional, at least
16:51:13 <geekosaur> but between this and the morning's "fun", I doubt I actually get around to much this weekend
16:58:15 × mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection)
16:59:40 × wz1000 quits (~wz1000@static.11.113.47.78.clients.your-server.de) (Ping timeout: 272 seconds)
17:04:43 evanjs- is now known as evanjs
17:05:08 <Liskni_si> well take your time, a good linux install lasts for decades, it's important to get it right :-)
17:17:15 <geekosaur> thankfully, ubuntu seems to be booting although it's doing fs checks
17:18:54 <Liskni_si> Last time I had to install something, took me a while to figure out this whole EFI thing. After having used BIOS stuff since I was 10, it was really weird not having a clue what is going on. :-)
17:18:57 <geekosaur> mint may have been doing such a check but it at least normally dislays a status message
17:19:27 <geekosaur> the machine I'm using now came with EFI. I nuked it, mostly because it was early and done really wrong
17:20:06 <geekosaur> they used it to install some crappy lite office suite you could break into
17:20:27 <geekosaur> which went really well with linux, of course (it expected windows 95, went poorly with win7 too)
17:20:49 × engblom quits (~foo@62-121-47-42.static.lounea.fi) (Ping timeout: 276 seconds)
17:20:50 <Liskni_si> the early EFI firmwares were really bad, yeah
17:21:17 engblom joins (~foo@62-121-47-42.static.lounea.fi)
17:23:16 <Solid> r.e. the haskell wiki: thinking about this again, surely wiki's have some kind of export tools available?
17:23:28 <Solid> and one could just ask for a dumb of all deleted stuff
17:23:37 <aldum> I still dont have a clue about EFI
17:31:00 <geekosaur> ubuntu install seems to be working, although I have yet to figure out where it put a/the swap partition; didn't linux remove using swap files?
17:31:24 geekosaur even left 16GB out of the root filesystem that the installer then failed to show as free space :(
17:36:39 <Liskni_si> I'm reading #haskell logs now
17:37:06 <Liskni_si> seems like this whole Haskell Foundation thing isn't going as well as the SPJ youtube talks made me believe
17:37:51 growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net)
17:38:08 <Liskni_si> I'm probably naive, but I genuinely thought it was going to be unicorns and rainbows and the Haskell community finally coming together and stop being dicks to one another
17:38:11 <Liskni_si> oh silly me. :-D
17:42:30 wz1000 joins (~wz1000@static.11.113.47.78.clients.your-server.de)
17:45:45 <geekosaur> pretty much
17:46:02 <geekosaur> this isn't the first time they've popped a surprise on everyone either
17:52:10 <geekosaur> gwern is possibly not the person to be asking about the wiki. maybe Uniaika
17:52:49 <geekosaur> but if we have no other options gh wiki is probably the place. dunno how you export or import from mediawiki though
17:53:28 <Liskni_si> he was the one who quite explicitly said he's against moving small projects out of HaskellWiki, and he also said he's personally watching the xmonad-related pages
17:54:19 <Liskni_si> gh wiki is just a git branch in the repo with markdown pages, so import is possibly easy (if you're willing to install pandoc into your $PATH, lol)
17:54:32 <geekosaur> yes but he has no standing, he's just the one who noticed the "vandalism" and blocked it
17:54:48 <Liskni_si> he used to be part of the core team I think
17:54:56 <Liskni_si> I care about his opinion
17:55:06 <geekosaur> I'm going to have to shut this session down soon so I can move my files to the new machine
17:55:23 <Liskni_si> yeah I'll soon go afk for the rest of today as well
17:55:40 <geekosaur> trying to avoid having to have both machines with me tomorrow
17:55:49 <Liskni_si> I'd love to hear your opinions about what other wiki options we have though
17:56:04 <Liskni_si> (your = plural, all of you folks here)
17:56:56 <Liskni_si> I personally feel like github might be good and easy for new people to contribute to, but I haven't actually seen it in practice so I may be completely mistaken
17:59:16 <Solid> tbh the discussion doesn't look that bad to me; someone just didn't think things completely through (or talk with the community) before doing rather drastic measure
17:59:27 <Solid> and the other person responsible for this seems to be more or less understanding of the issue
17:59:50 <Solid> here's to hoping that we can still have unicorns at some point :)
18:01:00 <Solid> r.e. which wiki: I do think github is the easiest (and this may get people to contribute docs for once), but I'd also be cautious to put all of our eggs into the same proprietary basket
18:02:03 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds)
18:03:02 <geekosaur> we put our source into it
18:03:16 <Liskni_si> the good thing is that its being proprietary isn't that much of an issue as it lives in a branch and gets backed by almost anyone cloning the repo
18:04:02 <Liskni_si> if github becomes unacceptable, it'll invalidate urls to the source, and then maybe also to the wiki, not that big a deal
18:04:08 werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
18:04:14 <Solid> I suppose that's true
18:05:46 <Liskni_si> (on the other hand i've been wrong on this before; in 2015 I was happy to suggest to my team at work to switch to Slack, because it's all nice and cozy for the kids and we oldschool guys can still connect through IRC, and then we suddenly couldn't, yet everyone kept using it)
18:08:01 <aldum> why is everyone scrambling to leave IRC, it just werks (tm)
18:10:05 <geekosaur> because it's not Web(tm)
18:10:19 <geekosaur> web all the things
18:10:41 <Liskni_si> I think the main reason being that you need a shell or a bouncer somewhere to be able to switch between computer and mobile and to see what happened when you were offline
18:11:34 <Liskni_si> which would be a valid argument if it wasn't actually easier to set this all up than it is to register to Slack/Matrix/Discord/whatever
18:12:00 <Liskni_si> (and then there's irccloud)
18:13:03 <aldum> the one legit thing that's lacking is a good mobile client
18:13:24 <aldum> my mobile irc client is ssh
18:14:20 <geekosaur> yeh, I used to use an irc bouncer and ssh forwarding when I cared about mobile access
18:15:10 <Liskni_si> I use weechat and weechat-android and if it weren't for a few bugs around merged buffers, which are there because I'm like the only person on the planet using weechat in this particular way, it'd be absolutely brilliant in every way
18:15:31 <Liskni_si> it can even share photos by uploading them via POST somewhere and pasting the URL
18:15:48 <Liskni_si> as easy as sharing something through the "modern" apps
18:16:55 <Liskni_si> (it does need to keep a TCP connection open so it's not as battery efficient as the modern things, but it also means the latency is observably better)
18:31:07 × geekosaur quits (ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Quit: Connection closed)
19:01:09 × wht quits (~meep@havoc.proulx.com) (Ping timeout: 264 seconds)
19:08:05 × notis quits (~notis@185.51.134.229) (Ping timeout: 240 seconds)
20:14:49 wht joins (~meep@havoc.proulx.com)
20:19:50 × SpiderPig quits (~matt@047-132-233-190.res.spectrum.com) (Ping timeout: 264 seconds)
20:20:56 SpiderPig joins (~matt@047-132-233-190.res.spectrum.com)
20:33:36 × _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection)
20:33:42 × ericsagn1 quits (~ericsagne@2405:6580:0:5100:6d02:546e:c760:4274) (Ping timeout: 260 seconds)
20:34:34 mc47 joins (~yecinem@89.246.239.190)
20:35:00 _ashbreeze_ joins (~mark@64.85.214.234.reverse.socket.net)
20:45:53 ericsagn1 joins (~ericsagne@2405:6580:0:5100:8be8:9a09:6ec5:6271)
21:03:20 eb0t is now known as def_jam
21:06:04 notis joins (~notis@185.51.134.229)
21:10:45 × SpiderPig quits (~matt@047-132-233-190.res.spectrum.com) (Ping timeout: 264 seconds)
21:11:02 SpiderPig joins (~matt@047-132-233-190.res.spectrum.com)
21:35:35 × SpiderPig quits (~matt@047-132-233-190.res.spectrum.com) (Ping timeout: 256 seconds)
21:36:00 SpiderPig joins (~matt@047-132-233-190.res.spectrum.com)
21:56:31 drl joins (~l@2600:1700:8360:3870:89d5:1fbc:7469:347b)
22:00:02 × mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection)
22:15:36 ADG1089__ joins (~aditya@223.235.245.154)
22:18:53 × ADG1089__ quits (~aditya@223.235.245.154) (Remote host closed the connection)
22:19:50 × drl quits (~l@2600:1700:8360:3870:89d5:1fbc:7469:347b) (Quit: Leaving)
22:30:53 × hexo quits (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 268 seconds)
22:31:58 hexo joins (~hexo@gateway/tor-sasl/hexo)
22:42:29 ADG1089__ joins (~aditya@223.235.245.154)
22:47:05 × Chobbes quits (~Chobbes@pool-98-115-239-235.phlapa.fios.verizon.net) (Ping timeout: 265 seconds)
22:48:12 Chobbes joins (~Chobbes@pool-98-115-239-235.phlapa.fios.verizon.net)
22:59:18 × ADG1089__ quits (~aditya@223.235.245.154) (Remote host closed the connection)
23:05:33 ADG1089__ joins (~aditya@223.235.245.154)
23:13:21 × ADG1089__ quits (~aditya@223.235.245.154) (Remote host closed the connection)

All times are in UTC on 2021-02-06.