Logs: liberachat/#xmonad
| 2021-09-20 04:45:10 | → | jidra[m] joins (~jidramatr@2001:470:69fc:105::ceaa) |
| 2021-09-20 04:51:05 | → | nihilipster[m] joins (~nihilipst@2001:470:69fc:105::720) |
| 2021-09-20 04:51:13 | → | craige[m] joins (~craigemcw@2001:470:69fc:105::35f1) |
| 2021-09-20 04:51:25 | → | HaiderMirza[m] joins (~haidermir@2001:470:69fc:105::e7ba) |
| 2021-09-20 04:51:37 | → | jakefromstatefar joins (~jakefroms@2001:470:69fc:105::15ef) |
| 2021-09-20 04:54:11 | × | ChanServ quits (ChanServ@services.libera.chat) (shutting down) |
| 2021-09-20 04:58:28 | → | ChanServ joins (ChanServ@services.libera.chat) |
| 2021-09-20 04:58:28 | zinc.libera.chat | sets mode +o ChanServ |
| 2021-09-20 05:25:11 | × | cjb quits (~cjbayliss@user/cjb) () |
| 2021-09-20 06:01:43 | → | qbt joins (~edun@user/edun) |
| 2021-09-20 06:19:24 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-09-20 06:19:46 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-09-20 06:37:39 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-09-20 07:37:41 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-09-20 07:50:08 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-09-20 07:53:40 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2.1) |
| 2021-09-20 08:17:45 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-09-20 08:17:45 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-09-20 08:17:48 | allbery_b | is now known as geekosaur |
| 2021-09-20 08:25:27 | → | tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-09-20 08:26:34 | → | Guest8 joins (~Guest8@78.175.178.222) |
| 2021-09-20 08:29:52 | Guest8 | is now known as b |
| 2021-09-20 08:30:22 | b | is now known as Guest7002 |
| 2021-09-20 08:45:21 | × | Guest7002 quits (~Guest8@78.175.178.222) (Ping timeout: 256 seconds) |
| 2021-09-20 08:49:06 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-09-20 09:01:42 | → | Guest9 joins (~Guest9@78.175.178.222) |
| 2021-09-20 09:01:50 | <Guest9> | hi guys |
| 2021-09-20 09:06:21 | <Solid> | hej |
| 2021-09-20 09:10:14 | × | Guest9 quits (~Guest9@78.175.178.222) (Quit: Client closed) |
| 2021-09-20 10:18:06 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.2.1) |
| 2021-09-20 12:39:37 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2021-09-20 12:41:09 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-09-20 13:29:54 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-09-20 13:45:04 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.2.1) |
| 2021-09-20 13:52:00 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-09-20 14:13:17 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 2021-09-20 14:14:49 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 2021-09-20 14:36:25 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 2021-09-20 14:37:39 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 2021-09-20 14:37:53 | → | seschwar joins (~seschwar@user/seschwar) |
| 2021-09-20 14:49:11 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 2021-09-20 15:02:43 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-09-20 15:03:01 | × | cfricke quits (~cfricke@user/cfricke) (Client Quit) |
| 2021-09-20 16:29:00 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2.1) |
| 2021-09-20 16:45:19 | <mc47> | Adding another field to PP is making me want to redo PP from scratch |
| 2021-09-20 16:46:00 | <Solid> | hah |
| 2021-09-20 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 |
| 2021-09-20 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 |
| 2021-09-20 16:48:17 | <mc47> | Yeah, X () isn't the best thing lol |
| 2021-09-20 16:48:35 | <electr0n> | painful for new comers like myself. |
| 2021-09-20 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 |
| 2021-09-20 16:49:41 | <mc47> | electr0n actually, Haskell would allow us to write an intuitive interface |
| 2021-09-20 16:49:58 | <mc47> | Solid, I'm curious, what do you mean with a better typed logHook? |
| 2021-09-20 16:51:15 | liskin | hopes to take a look later this week but can't promise anything, holiday-ing again :-) |
| 2021-09-20 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 |
| 2021-09-20 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) |
| 2021-09-20 16:53:13 | <mc47> | oh I definitely agree |
| 2021-09-20 16:53:32 | <mc47> | liskin have fun! |
| 2021-09-20 16:56:01 | <electr0n> | mc47: im all for it |
| 2021-09-20 16:56:24 | <liskin> | Oh yeah that sounds like another way to implement an afterManageHook |
| 2021-09-20 16:56:42 | <liskin> | That could be useful :-) |
| 2021-09-20 16:57:27 | <mc47> | Solid, thinking about it, wouldn't the logHook always print the state of the window manager, regardless of what happened? |
| 2021-09-20 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 |
| 2021-09-20 16:59:07 | <mc47> | (brb, need to buy groceries before supermarkets close lol) |
| 2021-09-20 17:00:51 | <Solid> | :D |
| 2021-09-20 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 ()` |
| 2021-09-20 17:12:00 | <geekosaur> | logHook is already afterManageHook |
| 2021-09-20 17:12:09 | <geekosaur> | it's just not very good at it |
| 2021-09-20 17:16:37 | <mc47[m]> | Oh right, nvm what I said (I was only thinking about status bars) |
| 2021-09-20 17:23:17 | <mc47> | I don't even like the name "logHook" :) |
| 2021-09-20 17:51:17 | × | Solid quits (~slot@xmonad/slotThe) (Quit: Connection reset by pear) |
| 2021-09-20 17:51:36 | → | Solid joins (~slot@xmonad/slotThe) |
| 2021-09-20 17:59:29 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 264 seconds) |
| 2021-09-20 18:00:31 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-09-20 18:00:55 | → | k`` joins (~user@152.1.137.158) |
| 2021-09-20 19:11:02 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-09-20 19:11:11 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-09-20 19:16:14 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 246 seconds) |
| 2021-09-20 19:17:31 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-09-20 19:23:48 | × | steve__ quits (~steve@ool-182c2aa4.dyn.optonline.net) (Ping timeout: 250 seconds) |
| 2021-09-20 19:25:55 | → | steve_ joins (~steve@ool-182c2aa4.dyn.optonline.net) |
| 2021-09-20 19:52:56 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-09-20 19:53:20 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-09-20 20:25:55 | × | benin036932301 quits (~benin@183.82.205.89) (Ping timeout: 268 seconds) |
| 2021-09-20 20:36:10 | × | qbt quits (~edun@user/edun) (Ping timeout: 240 seconds) |
| 2021-09-20 20:37:28 | × | k`` quits (~user@152.1.137.158) (Remote host closed the connection) |
| 2021-09-20 20:58:12 | × | solomon quits (~quassel@cpe-76-168-7-139.socal.res.rr.com) (Ping timeout: 268 seconds) |
| 2021-09-20 21:28:55 | × | mc47 quits (~mc47@xmonad/TheMC47) (Quit: Leaving) |
| 2021-09-20 21:41:59 | × | sagax quits (~sagax_nb@user/sagax) (Ping timeout: 268 seconds) |
| 2021-09-20 22:17:07 | × | seschwar quits (~seschwar@user/seschwar) (Quit: :wq) |
| 2021-09-20 22:42:07 | × | electr0n quits (~electr0n@about/security/founder/electr0n) (Quit: WeeChat 3.2) |
| 2021-09-20 22:46:16 | → | cjb joins (~cjbayliss@user/cjb) |
| 2021-09-20 23:34:52 | × | tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2021-09-21 01:00:29 | → | steve__ joins (~steve@ool-182c2aa4.dyn.optonline.net) |
| 2021-09-21 01:03:27 | × | steve_ quits (~steve@ool-182c2aa4.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-09-21 02:04:07 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 252 seconds) |
| 2021-09-21 02:05:26 | → | electr0n joins (~electr0n@about/security/founder/electr0n) |
| 2021-09-21 02:11:34 | × | Forkk quits (~forkk@li926-228.members.linode.com) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-09-21 02:16:48 | × | td_ quits (~td@muedsl-82-207-238-087.citykom.de) (Ping timeout: 268 seconds) |
| 2021-09-21 02:18:20 | → | td_ joins (~td@muedsl-82-207-238-060.citykom.de) |
All times are in UTC.