2022/11/25

2022-11-25 01:12:14 +0100minnie(~minnie@159.196.202.199)
2022-11-25 01:37:59 +0100chomwitt(~chomwitt@ppp-94-67-236-76.home.otenet.gr) (Ping timeout: 264 seconds)
2022-11-25 01:43:49 +0100mvk(~mvk@2607:fea8:5ce3:8500::efb)
2022-11-25 01:44:23 +0100mvk(~mvk@2607:fea8:5ce3:8500::efb) (Client Quit)
2022-11-25 02:20:18 +0100srz(~srz@179.36.100.166)
2022-11-25 02:44:07 +0100srz(~srz@179.36.100.166) (Read error: Connection reset by peer)
2022-11-25 02:45:08 +0100srz(~srz@179.36.100.166)
2022-11-25 02:45:22 +0100srz(~srz@179.36.100.166) (Remote host closed the connection)
2022-11-25 02:45:44 +0100srz(~srz@179.36.100.166)
2022-11-25 02:48:03 +0100srz(~srz@179.36.100.166) (Read error: Connection reset by peer)
2022-11-25 02:48:06 +0100srz_(~srz@179.36.100.166)
2022-11-25 02:48:52 +0100srz_(~srz@179.36.100.166) (Remote host closed the connection)
2022-11-25 03:24:47 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 264 seconds)
2022-11-25 03:32:09 +0100AskYourself[m](~ask-yours@2001:470:69fc:105::2:9793)
2022-11-25 03:42:43 +0100noex(~null@user/noex)
2022-11-25 04:03:29 +0100banc(banc@gateway/vpn/airvpn/banc) (Ping timeout: 260 seconds)
2022-11-25 04:24:33 +0100banc(banc@gateway/vpn/airvpn/banc)
2022-11-25 04:54:28 +0100minnie(~minnie@159.196.202.199) (Ping timeout: 260 seconds)
2022-11-25 04:58:36 +0100td_(~td@83.135.9.50) (Ping timeout: 256 seconds)
2022-11-25 05:00:16 +0100td_(~td@83.135.9.38)
2022-11-25 06:31:25 +0100minnie(~minnie@159.196.202.199)
2022-11-25 06:43:49 +0100clu(~clu@user/varjax)
2022-11-25 08:23:43 +0100chomwitt(~chomwitt@2a02:587:7a0d:dd00:1ac0:4dff:fedb:a3f1)
2022-11-25 08:45:09 +0100ft(~ft@p508dbd59.dip0.t-ipconnect.de) (Quit: leaving)
2022-11-25 09:17:35 +0100clu(~clu@user/varjax) (Ping timeout: 264 seconds)
2022-11-25 10:00:05 +0100HAL[m](~evadk8mat@2001:470:69fc:105::3ed0) (Quit: You have been kicked for being idle)
2022-11-25 10:12:17 +0100cfricke(~cfricke@user/cfricke)
2022-11-25 10:59:55 +0100aureliju[m](~aurelijum@2001:470:69fc:105::2:c720)
2022-11-25 11:32:20 +0100 <aureliju[m]> Hello there,... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/f63eeed530b814d5495deb41c20032c9596f…>)
2022-11-25 11:54:20 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-11-25 13:35:26 +0100ft(~ft@p508dbd59.dip0.t-ipconnect.de)
2022-11-25 13:43:18 +0100thunderrd(~thunderrd@183.182.115.215) (Ping timeout: 265 seconds)
2022-11-25 14:02:09 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 265 seconds)
2022-11-25 14:23:13 +0100rpana(~rpana@141.30.130.27)
2022-11-25 15:06:53 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.7.1)
2022-11-25 15:13:57 +0100srz(~srz@devil.dm.uba.ar)
2022-11-25 15:22:34 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-11-25 15:29:59 +0100rpana(~rpana@141.30.130.27) (Quit: Client closed)
2022-11-25 15:57:47 +0100minnie(~minnie@159.196.202.199) (Ping timeout: 264 seconds)
2022-11-25 16:27:23 +0100mvk(~mvk@2607:fea8:5ce3:8500::efb)
2022-11-25 16:29:19 +0100[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2022-11-25 16:29:37 +0100[Leary](~Leary]@user/Leary/x-0910699)
2022-11-25 16:29:40 +0100minnie(~minnie@159.196.202.199)
2022-11-25 16:30:28 +0100mvk(~mvk@2607:fea8:5ce3:8500::efb) (Client Quit)
2022-11-25 17:01:28 +0100srz(~srz@devil.dm.uba.ar) (Ping timeout: 265 seconds)
2022-11-25 17:02:50 +0100escobear(~gknux@user/galaxy-knuckles/x-3015990)
2022-11-25 17:03:10 +0100gknux(~gknux@user/galaxy-knuckles/x-3015990) (Ping timeout: 260 seconds)
2022-11-25 17:03:37 +0100escobeargknux
2022-11-25 17:09:24 +0100Forkk(~forkk@li926-228.members.linode.com) (Ping timeout: 248 seconds)
2022-11-25 17:26:57 +0100srz(~srz@devil.dm.uba.ar)
2022-11-25 17:53:35 +0100srz(~srz@devil.dm.uba.ar) (Ping timeout: 264 seconds)
2022-11-25 20:29:57 +0100 <liskin> Oh crap, we never triggered https://github.com/xmonad/xmonad-docs/actions to generate docs for 0.17.1 :-(
2022-11-25 20:30:10 +0100liskin[m](~liskinmat@2001:470:69fc:105::768)
2022-11-25 20:30:14 +0100 <liskin> I should add that to MANTAINERS.dm
2022-11-25 20:34:30 +0100 <xmonadtrack> xmonad Tomas Janousek * v0.17.1-33-g40f8246: MAINTAINERS: Add xmonad-docs build step to the release process (2 minutes ago, 1 file, 6+ 1-) https://github.com/xmonad/xmonad/commit/40f8246080e1
2022-11-25 20:40:23 +0100minnie(~minnie@159.196.202.199) (Ping timeout: 264 seconds)
2022-11-25 20:42:52 +0100srz(~srz@devil.dm.uba.ar)
2022-11-25 21:12:01 +0100Forkk(~forkk@li926-228.members.linode.com)
2022-11-25 21:18:08 +0100Guest62(~Guest62@180.195.206.166)
2022-11-25 21:18:45 +0100 <Guest62> Hello is anyone around?
2022-11-25 21:19:20 +0100 <geekosaur> yes
2022-11-25 21:20:37 +0100 <Guest62> Hey I'm having a problem when I changed my config according to the newest tutorial.
2022-11-25 21:21:15 +0100 <Guest62> If I set my layout to "full" the xmobar panel is not being hidden.
2022-11-25 21:21:42 +0100 <Guest62> I tried following this https://github.com/xmonad/xmonad/blob/master/TUTORIAL.md
2022-11-25 21:22:20 +0100 <geekosaur> the Full layout doesn't by itself hide panels
2022-11-25 21:22:35 +0100 <Guest62> Ooof,
2022-11-25 21:22:40 +0100 <geekosaur> if you want that then you need to play games with avoidStruts
2022-11-25 21:23:01 +0100 <geekosaur> or perhaps you want actual fullscreen, which is not what Full is
2022-11-25 21:23:10 +0100 <Guest62> Yea, already added on to the myLayout section.
2022-11-25 21:24:01 +0100 <geekosaur> not enough just to havge it, you need to use it specially. see https://github.com/geekosaur/xmonad.hs/blob/skkukuk/xmonad.hs#L144-L145
2022-11-25 21:25:02 +0100 <geekosaur> avoidStrutsOn [] means struts default disabled there
2022-11-25 21:26:16 +0100 <geekosaur> if you want this as part of a layout rotation with ||| ten you do something like: avoidStruts (layout1 ||| layout2 ||| whatever) ||| avoidStrutsOn [] Full
2022-11-25 21:26:31 +0100 <Guest62> Previously before I started to use the XMonadLog whenever I change my layout to "full" actual wholescreen is used by the window.
2022-11-25 21:26:40 +0100 <Guest62> I used it like this.
2022-11-25 21:26:42 +0100 <Guest62> avoidStruts (tiled ||| column) ||| Full
2022-11-25 21:26:42 +0100 <geekosaur> (or omit the avoidStrutsOn [] part; I have that so I can toggle them on if I want)
2022-11-25 21:27:00 +0100 <geekosaur> that should work fine, I'd think
2022-11-25 21:27:23 +0100 <geekosaur> just don't have another avoidStruts above it because that will take precedence
2022-11-25 21:28:18 +0100 <Guest62> Uhm, above it I have only smartborders and spacingraw.
2022-11-25 21:29:17 +0100 <geekosaur> hm, that's not guaranteed to work right, struts need to be outside of/above spacing
2022-11-25 21:30:43 +0100 <geekosaur> but you'd want Full to be outside of spacing for that to be fullscreen anyway
2022-11-25 21:30:54 +0100 <geekosaur> your layoutHook would end up somewhat more complex
2022-11-25 21:31:33 +0100 <geekosaur> (avoidStruts $ spacingRaw … $ tiled ||| column) ||| Full
2022-11-25 21:32:03 +0100 <Guest62> Interesting.
2022-11-25 21:32:17 +0100 <Guest62> I will try your suggestion.
2022-11-25 21:34:19 +0100 <Guest62> No dice. xmobar is still not being hidden.
2022-11-25 21:34:27 +0100 <geekosaur> if spacingRaw includes edge spacing then the status bar will again be visible, since we never actually hide it, we only allow it to be overlapped
2022-11-25 21:35:01 +0100 <geekosaur> there's a setting for xmobar for actual hiding iirc but I'm not an xmobar user so I can't tell you much about it
2022-11-25 21:35:36 +0100 <Guest62> What do you use if I may ask?
2022-11-25 21:35:56 +0100 <geekosaur> I run xmonad as window manager for MATE so I use mate-panel and xmonad-log-applet
2022-11-25 21:36:20 +0100 <geekosaur> which means I have half of hackage as dependencies for my xmonad.hs because xmonad-log-applet uses dbus 🙂
2022-11-25 21:38:52 +0100 <Guest62> Ooof sounds more complicated than what I can handle. :')
2022-11-25 21:40:02 +0100 <geekosaur> well, you can do quite a lot with just EWMH properties. I wanted some extra stuff so I have a very customized DynamicLog setup
2022-11-25 21:42:06 +0100 <Guest62> I thought DynamicLog is frozen?
2022-11-25 21:42:33 +0100 <geekosaur> DynamicLog is still the underpinning for logging
2022-11-25 21:42:50 +0100 <geekosaur> so you can still use it if you're doing a custom setup like I am
2022-11-25 21:43:28 +0100gknux(~gknux@user/galaxy-knuckles/x-3015990) (Ping timeout: 268 seconds)
2022-11-25 21:43:53 +0100 <geekosaur> X.H.DynamicLog now just reexports X.H.StatusBar.PP, but the low level logging function is still dynamicLogWithPP
2022-11-25 21:45:49 +0100 <geekosaur> and I have to use it directly because there's no way to use the StatusBar stuff to initialize dbus and associate the resulting handle with the PP
2022-11-25 21:46:21 +0100 <geekosaur> and I'm not sure we want one given all the deps dbus has 🙂
2022-11-25 21:47:12 +0100 <Guest62> If I comment out the line with easySB ... in the main section the full layout works :')
2022-11-25 21:47:33 +0100 <geekosaur> that's because xmobar is no longer running 🙂
2022-11-25 21:47:43 +0100 <geekosaur> easySB is what launches it
2022-11-25 21:50:09 +0100 <Guest62> If you don't mind, can you share your dotfiles?
2022-11-25 21:50:42 +0100 <geekosaur> I pointed to the main one earlier
2022-11-25 21:51:03 +0100 <geekosaur> https://github.com/geekosaur/xmonad.hs/blob/skkukuk/xmonad.hs
2022-11-25 21:51:43 +0100 <geekosaur> there's some other ones in the same repo and branch; since I have that dbus dependency I use cabal to build my setup
2022-11-25 21:52:00 +0100 <geekosaur> (stack would work as well but I don't like stack)
2022-11-25 21:56:47 +0100 <Guest62> Your config looks so different.
2022-11-25 21:58:21 +0100 <geekosaur> yes, I format it a lot differently than most folks
2022-11-25 21:58:33 +0100 <geekosaur> plus it predates the tutorial by some 15 years 🙂
2022-11-25 21:59:01 +0100 <Guest62> Can you take a look at mine? Maybe there is more that I am missing?
2022-11-25 21:59:03 +0100 <Guest62> https://github.com/Meeekow/arch/blob/main/dotfiles/xmonad.hs
2022-11-25 21:59:15 +0100 <Guest62> Holy shit. 15 years?
2022-11-25 21:59:47 +0100 <Guest62> I haven't even got 1 year using xmonad.
2022-11-25 22:00:23 +0100 <AskYourself[m]> Is there a good example of how to set up Xmonad on NixOS? I still have my config from Arch, but I'm struggling to get things working. In the greeter screen I can see Xmonad is an option, now that I've added windowManager.xmonad.enable = true;, but I can't figure out how to actually make it use my Xmonad config.
2022-11-25 22:00:41 +0100gknux(~gknux@user/galaxy-knuckles/x-3015990)
2022-11-25 22:16:11 +0100 <geekosaur> Guest62, looks to me like you still have spacingRaw before your other layout stuff (including avoidStruts, which makes it malfunction), and it adds a space of 10 on the bottom so that allows xmobar to be visible
2022-11-25 22:17:17 +0100 <geekosaur> AskYourself[m], I'm sorry but I don't know NixOS. I think you have to watch out for home-manager though, it may need to be configured to use a custom xmonad.hs instead of one it builds? but you need a NixOS user to confirm that
2022-11-25 22:17:19 +0100 <Guest62> I'll try to rewrite it. Thank you so much!
2022-11-25 22:17:46 +0100 <geekosaur> [25 20:31:33] <geekosaur> (avoidStruts $ spacingRaw … $ tiled ||| column) ||| Full
2022-11-25 22:18:23 +0100 <geekosaur> this way (a) avoidStruts is in the right place relative to spacing; (b) both avoidStruts and spacing apply only to the non-Full layouts
2022-11-25 22:18:35 +0100 <AskYourself[m]> geekosaur: Dang ok. Thanks anyway. I appreciate the reply.
2022-11-25 22:23:34 +0100 <geekosaur> Guest62, note that Full doesn't override avoidStruts *or* spacingRaw, it uses the space left after both are applied
2022-11-25 22:24:04 +0100 <geekosaur> which is why you need to arrange your layoutHook to not apply either if you want Full to actually use the full screen
2022-11-25 22:25:26 +0100 <geekosaur> this is a general rule for layouts; the screen rectangle is passed in, then layout modifiers make modifications and pass on the resulting rectangle to other layouts
2022-11-25 22:26:24 +0100 <Guest62> Still no go. I removed the smartBorders and spacingRaw and wrote it like this for testing but xmobar is still showing when full screen layout is selected.
2022-11-25 22:26:25 +0100 <Guest62> myLayout = (avoidStruts $ tiled ||| column) ||| Full
2022-11-25 22:26:40 +0100 <geekosaur> is a window open?
2022-11-25 22:26:47 +0100 <Guest62> Yes.
2022-11-25 22:26:59 +0100 <Guest62> Should I close everything?
2022-11-25 22:27:02 +0100 <geekosaur> also you may need to configure xmobar to lowerOnStart
2022-11-25 22:27:22 +0100 <geekosaur> no, just making sure because it would be visible if nothing else were open
2022-11-25 22:27:49 +0100 <geekosaur> I think xmobar needs to be configured with lowerOnStart = True; overrideRedirect = False
2022-11-25 22:28:25 +0100 <geekosaur> oh and it looks like your manageHook is missing manageDocks
2022-11-25 22:28:56 +0100 <Guest62> In xmobarrc, both are already the way you mentioned.
2022-11-25 22:29:01 +0100 <geekosaur> put it before line 170 in the paste you showed me
2022-11-25 22:31:41 +0100 <Guest62> Like this?
2022-11-25 22:31:42 +0100 <Guest62> manageDocks $ (avoidStruts $ tiled ||| column) ||| Full
2022-11-25 22:34:46 +0100 <geekosaur> manageDocks goes in the manageHook, not the layoutHook
2022-11-25 22:35:03 +0100 <geekosaur> https://github.com/Meeekow/arch/blob/main/dotfiles/xmonad.hs#L170
2022-11-25 22:35:09 +0100 <geekosaur> insert it there
2022-11-25 22:38:19 +0100 <Guest62> Like this?
2022-11-25 22:38:19 +0100 <Guest62> , manageDocks resource  =? "desktop_window" --> doIgnore
2022-11-25 22:39:35 +0100 <geekosaur> comma also after manageDocks
2022-11-25 22:40:47 +0100 <Guest62> , manageDocks
2022-11-25 22:40:47 +0100 <Guest62> , resource  =? "desktop_window" --> doIgnore
2022-11-25 22:40:48 +0100 <Guest62> I did it like this and was able to compile. Still not hiding xmobar panel. ;(
2022-11-25 22:41:04 +0100 <geekosaur> no, I suspected that wouldn't help much
2022-11-25 22:41:16 +0100 <geekosaur> it prevents other problems but not that
2022-11-25 22:41:21 +0100 <Guest62> It was worth the try.
2022-11-25 22:42:18 +0100 <geekosaur> can you ppush your latest changes so I can see them?
2022-11-25 22:42:37 +0100 <Guest62> One sec.
2022-11-25 22:43:14 +0100 <Guest62> Done.
2022-11-25 22:44:34 +0100 <geekosaur> ah,m I just noticed you already had manageDocks separate from the others (line 258). won't hurt anything
2022-11-25 22:45:46 +0100 <geekosaur> I don't see anything wrong here 😞
2022-11-25 22:48:03 +0100 <Guest62> Maybe I have to reinstall via Cabal?
2022-11-25 22:48:14 +0100 <Guest62> I installed via Stack.
2022-11-25 23:01:08 +0100sagax(~sagax_nb@user/sagax)
2022-11-25 23:02:34 +0100 <geekosaur> shouldn't matter
2022-11-25 23:02:49 +0100 <geekosaur> I use cabal but that's because of the dbus dependency, which you don't have
2022-11-25 23:03:08 +0100 <geekosaur> and because I maintain the cabal integration
2022-11-25 23:04:23 +0100 <Guest62> Maybe I need to rewrite my whole config.
2022-11-25 23:04:48 +0100 <geekosaur> it looked fine to me
2022-11-25 23:05:20 +0100 <geekosaur> but really we need someone who knows xmobar better, and I don't use it
2022-11-25 23:06:08 +0100 <Guest62> I don't even know what to search now.
2022-11-25 23:10:06 +0100 <geekosaur> hm. I wonder if you actually need the `avoidStrutsOn []` that I use
2022-11-25 23:10:34 +0100 <geekosaur> (avoidStruts $ tiled ||| column) ||| avoidStrutsOn [] Full
2022-11-25 23:11:09 +0100 <geekosaur> I would expect that to be optional but I may not have fully understood the last strut rewrite
2022-11-25 23:11:18 +0100 <Guest62> Worth a try. One sec.
2022-11-25 23:15:01 +0100 <Guest62> Sadly it doesn't work.
2022-11-25 23:16:57 +0100 <geekosaur> didn't think so. the avoidStruts in the one leg shouldn't be able to affect the other, I'd expect
2022-11-25 23:17:57 +0100 <geekosaur> mm, are you just doing mod-q to restart? just barely possible that a mod-shift-space is needed (I don't think so since the layout's type should be changing)
2022-11-25 23:18:41 +0100geekosauris kinda digging randomly at this point since nothing seems to be wrong with the layout
2022-11-25 23:19:27 +0100 <geekosaur> oh, hm. is xmobar overlaying the bottom of the window, or is the window bottom abutting xmobar?
2022-11-25 23:20:33 +0100 <Guest62> I can't tell because of the colors. Let me try and change that.
2022-11-25 23:25:22 +0100 <Guest62> It seems xmobar is overlaying? The title bar from the browser(firefox) seems fine to me. Terminal(kitty) seems to have a bit more spacing when it is under the browser in the slave side compared to the terminal(kitty) on the master pane.
2022-11-25 23:26:01 +0100srz(~srz@devil.dm.uba.ar) (Remote host closed the connection)
2022-11-25 23:27:09 +0100 <geekosaur> that would mean it's not an xmonad issue at this point, I think; xmobar is doing something wrong (maybe lowerOnStart isn't taking effect?)
2022-11-25 23:28:39 +0100 <geekosaur> the strut stuff requires that both the window manager and the dock behave according to certain rules, and either one can get it wrong
2022-11-25 23:32:26 +0100 <Guest62> Best thing I can do now is maybe try another panel? Like polybar?
2022-11-25 23:33:55 +0100 <Guest62> If xmonad is not the problem I am happy with that because I don't really know haskell so I only depend on the modules man page :')
2022-11-25 23:40:15 +0100Guest62(~Guest62@180.195.206.166) (Quit: Ping timeout (120 seconds))
2022-11-25 23:40:27 +0100Guest62(~Guest62@180.195.206.166)
2022-11-25 23:45:13 +0100Guest62(~Guest62@180.195.206.166) (Client Quit)
2022-11-25 23:45:29 +0100Guest62(~Guest62@180.195.206.166)
2022-11-25 23:48:31 +0100Guest62(~Guest62@180.195.206.166) (Client Quit)
2022-11-25 23:56:41 +0100Guest62(~Guest62@180.195.206.166)