2023/08/20

2023-08-20 00:26:20 +0200mvk(~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 248 seconds)
2023-08-20 02:43:36 +0200jabuxas(~jabuxas@user/jabuxas)
2023-08-20 03:05:18 +0200jabuxas_(~jabuxas@user/jabuxas)
2023-08-20 03:10:30 +0200jabuxas_(~jabuxas@user/jabuxas) (Ping timeout: 245 seconds)
2023-08-20 03:11:43 +0200jabuxas(~jabuxas@user/jabuxas) (Ping timeout: 246 seconds)
2023-08-20 03:12:40 +0200jabuxas_(~jabuxas@user/jabuxas)
2023-08-20 04:12:58 +0200td_(~td@i5387090E.versanet.de) (Ping timeout: 246 seconds)
2023-08-20 04:14:51 +0200td_(~td@i53870934.versanet.de)
2023-08-20 04:30:36 +0200ft(~ft@80.141.190.80) (Ping timeout: 248 seconds)
2023-08-20 04:32:22 +0200ft(~ft@p4fc2ad78.dip0.t-ipconnect.de)
2023-08-20 06:27:32 +0200ml|(~ml|@user/ml/x-5298235) (Quit: WeeChat 4.0.2)
2023-08-20 06:28:17 +0200ml|(~ml|@user/ml/x-5298235)
2023-08-20 11:22:29 +0200thunderrd(~thunderrd@183.182.114.166)
2023-08-20 12:17:40 +0200tv(~tv@user/tv)
2023-08-20 14:13:18 +0200 <liskin> Does anyone understand what the fuck is going on with all these people asking about the conditional layout PR?
2023-08-20 14:13:41 +0200 <liskin> Like is it not clear that my approach is both simpler and more correct?
2023-08-20 14:42:42 +0200mvk(~mvk@2607:fea8:5c9a:a600::1c6d)
2023-08-20 18:14:17 +0200mvk(~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 246 seconds)
2023-08-20 18:22:37 +0200tremon(~tremon@83.80.159.219)
2023-08-20 18:34:33 +0200 <geekosaur> I think they just want it period
2023-08-20 19:34:09 +0200thunderrd(~thunderrd@183.182.114.166) (Remote host closed the connection)
2023-08-20 19:35:15 +0200thunderrd(~thunderrd@183.182.114.166)
2023-08-20 19:42:13 +0200thunderrd(~thunderrd@183.182.114.166) (Remote host closed the connection)
2023-08-20 19:45:42 +0200thunderrd(~thunderrd@183.182.114.166)
2023-08-20 19:47:29 +0200 <deebo> anyone using some desktop environment on fedora with xmonad --replace?
2023-08-20 19:47:51 +0200 <deebo> been using ubuntu 20.04 with mate, but with the snap infection it's no longer an option
2023-08-20 19:55:32 +0200thunderrd(~thunderrd@183.182.114.166) (Remote host closed the connection)
2023-08-20 21:02:34 +0200szczot3k(fkszczot@wikimedia/fkszczot)
2023-08-20 21:03:17 +0200 <Solid> liskin: I think it's just one really insistent person :)
2023-08-20 21:04:06 +0200 <Solid> Your approach does seem much simpler; can you say what actual code is still missing? I said this once (or twice?) before, but now I might *actually* look at and try to complete it :D
2023-08-20 21:04:15 +0200 <szczot3k> Hi! I'd love to hide the statusbar (xmobar in this case) when going fullscreen. What should I look into?
2023-08-20 21:06:55 +0200 <szczot3k> The current xmonad.hs's here - http://0x0.st/HL6a.hs. I didn't find any resources that would help me with hiding it automatically
2023-08-20 21:15:12 +0200 <geekosaur> normally it should just work
2023-08-20 21:17:42 +0200 <szczot3k> geekosaur, I'm talking about firefox's fullscreen, not the fullscreen layout by the way
2023-08-20 21:19:05 +0200 <geekosaur> yes
2023-08-20 21:19:25 +0200 <geekosaur> I hit F11, the statusbar gets covered as the window goes fullscreen
2023-08-20 21:20:29 +0200 <szczot3k> Well, my F11 does get firefox into fullscreen, and disables the border (because of smartBorders), but doesn't hide xmobar
2023-08-20 21:20:45 +0200 <szczot3k> Mind sharing xmonad.hs? Mine's a couple of messages up
2023-08-20 21:21:22 +0200 <geekosaur> https://github.com/geekosaur/xmonad.hs/blob/skkukuk/xmonad.hs (remember, you asked… 😛 )
2023-08-20 21:22:19 +0200 <szczot3k> Well, it's a much more mature config than mine, so I'll look into it
2023-08-20 21:30:39 +0200 <szczot3k> I don't really see anything that would help me tho :/
2023-08-20 21:31:04 +0200 <geekosaur> like I said, it should just work
2023-08-20 21:31:48 +0200 <geekosaur> the only thing at all special I have in there is I toggle borders with mod-b, but that isn't even used by fullscreening
2023-08-20 21:53:43 +0200 <liskin> Solid: just docs I belive, unless you want to go all the way and implement the conditional choose layout as well
2023-08-20 21:54:06 +0200 <liskin> and then one might go and switch some of the existing conditional stuff to this, or just deprecate/document/whatever
2023-08-20 21:54:21 +0200 <liskin> Solid: and I don't think it's just one person, there were multiple asking about this
2023-08-20 21:55:07 +0200 <geekosaur> I saw two
2023-08-20 21:55:07 +0200 <liskin> anyway, I managed to calm down a bit :-)
2023-08-20 21:55:24 +0200 <geekosaur> but one of them (Ivan) kinda piled on
2023-08-20 21:55:33 +0200 <liskin> wonder how long this agony is going to last
2023-08-20 21:55:57 +0200 <liskin> but guess not much longer since I told both my boss and an HR person last week that I hate my job and wouldn't mind getting fired, lol
2023-08-20 22:01:30 +0200 <geekosaur> szczot3k, I just verified that my conig still works with Firefox (I use chrome as you could probably see from my config), even with ubuntu 22.04's snap-ized version
2023-08-20 22:02:59 +0200 <szczot3k> Well, I don't even to any weird stuff, other than running Gentoo (xmonad 0.17.2, xmobar 0.44.1)
2023-08-20 22:06:12 +0200 <geekosaur> mm. lemme ask this, is firefox going under xmobar or just not using that screen space?
2023-08-20 22:06:45 +0200 <geekosaur> and if it's going under, do you have `lowerOnStart` set in your xmobar config? (It should be `True`)
2023-08-20 22:10:24 +0200 <szczot3k> http://0x0.st/HL6a.hs - well, I don't see it anywhere in the config
2023-08-20 22:10:37 +0200 <szczot3k> oh, mobar config
2023-08-20 22:11:22 +0200 <szczot3k> http://0x0.st/HL6h.txt - nope, don't see loweronstart
2023-08-20 22:12:27 +0200 <geekosaur> add `, lowerOnStart = True` after `overrideRedirect = False`
2023-08-20 22:13:58 +0200 <geekosaur> then mod-q restart xmonad (which should also restart xmobar), then see if firefix works properly now
2023-08-20 22:14:33 +0200 <szczot3k> geekosaur, no change
2023-08-20 22:14:48 +0200 <geekosaur> 😞
2023-08-20 22:15:24 +0200 <geekosaur> we're running out of things I know how to diagnose with xmobar (I don't use it)
2023-08-20 22:18:32 +0200 <geekosaur> hm, actually that's just your top bar, make the same change to the bottom bar config? although I guess you'd have noticed if it had only half worked
2023-08-20 22:19:19 +0200 <szczot3k> "top" is my "main monitor" bar, I've also got xmobar_1 for the second one
2023-08-20 22:19:48 +0200 <geekosaur> oh, I thought they were top/bottom, sorry
2023-08-20 22:20:32 +0200 <szczot3k> yeah, I probably should rename those