Home liberachat/#xmonad: Logs Calendar

Logs on 2024-12-16 (liberachat/#xmonad)

03:23:13 weitcis joins (~quassel@s-149-142-31-81.resnet.ucla.edu)
03:32:01 × weitcis quits (~quassel@s-149-142-31-81.resnet.ucla.edu) (Ping timeout: 248 seconds)
03:37:12 weitcis joins (~quassel@s-149-142-31-81.resnet.ucla.edu)
03:37:40 × rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection)
03:39:19 rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca)
03:50:37 × td_ quits (~td@i53870925.versanet.de) (Ping timeout: 252 seconds)
03:52:20 td_ joins (~td@i5387091E.versanet.de)
03:58:57 × weitcis quits (~quassel@s-149-142-31-81.resnet.ucla.edu) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
04:09:59 weitcis joins (~quassel@s-149-142-31-81.resnet.ucla.edu)
04:22:17 × rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection)
05:17:14 × weitcis quits (~quassel@s-149-142-31-81.resnet.ucla.edu) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
06:02:28 Digitteknohippie joins (~user@user/digit)
06:04:46 × Digit quits (~user@user/digit) (Ping timeout: 252 seconds)
06:09:53 Digitteknohippie is now known as Digit
06:10:03 alp joins (~alp@2001:861:8ca0:4940:4885:27cf:5cc4:648f)
06:15:05 × Digit quits (~user@user/digit) (Ping timeout: 260 seconds)
06:17:24 Digit joins (~user@user/digit)
06:21:36 Digitteknohippie joins (~user@user/digit)
06:23:54 × Digit quits (~user@user/digit) (Ping timeout: 252 seconds)
06:26:00 × Digitteknohippie quits (~user@user/digit) (Ping timeout: 246 seconds)
06:27:38 Digit joins (~user@user/digit)
06:35:32 × Digit quits (~user@user/digit) (Ping timeout: 272 seconds)
07:14:53 Digit joins (~user@user/digit)
07:29:10 × OftenFaded quits (OftenFaded@user/tisktisk) (Ping timeout: 240 seconds)
08:08:50 × catman quits (~catman@user/catman) (Ping timeout: 260 seconds)
08:09:14 catman joins (~catman@user/catman)
08:11:30 × Digit quits (~user@user/digit) (Ping timeout: 276 seconds)
09:18:32 Guest27 joins (~Guest27@om126254143009.33.openmobile.ne.jp)
09:19:27 × Guest27 quits (~Guest27@om126254143009.33.openmobile.ne.jp) (Client Quit)
11:12:46 Digit joins (~user@user/digit)
12:00:45 tremon joins (~tremon@83.80.159.219)
14:00:53 rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca)
16:44:29 Digitteknohippie joins (~user@user/digit)
16:45:30 × Digit quits (~user@user/digit) (Ping timeout: 246 seconds)
16:47:56 Digitteknohippie is now known as Digit
16:48:41 × alp quits (~alp@2001:861:8ca0:4940:4885:27cf:5cc4:648f) (Ping timeout: 252 seconds)
17:46:00 cayley53 joins (~cayley5@user/phileasfogg)
17:46:09 × catman quits (~catman@user/catman) (Ping timeout: 260 seconds)
17:46:39 zawaken- joins (~zawaken@user/zawaken)
17:46:56 dobblego joins (~dibblego@haskell/developer/dibblego)
17:47:34 terrorjack40 joins (~terrorjac@2a01:4f8:c17:dc9f::)
17:51:51 FatBoyXPC_ joins (~FatBoyXPC@user/fatboyxpc)
17:53:59 × terrorjack4 quits (~terrorjac@2a01:4f8:c17:dc9f::) (*.net *.split)
17:53:59 × zawaken quits (~zawaken@user/zawaken) (*.net *.split)
17:53:59 × dibblego quits (~dibblego@haskell/developer/dibblego) (*.net *.split)
17:53:59 × FatBoyXPC quits (~FatBoyXPC@user/fatboyxpc) (*.net *.split)
17:53:59 × cayley5 quits (~cayley5@user/phileasfogg) (*.net *.split)
17:53:59 cayley53 is now known as cayley5
17:54:02 terrorjack40 is now known as terrorjack4
17:54:02 dobblego is now known as dibblego
17:58:46 OftenFaded joins (~OftenFade@user/tisktisk)
18:24:08 alp joins (~alp@2001:861:8ca0:4940:b325:ba7a:69b3:494a)
18:36:38 × Natch quits (~natch@c-92-34-7-158.bbcust.telenor.se) (Remote host closed the connection)
18:54:53 catman joins (~catman@user/catman)
20:43:08 Natch joins (~natch@c-92-34-7-158.bbcust.telenor.se)
20:58:35 × OftenFaded quits (~OftenFade@user/tisktisk) (Quit: Client closed)
20:59:39 OftenFaded joins (~OftenFade@user/tisktisk)
20:59:41 × Natch quits (~natch@c-92-34-7-158.bbcust.telenor.se) (Remote host closed the connection)
21:08:06 Natch joins (~natch@c-92-34-7-158.bbcust.telenor.se)
21:20:37 weitcis joins (~quassel@s-149-142-31-81.resnet.ucla.edu)
21:36:44 <Profpatsch> Leary: the SideBorder type is not exported, I’m becoming the joker
21:38:38 <geekosaur> does it need to be? I thought sideBorder (note case) was a smart constructor; that's the usual convention for layouts, since many of them store state in the actual constructor
21:40:18 × catman quits (~catman@user/catman) (Quit: WeeChat 4.5.0)
21:40:20 <Profpatsch> {-# OPTIONS_GHC -Wno-missing-signatures #-}
21:40:49 <Profpatsch> fwiw GHC should disallow exporting a function without all its types being exposed
21:40:55 <Profpatsch> not talking about constructors ofcs
21:42:12 <Profpatsch> okay, I don’t know why I spent so much time trying to get xmonad to be configurable on the command line again X Error of failed request: BadAccess (attempt to access private resource denied)
21:42:29 <geekosaur> that means you're already running a window manager
21:42:37 <Profpatsch> what does that even mean
21:42:41 <geekosaur> yes, the error message is terrible
21:43:02 <Profpatsch> it’s running inside of lightdm
21:43:19 <geekosaur> and you expected that to work?
21:43:20 <Profpatsch> is that a window manager?
21:43:47 <Profpatsch> I thought it gives over control to xmonad but maybe it doesn’t? idk
21:44:17 <Profpatsch> maybe I didn’t use lightdm the last time I did the whole xmonad --replace
21:47:18 <geekosaur> Wait, no, was on my way out and misread
21:48:06 <geekosaur> It does sound like lightdm ran a different window manager
21:48:45 <Profpatsch> is that error message generated by the running xmonad?
21:48:51 <Profpatsch> or by something else?
21:49:43 <geekosaur> Anyway xmonad is a very minimal program and doesn't wrap X11 errors, so you get a bad error for "sorry, another window manager is running"
21:50:38 <geekosaur> It means xmonad tried to select window manager events and failed
21:52:23 <geekosaur> XSelectInput(root window, SubstructureRedirectMask), roughly
21:54:26 <geekosaur> (sorry, was typing on my phone while downstairs waiting for a package)
21:54:53 <geekosaur> X11 doesn't have a specific error for "another window manager is running", it reuses the one for "that's someone else's graphic context"
21:55:05 <Profpatsch> and that other window manager can’t be xmonad?
21:55:27 <geekosaur> and because X11 is asynchronous, xmonad doesn't receive that error until several operations after it attempts to select window manager events
21:55:29 <Profpatsch> Like if I run `xmonad --replace` that’s a different binary no?
21:55:40 <Profpatsch> how would it be the same thing
21:56:01 <Profpatsch> is there a magic window manager name that is used to dispatch?
21:56:31 <Profpatsch> geekosaur: thanks for the explanation btw, I’m kinda lost here :)
21:57:00 <geekosaur> no. "--replace" means attempt to use the WM handover protocol (grab the WM_S0 selection, which should cause the former holder to exit)
21:57:20 <geekosaur> there's a ticket to make that default behavior, but it relies on the other window manager supporting the protocol
21:57:45 <geekosaur> and, notably, xmonad doesn't support it itself unless started with --replace, which is a kinda stupid bug we've never fixed
21:57:57 <geekosaur> I suppose I shoudl haul that ticket out and fix it at some point
21:58:32 <Profpatsch> ohhhhhhhhhhhhhh
21:58:35 <Profpatsch> that’s the problem!
21:58:37 <Profpatsch> I see
21:58:50 <Profpatsch> I haven’t configured my xmonad to do that
22:04:49 <Profpatsch> currentWmSnOwner <- xGetSelectionOwner dpy wmSnAtom
22:04:50 <Profpatsch> when (currentWmSnOwner /= 0) $ do
22:04:54 <Profpatsch> I see, that’s only in `replace`
22:05:10 <Profpatsch> so if `launch` is called on its own it won’t register the handler
22:16:38 catman joins (~catman@user/catman)
22:27:36 × tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in)
22:30:07 × todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in)
22:55:16 × catman quits (~catman@user/catman) (Quit: WeeChat 4.5.0)
22:58:06 catman joins (~catman@user/catman)
23:01:08 todi joins (~todi@p57803331.dip0.t-ipconnect.de)
23:04:31 × catman quits (~catman@user/catman) (Ping timeout: 265 seconds)

All times are in UTC on 2024-12-16.