Logs on 2023-09-19 (liberachat/#xmonad)
| 00:18:03 | × | geekosaur[c] quits (sid609282@xmonad/geekosaur) (Server closed connection) |
| 00:18:15 | → | geekosaur[c] joins (sid609282@xmonad/geekosaur) |
| 02:26:04 | → | catman joins (~catman@user/catman) |
| 02:40:05 | × | td_ quits (~td@i5387090C.versanet.de) (Ping timeout: 240 seconds) |
| 02:41:52 | → | td_ joins (~td@i5387090C.versanet.de) |
| 02:42:06 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-30-70-51-230-102.dsl.bell.ca) |
| 02:52:55 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-30-70-51-230-102.dsl.bell.ca) (Ping timeout: 244 seconds) |
| 03:08:23 | → | cayley5 joins (~42cayley@user/phileasfogg) |
| 03:42:17 | × | haskl quits (~haskl@user/haskl) (Read error: Connection reset by peer) |
| 03:44:25 | → | haskl joins (~haskl@user/haskl) |
| 03:46:49 | × | haskl quits (~haskl@user/haskl) (Read error: Connection reset by peer) |
| 03:48:47 | → | haskl joins (~haskl@user/haskl) |
| 05:41:04 | <haskellbridge> | <galactic_starfish> What happened to lambdabot? |
| 07:06:34 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:40:51 | <Solid> | lambdabot is still here and doing fine |
| 07:40:56 | <Solid> | but it was never a bridge to matrix |
| 07:41:39 | <Solid> | AFAIK what happened is that the Libera people asked matrix.org to discontinue the unconditional bridging of all Libera.chat IRC channels |
| 07:41:55 | <Solid> | There's a new system now, I think; haven't looked into it too deeply |
| 08:20:44 | <liskin> | Solid: what new system? |
| 08:25:34 | <Solid> | liskin: https://www.matrix.org/blog/2023/07/make-sure-libera-bridge-keeps-working/ |
| 08:25:45 | <Solid> | apparently there is now a concept of a "plumbed room" |
| 08:26:00 | <liskin> | Solid: there's always been that concept actually |
| 08:26:13 | <liskin> | #xmonad:matrix.org is a plumbed room |
| 08:27:00 | <Solid> | huh, curious |
| 08:27:03 | × | catern quits (sid604849@id-604849.lymington.irccloud.com) (Server closed connection) |
| 08:27:13 | → | catern joins (sid604849@id-604849.lymington.irccloud.com) |
| 08:28:03 | <liskin> | I set it up that way because it used to be a normal Matrix room that people would find in the search and then be confused why none of us is there |
| 08:28:18 | <liskin> | plumbing turns a normal Matrix room into a "bridged" one |
| 08:28:33 | <liskin> | but that no longer works because the entire matrix-libera bridge is shut down |
| 08:30:20 | <liskin> | hm, nheko does look a bit better than Element, yeah |
| 08:30:45 | <liskin> | pretty subpixel antialiased and positioned fonts of my choosing \o/ |
| 08:31:08 | <liskin> | but it looks like a version 1.0 IRC client from the early 2000s |
| 08:31:18 | <liskin> | where nick colors |
| 08:31:50 | <liskin> | and yeah spaces work now too |
| 08:59:06 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 09:51:57 | <liskin> | yeah, so, gomuks for actually chatting with people, nheko for doing stuff that gomuks can't do, and element as a fallback for the rest |
| 09:52:32 | <liskin> | wonderful. 5 stars for user experience, Matrix |
| 09:53:18 | <liskin> | now let's see if the Fediverse (Mastodon etc.) can be even worse than that :-D |
| 10:04:13 | × | ft quits (~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving) |
| 11:55:17 | cayley5 | is now known as cayley10 |
| 11:58:44 | cayley10 | is now known as cayley5_ |
| 12:02:14 | → | cayley5 joins (~cayley5@user/phileasfogg) |
| 12:56:59 | → | kagenao joins (~Thunderbi@p200300cfc71191ea08475a024c8ee057.dip0.t-ipconnect.de) |
| 12:57:21 | ← | kagenao parts (~Thunderbi@p200300cfc71191ea08475a024c8ee057.dip0.t-ipconnect.de) () |
| 13:12:09 | → | tremon joins (~tremon@83.80.159.219) |
| 13:25:32 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 14:05:18 | MrElendig | is now known as mion |
| 14:09:03 | × | PotatoGim quits (sid99505@id-99505.lymington.irccloud.com) (Server closed connection) |
| 14:09:28 | → | PotatoGim joins (sid99505@id-99505.lymington.irccloud.com) |
| 15:17:52 | <geekosaur> | aaaand today setlocale builds unmodified with 9.8 again. I'm mystified. so is Kritzefitz. ??? |
| 15:18:36 | <liskin> | Different snapshot of 9.8 I presume? |
| 15:18:51 | <geekosaur> | No changes over the past 3 weeks |
| 15:18:58 | <geekosaur> | still waiting on alpha4 |
| 15:19:54 | <geekosaur> | and I'm sure I'm doing the same thing because I put it all in a cabal.project |
| 15:21:02 | <geekosaur> | only things I can figure are either 9.8 has a nondeterministic bug (seems really unlikely) or there's some very strange caching bug with my external drive (which also seems unlikely, except there have been a few other caching weirdnesses) |
| 15:23:28 | <geekosaur> | I guess I'll worry about it again if we get any reports about xmonad building with 9.8 in the wild |
| 15:32:54 | <liskin> | Hm, and same hsc2hs too? |
| 15:38:25 | <geekosaur> | shouldn't matter but yes |
| 15:38:33 | <geekosaur> | hsc2hs isn't involved with `deriving` |
| 15:59:54 | <liskin> | Yah but you mentioned having to use a different version than what ships with ghc |
| 15:59:59 | <liskin> | Or am I misremembering? |
| 16:01:30 | <geekosaur> | in both cases it's using the latest one from hackage. don't recall how to bend build-tool-depends to allow newer versions |
| 16:02:15 | <geekosaur> | in any case it's the same one |
| 16:04:10 | <geekosaur> | flushed everything and trying it again jic |
| 16:04:42 | <geekosaur> | and it succeeded again |
| 17:15:29 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 20:46:02 | × | td_ quits (~td@i5387090C.versanet.de) (Ping timeout: 244 seconds) |
| 20:47:49 | → | td_ joins (~td@i53870901.versanet.de) |
| 21:57:13 | × | vanvik quits (~vanvik@78.156.11.181) (Ping timeout: 240 seconds) |
| 22:00:38 | → | vanvik joins (~vanvik@78.156.11.181) |
| 22:03:57 | → | ft joins (~ft@p3e9bc680.dip0.t-ipconnect.de) |
| 22:24:12 | × | scardinal quits (~supreme@87.61.100.169) (Ping timeout: 244 seconds) |
| 22:26:19 | → | scardinal joins (~supreme@87.61.100.169) |
| 23:31:03 | <hightower2> | hey which variable/option controls spacing between windows? not asking about border width, but about padding/spacing in between basically |
| 23:42:56 | <geekosaur> | you want XMonad.Layout.Spacing |
| 23:43:51 | <geekosaur> | spacingRaw gives you full control, there are other layout modifiers that are easier to you |
| 23:46:28 | <geekosaur> | the main thing to watch out for is that spacing is applied all around every window, so if you naïvely set a spacing of 10 then you'll get 20px spacing between windows because it'll be 10px from each window |
| 23:49:04 | <geekosaur> | and similarly between windows and the screen edges (first spacing tuple to spacingRaw is screen border) |
All times are in UTC on 2023-09-19.