Logs on 2021-09-20 (liberachat/#xmonad)
| 00:46:39 | × | solomon quits (~quassel@cpe-76-168-7-139.socal.res.rr.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 00:49:57 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 00:49:57 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 00:50:00 | allbery_b | is now known as geekosaur |
| 00:55:21 | → | solomon joins (~quassel@cpe-76-168-7-139.socal.res.rr.com) |
| 01:08:01 | → | solomon_ joins (~quassel@cpe-76-168-7-139.socal.res.rr.com) |
| 01:08:01 | × | solomon quits (~quassel@cpe-76-168-7-139.socal.res.rr.com) (Read error: Connection reset by peer) |
| 01:10:06 | × | solomon_ quits (~quassel@cpe-76-168-7-139.socal.res.rr.com) (Remote host closed the connection) |
| 01:10:28 | → | solomon joins (~quassel@cpe-76-168-7-139.socal.res.rr.com) |
| 01:32:51 | × | solomon quits (~quassel@cpe-76-168-7-139.socal.res.rr.com) (Remote host closed the connection) |
| 01:33:15 | → | solomon joins (~quassel@cpe-76-168-7-139.socal.res.rr.com) |
| 01:38:19 | × | solomon quits (~quassel@cpe-76-168-7-139.socal.res.rr.com) (Remote host closed the connection) |
| 01:44:18 | → | solomon joins (~quassel@cpe-76-168-7-139.socal.res.rr.com) |
| 01:49:15 | × | solomon quits (~quassel@cpe-76-168-7-139.socal.res.rr.com) (Remote host closed the connection) |
| 02:04:14 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 260 seconds) |
| 02:17:58 | × | td_ quits (~td@muedsl-82-207-238-223.citykom.de) (Ping timeout: 252 seconds) |
| 02:24:01 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 02:34:50 | → | td_ joins (~td@muedsl-82-207-238-087.citykom.de) |
| 04:12:03 | → | solomon joins (~quassel@cpe-76-168-7-139.socal.res.rr.com) |
| 04:29:57 | × | AlejandroHernand quits (~blazingsk@2001:470:69fc:105::eee1) (*.net *.split) |
| 04:29:57 | × | Drishal[m] quits (~drishalma@2001:470:69fc:105::a36) (*.net *.split) |
| 04:29:57 | × | Solid quits (~slot@xmonad/slotThe) (*.net *.split) |
| 04:29:57 | × | jakub[m]1 quits (~jakubfami@2001:470:69fc:105::a43) (*.net *.split) |
| 04:29:58 | × | liskin[m] quits (~liskinmat@2001:470:69fc:105::768) (*.net *.split) |
| 04:29:58 | × | MatrixTravelerbo quits (~voyagert2@2001:470:69fc:105::22) (*.net *.split) |
| 04:29:58 | × | xacktm quits (xacktm@user/xacktm) (*.net *.split) |
| 04:30:45 | → | Solid joins (~slot@xmonad/slotThe) |
| 04:31:36 | → | xacktm joins (xacktm@user/xacktm) |
| 04:33:40 | → | jakub[m]1 joins (~jakubfami@2001:470:69fc:105::a43) |
| 04:35:30 | → | Drishal[m] joins (~drishalma@2001:470:69fc:105::a36) |
| 04:36:29 | → | liskin[m] joins (~liskinmat@2001:470:69fc:105::768) |
| 04:38:48 | → | AlejandroHernand joins (~blazingsk@2001:470:69fc:105::eee1) |
| 04:41:18 | → | MatrixTravelerbo joins (~voyagert2@2001:470:69fc:105::22) |
| 04:41:38 | × | coldpress quits (~coldpress@128.9.105.34.bc.googleusercontent.com) (*.net *.split) |
| 04:41:38 | × | pl quits (sid98063@id-98063.helmsley.irccloud.com) (*.net *.split) |
| 04:41:38 | × | grvxs[m] quits (~grvxsmatr@2001:470:69fc:105::cf13) (*.net *.split) |
| 04:41:38 | × | jakefromstatefar quits (~jakefroms@2001:470:69fc:105::15ef) (*.net *.split) |
| 04:41:38 | × | HaiderMirza[m] quits (~haidermir@2001:470:69fc:105::e7ba) (*.net *.split) |
| 04:41:38 | × | craige[m] quits (~craigemcw@2001:470:69fc:105::35f1) (*.net *.split) |
| 04:41:38 | × | jidra[m] quits (~jidramatr@2001:470:69fc:105::ceaa) (*.net *.split) |
| 04:41:39 | × | nihilipster[m] quits (~nihilipst@2001:470:69fc:105::720) (*.net *.split) |
| 04:41:39 | × | bsima quits (~bsima@simatime.com) (*.net *.split) |
| 04:42:14 | → | bsima joins (~bsima@simatime.com) |
| 04:42:34 | → | pl joins (sid98063@2a03:5180:f:1::1:7f0f) |
| 04:43:21 | → | grvxs[m] joins (~grvxsmatr@2001:470:69fc:105::cf13) |
| 04:45:10 | → | jidra[m] joins (~jidramatr@2001:470:69fc:105::ceaa) |
| 04:51:05 | → | nihilipster[m] joins (~nihilipst@2001:470:69fc:105::720) |
| 04:51:13 | → | craige[m] joins (~craigemcw@2001:470:69fc:105::35f1) |
| 04:51:25 | → | HaiderMirza[m] joins (~haidermir@2001:470:69fc:105::e7ba) |
| 04:51:37 | → | jakefromstatefar joins (~jakefroms@2001:470:69fc:105::15ef) |
| 04:54:11 | × | ChanServ quits (ChanServ@services.libera.chat) (shutting down) |
| 04:58:28 | → | ChanServ joins (ChanServ@services.libera.chat) |
| 04:58:28 | zinc.libera.chat | sets mode +o ChanServ |
| 05:25:11 | × | cjb quits (~cjbayliss@user/cjb) () |
| 06:01:43 | → | qbt joins (~edun@user/edun) |
| 06:19:24 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 06:19:46 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 06:37:39 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:37:41 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 07:50:08 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 07:53:40 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2.1) |
| 08:17:45 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 08:17:45 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 08:17:48 | allbery_b | is now known as geekosaur |
| 08:25:27 | → | tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 08:26:34 | → | Guest8 joins (~Guest8@78.175.178.222) |
| 08:29:52 | Guest8 | is now known as b |
| 08:30:22 | b | is now known as Guest7002 |
| 08:45:21 | × | Guest7002 quits (~Guest8@78.175.178.222) (Ping timeout: 256 seconds) |
| 08:49:06 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 09:01:42 | → | Guest9 joins (~Guest9@78.175.178.222) |
| 09:01:50 | <Guest9> | hi guys |
| 09:06:21 | <Solid> | hej |
| 09:10:14 | × | Guest9 quits (~Guest9@78.175.178.222) (Quit: Client closed) |
| 10:18:06 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.2.1) |
| 12:39:37 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 12:41:09 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 13:29:54 | → | cfricke joins (~cfricke@user/cfricke) |
| 13:45:04 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.2.1) |
| 13:52:00 | → | cfricke joins (~cfricke@user/cfricke) |
| 14:13:17 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 14:14:49 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 14:36:25 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 14:37:39 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 14:37:53 | → | seschwar joins (~seschwar@user/seschwar) |
| 14:49:11 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 15:02:43 | → | cfricke joins (~cfricke@user/cfricke) |
| 15:03:01 | × | cfricke quits (~cfricke@user/cfricke) (Client Quit) |
| 16:29:00 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2.1) |
| 16:45:19 | <mc47> | Adding another field to PP is making me want to redo PP from scratch |
| 16:46:00 | <Solid> | hah |
| 16:47:01 | <Solid> | if we're going down that path I nominate better typed logHooks, so people actually know what happened with the stackset :P |
| 16:48:10 | <mc47> | I'm thinking about named predicates (so they can be referenced and modified) with a priority, paired with a Logger, but we'd need a lot of convenience functions to make that design user friendly |
| 16:48:17 | <mc47> | Yeah, X () isn't the best thing lol |
| 16:48:35 | <electr0n> | painful for new comers like myself. |
| 16:48:59 | <mc47> | I'm not sure it's worth it though, I just think it's fun to think about how to write better software |
| 16:49:41 | <mc47> | electr0n actually, Haskell would allow us to write an intuitive interface |
| 16:49:58 | <mc47> | Solid, I'm curious, what do you mean with a better typed logHook? |
| 16:51:15 | liskin | hopes to take a look later this week but can't promise anything, holiday-ing again :-) |
| 16:52:09 | <Solid> | mc47: I think that, e.g., telling the user what changed via an additional type (think WindowAdded, WorkspaceChanged, etc.) would be a big improvement already |
| 16:52:53 | <Solid> | (This could probably live as a contrib module right now, but it would be nicer to just be the actual logHook) |
| 16:53:13 | <mc47> | oh I definitely agree |
| 16:53:32 | <mc47> | liskin have fun! |
| 16:56:01 | <electr0n> | mc47: im all for it |
| 16:56:24 | <liskin> | Oh yeah that sounds like another way to implement an afterManageHook |
| 16:56:42 | <liskin> | That could be useful :-) |
| 16:57:27 | <mc47> | Solid, thinking about it, wouldn't the logHook always print the state of the window manager, regardless of what happened? |
| 16:58:38 | <mc47> | I mean, having an event system for internal events that other modules to use is certainly useful, but I'm not sure how that would be used in the logHook |
| 16:59:07 | <mc47> | (brb, need to buy groceries before supermarkets close lol) |
| 17:00:51 | <Solid> | :D |
| 17:01:24 | <Solid> | mc47: mh I'm not sure what you mean by "print the state of the window manager"; in its most simple form, I'd like something along the lines of `logHook :: Event -> X ()` |
| 17:12:00 | <geekosaur> | logHook is already afterManageHook |
| 17:12:09 | <geekosaur> | it's just not very good at it |
| 17:16:37 | <mc47[m]> | Oh right, nvm what I said (I was only thinking about status bars) |
| 17:23:17 | <mc47> | I don't even like the name "logHook" :) |
| 17:51:17 | × | Solid quits (~slot@xmonad/slotThe) (Quit: Connection reset by pear) |
| 17:51:36 | → | Solid joins (~slot@xmonad/slotThe) |
| 17:59:29 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 264 seconds) |
| 18:00:31 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 18:00:55 | → | k`` joins (~user@152.1.137.158) |
| 19:11:02 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 19:11:11 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 19:16:14 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 246 seconds) |
| 19:17:31 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 19:23:48 | × | steve__ quits (~steve@ool-182c2aa4.dyn.optonline.net) (Ping timeout: 250 seconds) |
| 19:25:55 | → | steve_ joins (~steve@ool-182c2aa4.dyn.optonline.net) |
| 19:52:56 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 19:53:20 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 20:25:55 | × | benin036932301 quits (~benin@183.82.205.89) (Ping timeout: 268 seconds) |
| 20:36:10 | × | qbt quits (~edun@user/edun) (Ping timeout: 240 seconds) |
| 20:37:28 | × | k`` quits (~user@152.1.137.158) (Remote host closed the connection) |
| 20:58:12 | × | solomon quits (~quassel@cpe-76-168-7-139.socal.res.rr.com) (Ping timeout: 268 seconds) |
| 21:28:55 | × | mc47 quits (~mc47@xmonad/TheMC47) (Quit: Leaving) |
| 21:41:59 | × | sagax quits (~sagax_nb@user/sagax) (Ping timeout: 268 seconds) |
| 22:17:07 | × | seschwar quits (~seschwar@user/seschwar) (Quit: :wq) |
| 22:42:07 | × | electr0n quits (~electr0n@about/security/founder/electr0n) (Quit: WeeChat 3.2) |
| 22:46:16 | → | cjb joins (~cjbayliss@user/cjb) |
| 23:34:52 | × | tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
All times are in UTC on 2021-09-20.