Logs: liberachat/#xmonad
| 2023-09-19 02:52:55 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-30-70-51-230-102.dsl.bell.ca) (Ping timeout: 244 seconds) |
| 2023-09-19 03:08:23 | → | cayley5 joins (~42cayley@user/phileasfogg) |
| 2023-09-19 03:42:17 | × | haskl quits (~haskl@user/haskl) (Read error: Connection reset by peer) |
| 2023-09-19 03:44:25 | → | haskl joins (~haskl@user/haskl) |
| 2023-09-19 03:46:49 | × | haskl quits (~haskl@user/haskl) (Read error: Connection reset by peer) |
| 2023-09-19 03:48:47 | → | haskl joins (~haskl@user/haskl) |
| 2023-09-19 05:41:04 | <haskellbridge> | <galactic_starfish> What happened to lambdabot? |
| 2023-09-19 07:06:34 | → | cfricke joins (~cfricke@user/cfricke) |
| 2023-09-19 07:40:51 | <Solid> | lambdabot is still here and doing fine |
| 2023-09-19 07:40:56 | <Solid> | but it was never a bridge to matrix |
| 2023-09-19 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 |
| 2023-09-19 07:41:55 | <Solid> | There's a new system now, I think; haven't looked into it too deeply |
| 2023-09-19 08:20:44 | <liskin> | Solid: what new system? |
| 2023-09-19 08:25:34 | <Solid> | liskin: https://www.matrix.org/blog/2023/07/make-sure-libera-bridge-keeps-working/ |
| 2023-09-19 08:25:45 | <Solid> | apparently there is now a concept of a "plumbed room" |
| 2023-09-19 08:26:00 | <liskin> | Solid: there's always been that concept actually |
| 2023-09-19 08:26:13 | <liskin> | #xmonad:matrix.org is a plumbed room |
| 2023-09-19 08:27:00 | <Solid> | huh, curious |
| 2023-09-19 08:27:03 | × | catern quits (sid604849@id-604849.lymington.irccloud.com) (Server closed connection) |
| 2023-09-19 08:27:13 | → | catern joins (sid604849@id-604849.lymington.irccloud.com) |
| 2023-09-19 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 |
| 2023-09-19 08:28:18 | <liskin> | plumbing turns a normal Matrix room into a "bridged" one |
| 2023-09-19 08:28:33 | <liskin> | but that no longer works because the entire matrix-libera bridge is shut down |
| 2023-09-19 08:30:20 | <liskin> | hm, nheko does look a bit better than Element, yeah |
| 2023-09-19 08:30:45 | <liskin> | pretty subpixel antialiased and positioned fonts of my choosing \o/ |
| 2023-09-19 08:31:08 | <liskin> | but it looks like a version 1.0 IRC client from the early 2000s |
| 2023-09-19 08:31:18 | <liskin> | where nick colors |
| 2023-09-19 08:31:50 | <liskin> | and yeah spaces work now too |
| 2023-09-19 08:59:06 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2023-09-19 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 |
| 2023-09-19 09:52:32 | <liskin> | wonderful. 5 stars for user experience, Matrix |
| 2023-09-19 09:53:18 | <liskin> | now let's see if the Fediverse (Mastodon etc.) can be even worse than that :-D |
| 2023-09-19 10:04:13 | × | ft quits (~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-09-19 11:55:17 | cayley5 | is now known as cayley10 |
| 2023-09-19 11:58:44 | cayley10 | is now known as cayley5_ |
| 2023-09-19 12:02:14 | → | cayley5 joins (~cayley5@user/phileasfogg) |
| 2023-09-19 12:56:59 | → | kagenao joins (~Thunderbi@p200300cfc71191ea08475a024c8ee057.dip0.t-ipconnect.de) |
| 2023-09-19 12:57:21 | ← | kagenao parts (~Thunderbi@p200300cfc71191ea08475a024c8ee057.dip0.t-ipconnect.de) () |
| 2023-09-19 13:12:09 | → | tremon joins (~tremon@83.80.159.219) |
| 2023-09-19 13:25:32 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 2023-09-19 14:05:18 | MrElendig | is now known as mion |
| 2023-09-19 14:09:03 | × | PotatoGim quits (sid99505@id-99505.lymington.irccloud.com) (Server closed connection) |
| 2023-09-19 14:09:28 | → | PotatoGim joins (sid99505@id-99505.lymington.irccloud.com) |
| 2023-09-19 15:17:52 | <geekosaur> | aaaand today setlocale builds unmodified with 9.8 again. I'm mystified. so is Kritzefitz. ??? |
| 2023-09-19 15:18:36 | <liskin> | Different snapshot of 9.8 I presume? |
| 2023-09-19 15:18:51 | <geekosaur> | No changes over the past 3 weeks |
| 2023-09-19 15:18:58 | <geekosaur> | still waiting on alpha4 |
| 2023-09-19 15:19:54 | <geekosaur> | and I'm sure I'm doing the same thing because I put it all in a cabal.project |
| 2023-09-19 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) |
| 2023-09-19 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 |
| 2023-09-19 15:32:54 | <liskin> | Hm, and same hsc2hs too? |
| 2023-09-19 15:38:25 | <geekosaur> | shouldn't matter but yes |
| 2023-09-19 15:38:33 | <geekosaur> | hsc2hs isn't involved with `deriving` |
| 2023-09-19 15:59:54 | <liskin> | Yah but you mentioned having to use a different version than what ships with ghc |
| 2023-09-19 15:59:59 | <liskin> | Or am I misremembering? |
| 2023-09-19 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 |
| 2023-09-19 16:02:15 | <geekosaur> | in any case it's the same one |
| 2023-09-19 16:04:10 | <geekosaur> | flushed everything and trying it again jic |
| 2023-09-19 16:04:42 | <geekosaur> | and it succeeded again |
| 2023-09-19 17:15:29 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-09-19 20:46:02 | × | td_ quits (~td@i5387090C.versanet.de) (Ping timeout: 244 seconds) |
| 2023-09-19 20:47:49 | → | td_ joins (~td@i53870901.versanet.de) |
| 2023-09-19 21:57:13 | × | vanvik quits (~vanvik@78.156.11.181) (Ping timeout: 240 seconds) |
| 2023-09-19 22:00:38 | → | vanvik joins (~vanvik@78.156.11.181) |
| 2023-09-19 22:03:57 | → | ft joins (~ft@p3e9bc680.dip0.t-ipconnect.de) |
| 2023-09-19 22:24:12 | × | scardinal quits (~supreme@87.61.100.169) (Ping timeout: 244 seconds) |
| 2023-09-19 22:26:19 | → | scardinal joins (~supreme@87.61.100.169) |
| 2023-09-19 23:31:03 | <hightower2> | hey which variable/option controls spacing between windows? not asking about border width, but about padding/spacing in between basically |
| 2023-09-19 23:42:56 | <geekosaur> | you want XMonad.Layout.Spacing |
| 2023-09-19 23:43:51 | <geekosaur> | spacingRaw gives you full control, there are other layout modifiers that are easier to you |
| 2023-09-19 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 |
| 2023-09-19 23:49:04 | <geekosaur> | and similarly between windows and the screen edges (first spacing tuple to spacingRaw is screen border) |
| 2023-09-20 00:04:53 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2023-09-20 02:18:43 | × | td_ quits (~td@i53870901.versanet.de) (Ping timeout: 258 seconds) |
| 2023-09-20 02:20:23 | → | td_ joins (~td@i53870931.versanet.de) |
| 2023-09-20 06:05:35 | × | catman quits (~catman@user/catman) (Ping timeout: 240 seconds) |
| 2023-09-20 08:56:04 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2023-09-20 09:47:29 | → | cfricke joins (~cfricke@user/cfricke) |
| 2023-09-20 10:27:34 | × | ft quits (~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-09-20 11:07:48 | × | immibis quits (~quassel@social.immibis.com) (Quit: No Ping reply in 180 seconds.) |
| 2023-09-20 11:08:18 | → | immibis joins (~quassel@social.immibis.com) |
| 2023-09-20 11:15:53 | → | horzion joins (~horzion@ProtonDB/horzion) |
| 2023-09-20 11:16:49 | <horzion> | heya. i wanted to use xF86XK_AudioPlay to play and pause media on my setup, but i can only find documentation to a xmonad build named vanessa that supported it at some point and others people asking or using specific players |
| 2023-09-20 11:19:18 | <liskin> | horzion: you just bind that key to "playerctl play‐pause" |
| 2023-09-20 11:20:13 | <liskin> | you may need to run playerctld so that it tracks which media player it should act on |
| 2023-09-20 11:32:40 | <horzion> | huh |
| 2023-09-20 11:32:44 | <horzion> | thank you, will try |
| 2023-09-20 11:37:16 | <horzion> | perfect |
| 2023-09-20 11:37:18 | <horzion> | thank you very much |
| 2023-09-20 11:42:59 | → | Guest53 joins (~Guest53@109.37.136.143) |
| 2023-09-20 11:44:30 | × | Guest53 quits (~Guest53@109.37.136.143) (Client Quit) |
| 2023-09-20 11:57:14 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-09-20 12:23:17 | × | horzion quits (~horzion@ProtonDB/horzion) (Ping timeout: 260 seconds) |
| 2023-09-20 13:26:33 | → | horzion joins (~horzion@ProtonDB/horzion) |
| 2023-09-20 13:40:17 | × | horzion quits (~horzion@ProtonDB/horzion) (Ping timeout: 258 seconds) |
| 2023-09-20 14:04:05 | × | td_ quits (~td@i53870931.versanet.de) (Ping timeout: 240 seconds) |
| 2023-09-20 14:06:08 | → | td_ joins (~td@i53870931.versanet.de) |
| 2023-09-20 15:25:25 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 2023-09-20 15:53:55 | <xmonadtrack> | xmonad-contrib Tony Zorman * v0.17.1-175-g000cd147: X.Prelude: Compatibility with base-4.18.0.0 (3 days ago, 1 file, 3+ 2-) https://github.com/xmonad/xmonad-contrib/commit/000cd147998c |
| 2023-09-20 15:53:57 | <xmonadtrack> | xmonad-contrib Tony Zorman {GitHub} * v0.17.1-181-g4f6a9dea: Merge pull request #829 from slotThe/ghc/head (30 seconds ago, 0 files, 0+ 0-) https://github.com/xmonad/xmonad-contrib/commit/4f6a9deaf89c |
All times are in UTC.