Logs on 2022-02-04 (liberachat/#xmonad)
| 00:07:27 | <jakeStateless-Fa> | liskin: https://gitlab.com/mikenrafter/config/-/blob/master/.xmonad/treeRewrite.hs <- I messaged you about this a while ago, did you ever take a look/do you have any feedback? I'm not overly familiar with XMonad's internals, so I'm not sure how I'd go about swapping things out for this structure - but I think this layout could remove a lot of the hackiness around floating windows, fullscreen, sublayouts, etc. |
| 00:07:46 | <jakeStateless-Fa> | s/hackiness/hackiness and headaches/ |
| 00:51:35 | → | mvk joins (~mvk@2607:fea8:5cdc:bf00::80f1) |
| 02:02:22 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 02:03:39 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 03:03:19 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 256 seconds) |
| 03:22:41 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 03:41:57 | × | td_ quits (~td@94.134.91.183) (Ping timeout: 240 seconds) |
| 03:44:03 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 03:44:10 | → | td_ joins (~td@muedsl-82-207-238-085.citykom.de) |
| 03:44:41 | × | steve__ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 03:46:29 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 04:00:01 | × | haasn quits (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 04:01:21 | → | haasn joins (~nand@haasn.dev) |
| 04:46:18 | × | noex quits (~null@user/noex) (Quit: :q!) |
| 04:48:09 | → | noex joins (~null@user/noex) |
| 04:50:00 | → | noex_ joins (~null@ip98-161-28-200.om.om.cox.net) |
| 04:50:36 | × | noex quits (~null@user/noex) (Remote host closed the connection) |
| 04:58:27 | noex_ | is now known as noex |
| 04:58:57 | × | noex quits (~null@ip98-161-28-200.om.om.cox.net) (Changing host) |
| 04:58:57 | → | noex joins (~null@user/noex) |
| 05:36:21 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 05:50:10 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 06:09:45 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 06:45:30 | → | arjun joins (~arjun@user/arjun) |
| 08:23:29 | → | cfricke joins (~cfricke@user/cfricke) |
| 08:23:51 | <liskin> | jakeStateless-Fa: I haven't really had time to dig deep into it :-/ |
| 08:25:38 | <liskin> | jakeStateless-Fa: what I'd probably say is that the devil is in the details, and not being familiar with the internals isn't the best starting position to hack on this, as the best way forward IMO is probably to temporarily forget about all of xmonad-contrib and actually experiment with real stuff in xmonad core, like actually implement a basic version of this and see where that goes |
| 08:27:01 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 08:28:12 | <liskin> | it shouldn't be big, in terms of lines of code, as xmonad core is fairly small, but until something real is visible, I'm reluctant to get excited about it (primarily because I'm already overwhelmed with other stuff in my life, please don't take this personally) |
| 08:31:15 | <liskin> | I wonder how best to approach this. Perhaps it'd make sense to do this in a similar way as a backelor thesis is done, where the student goes off for a week or two to hack on something, and then has a 15 minute call every 2 weeks with the advisor who tells them to throw it all away and try something else -- I could maybe do something like that :-D |
| 08:32:52 | <liskin> | (I'm half joking of course, but recently I've been thinking about this idea of having planned high-throughput chats, or even planned intense hackathon, to move things forward in the project in a systematic way) |
| 08:47:10 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 08:47:10 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 08:47:13 | allbery_b | is now known as geekosaur |
| 09:01:21 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 09:02:52 | × | Czernobog quits (~Czernobog@user/czernobog) (Quit: ZNC 1.8.2 - https://znc.in) |
| 09:03:08 | → | Czernobog joins (~Czernobog@user/czernobog) |
| 09:03:43 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 09:17:41 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 09:17:41 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 09:17:44 | allbery_b | is now known as geekosaur |
| 09:21:11 | → | desantra joins (~skykanin@user/skykanin) |
| 09:52:43 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 09:53:59 | → | redsith joins (~user@45.81.189.55) |
| 10:06:37 | × | arjun quits (~arjun@user/arjun) (Ping timeout: 256 seconds) |
| 10:10:49 | → | arjun joins (~arjun@103.57.87.28) |
| 10:14:15 | × | arjun quits (~arjun@103.57.87.28) (Client Quit) |
| 10:32:58 | <mc47> | liskin: I agree on your line of thought about chats and hackathons, it seems the only realistic way to achieve systematic progress, given the amount of free time everyone have |
| 10:33:58 | <mc47> | I was actually thinking of trying to convince some of my classmates to do a project together that ties into xmonad (we can do something called a "Pushing the Limits" project, where we work on something "big" for a whole semester) |
| 10:34:05 | <mc47> | But I think it's a longshot... |
| 10:34:08 | → | cfricke joins (~cfricke@user/cfricke) |
| 10:38:21 | × | redsith quits (~user@45.81.189.55) (Remote host closed the connection) |
| 10:47:02 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 10:48:28 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 11:17:08 | → | redsith joins (~user@45.81.189.55) |
| 11:45:01 | × | redsith quits (~user@45.81.189.55) (Remote host closed the connection) |
| 13:43:18 | <jakeStateless-Fa> | I wish I had IRL friends like that :/ |
| 13:44:18 | <jakeStateless-Fa> | <liskin> "I wonder how best to approach..." <- I like that idea, once I finish this round of fiddling with my configs, I'll give that a whirl. |
| 14:47:38 | → | seschwar joins (~seschwar@user/seschwar) |
| 15:01:47 | × | jludwig quits (~justin@user/jludwig) (Quit: ZNC - https://znc.in) |
| 15:25:37 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 15:26:01 | → | catman joins (~catman@user/catman) |
| 15:31:03 | → | jludwig joins (~justin@user/jludwig) |
| 15:32:21 | × | sogens quits (~sogens@pa49-197-72-150.pa.qld.optusnet.com.au) (Ping timeout: 256 seconds) |
| 15:44:42 | → | sogens joins (~sogens@pa49-197-132-249.pa.qld.optusnet.com.au) |
| 15:44:57 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 17:09:10 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 17:31:29 | × | desantra quits (~skykanin@user/skykanin) (Quit: WeeChat 3.3) |
| 18:35:39 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 18:56:55 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 19:06:22 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 19:19:38 | → | steve__ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 19:37:58 | <jakeStateless-Fa> | I'm attempting to make a function that toggles a tag on a window from `X.A.TagWindows` - `withFocused (\x -> if hasTag "FS" x then delTag "FS" x else addTag "FS" x)` it needs Bool, but is getting X Bool, is there a way to pull it out of that state? Or an if statement/function for that? |
| 19:38:28 | <jakeStateless-Fa> | if statement method* |
| 19:40:56 | <geekosaur> | hasTag "FS" x >>= \case True -> delTag "FS" x; False -> addTag "FS" x |
| 19:41:15 | <geekosaur> | there are cleverer ways but that's probably clearest |
| 19:43:00 | <geekosaur> | there's a "whenX" but it doesn't give you an "else" |
| 19:51:24 | <Solid> | there is `ifM` X.ManageHook |
| 19:51:29 | <Solid> | (and yes this also always surprised me :) |
| 19:52:14 | <jakeStateless-Fa> | Man, I've really to start using >>=, it's been the solution to literally all my recent hurdles 😆 |
| 19:55:18 | → | chomwitt joins (~chomwitt@2a02:587:dc07:dd00:12c3:7bff:fe6d:d374) |
| 20:49:49 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 20:51:40 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 21:43:29 | × | catman quits (~catman@user/catman) (Read error: Connection reset by peer) |
| 21:50:10 | → | catman joins (~catman@user/catman) |
| 22:03:19 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 22:05:06 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 22:49:35 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 22:58:08 | → | ctx[m] joins (~ctxkungfu@2001:470:69fc:105::1:95dd) |
| 23:21:20 | × | catman quits (~catman@user/catman) (Read error: Connection reset by peer) |
| 23:27:08 | → | catman joins (~catman@user/catman) |
| 23:54:06 | × | Czernobog quits (~Czernobog@user/czernobog) (Quit: ZNC 1.8.2 - https://znc.in) |
All times are in UTC on 2022-02-04.