| 2022-02-04 00:35:25 +0100 | seschwar | (~seschwar@user/seschwar) (Quit: :wq) |
| 2022-02-04 00:47:11 +0100 | ectospasm | (~ectospasm@user/ectospasm) (Quit: WeeChat 3.4) |
| 2022-02-04 01:07:27 +0100 | <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. |
| 2022-02-04 01:07:46 +0100 | <jakeStateless-Fa> | s/hackiness/hackiness and headaches/ |
| 2022-02-04 01:51:35 +0100 | mvk | (~mvk@2607:fea8:5cdc:bf00::80f1) |
| 2022-02-04 03:02:22 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-02-04 03:03:39 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-02-04 04:03:19 +0100 | banc | (banc@gateway/vpn/airvpn/banc) (Ping timeout: 256 seconds) |
| 2022-02-04 04:22:41 +0100 | banc | (banc@gateway/vpn/airvpn/banc) |
| 2022-02-04 04:41:57 +0100 | td_ | (~td@94.134.91.183) (Ping timeout: 240 seconds) |
| 2022-02-04 04:44:03 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-02-04 04:44:10 +0100 | td_ | (~td@muedsl-82-207-238-085.citykom.de) |
| 2022-02-04 04:44:41 +0100 | steve__ | (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2022-02-04 04:46:29 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-02-04 05:00:01 +0100 | haasn | (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2022-02-04 05:01:21 +0100 | haasn | (~nand@haasn.dev) |
| 2022-02-04 05:46:18 +0100 | noex | (~null@user/noex) (Quit: :q!) |
| 2022-02-04 05:48:09 +0100 | noex | (~null@user/noex) |
| 2022-02-04 05:50:00 +0100 | noex_ | (~null@ip98-161-28-200.om.om.cox.net) |
| 2022-02-04 05:50:36 +0100 | noex | (~null@user/noex) (Remote host closed the connection) |
| 2022-02-04 05:58:27 +0100 | noex_ | noex |
| 2022-02-04 05:58:57 +0100 | noex | (~null@ip98-161-28-200.om.om.cox.net) (Changing host) |
| 2022-02-04 05:58:57 +0100 | noex | (~null@user/noex) |
| 2022-02-04 06:36:21 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-04 06:50:10 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-04 07:09:45 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-02-04 07:45:30 +0100 | arjun | (~arjun@user/arjun) |
| 2022-02-04 09:23:29 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2022-02-04 09:23:51 +0100 | <liskin> | jakeStateless-Fa: I haven't really had time to dig deep into it :-/ |
| 2022-02-04 09:25:38 +0100 | <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 |
| 2022-02-04 09:27:01 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-02-04 09:28:12 +0100 | <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) |
| 2022-02-04 09:31:15 +0100 | <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 |
| 2022-02-04 09:32:52 +0100 | <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) |
| 2022-02-04 09:47:10 +0100 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2022-02-04 09:47:10 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-02-04 09:47:13 +0100 | allbery_b | geekosaur |
| 2022-02-04 10:01:21 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-04 10:02:52 +0100 | Czernobog | (~Czernobog@user/czernobog) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-04 10:03:08 +0100 | Czernobog | (~Czernobog@user/czernobog) |
| 2022-02-04 10:03:43 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-04 10:17:41 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-02-04 10:17:41 +0100 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2022-02-04 10:17:44 +0100 | allbery_b | geekosaur |
| 2022-02-04 10:21:11 +0100 | desantra | (~skykanin@user/skykanin) |
| 2022-02-04 10:52:43 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 2022-02-04 10:53:59 +0100 | redsith | (~user@45.81.189.55) |
| 2022-02-04 11:06:37 +0100 | arjun | (~arjun@user/arjun) (Ping timeout: 256 seconds) |
| 2022-02-04 11:10:49 +0100 | arjun | (~arjun@103.57.87.28) |
| 2022-02-04 11:14:15 +0100 | arjun | (~arjun@103.57.87.28) (Client Quit) |
| 2022-02-04 11:32:58 +0100 | <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 |
| 2022-02-04 11:33:58 +0100 | <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) |
| 2022-02-04 11:34:05 +0100 | <mc47> | But I think it's a longshot... |
| 2022-02-04 11:34:08 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2022-02-04 11:38:21 +0100 | redsith | (~user@45.81.189.55) (Remote host closed the connection) |
| 2022-02-04 11:47:02 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2022-02-04 11:48:28 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-04 12:17:08 +0100 | redsith | (~user@45.81.189.55) |
| 2022-02-04 12:45:01 +0100 | redsith | (~user@45.81.189.55) (Remote host closed the connection) |
| 2022-02-04 14:43:18 +0100 | <jakeStateless-Fa> | I wish I had IRL friends like that :/ |
| 2022-02-04 14:44:18 +0100 | <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. |
| 2022-02-04 15:47:38 +0100 | seschwar | (~seschwar@user/seschwar) |
| 2022-02-04 16:01:47 +0100 | jludwig | (~justin@user/jludwig) (Quit: ZNC - https://znc.in) |
| 2022-02-04 16:25:37 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-02-04 16:26:01 +0100 | catman | (~catman@user/catman) |
| 2022-02-04 16:31:03 +0100 | jludwig | (~justin@user/jludwig) |
| 2022-02-04 16:32:21 +0100 | sogens | (~sogens@pa49-197-72-150.pa.qld.optusnet.com.au) (Ping timeout: 256 seconds) |
| 2022-02-04 16:44:42 +0100 | sogens | (~sogens@pa49-197-132-249.pa.qld.optusnet.com.au) |
| 2022-02-04 16:44:57 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-02-04 18:09:10 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 2022-02-04 18:31:29 +0100 | desantra | (~skykanin@user/skykanin) (Quit: WeeChat 3.3) |
| 2022-02-04 19:35:39 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-02-04 19:56:55 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-02-04 20:06:22 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-02-04 20:19:38 +0100 | steve__ | (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-02-04 20:37:58 +0100 | <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? |
| 2022-02-04 20:38:28 +0100 | <jakeStateless-Fa> | if statement method* |
| 2022-02-04 20:40:56 +0100 | <geekosaur> | hasTag "FS" x >>= \case True -> delTag "FS" x; False -> addTag "FS" x |
| 2022-02-04 20:41:15 +0100 | <geekosaur> | there are cleverer ways but that's probably clearest |
| 2022-02-04 20:43:00 +0100 | <geekosaur> | there's a "whenX" but it doesn't give you an "else" |
| 2022-02-04 20:51:24 +0100 | <Solid> | there is `ifM` X.ManageHook |
| 2022-02-04 20:51:29 +0100 | <Solid> | (and yes this also always surprised me :) |
| 2022-02-04 20:52:14 +0100 | <jakeStateless-Fa> | Man, I've really to start using >>=, it's been the solution to literally all my recent hurdles 😆 |
| 2022-02-04 20:55:18 +0100 | chomwitt | (~chomwitt@2a02:587:dc07:dd00:12c3:7bff:fe6d:d374) |
| 2022-02-04 21:49:49 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-04 21:51:40 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-04 22:43:29 +0100 | catman | (~catman@user/catman) (Read error: Connection reset by peer) |
| 2022-02-04 22:50:10 +0100 | catman | (~catman@user/catman) |
| 2022-02-04 23:03:19 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-04 23:05:06 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-04 23:49:35 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-02-04 23:58:08 +0100 | ctx[m] | (~ctxkungfu@2001:470:69fc:105::1:95dd) |