2022-11-25 01:12:14 +0100 | minnie | (~minnie@159.196.202.199) |
2022-11-25 01:37:59 +0100 | chomwitt | (~chomwitt@ppp-94-67-236-76.home.otenet.gr) (Ping timeout: 264 seconds) |
2022-11-25 01:43:49 +0100 | mvk | (~mvk@2607:fea8:5ce3:8500::efb) |
2022-11-25 01:44:23 +0100 | mvk | (~mvk@2607:fea8:5ce3:8500::efb) (Client Quit) |
2022-11-25 02:20:18 +0100 | srz | (~srz@179.36.100.166) |
2022-11-25 02:44:07 +0100 | srz | (~srz@179.36.100.166) (Read error: Connection reset by peer) |
2022-11-25 02:45:08 +0100 | srz | (~srz@179.36.100.166) |
2022-11-25 02:45:22 +0100 | srz | (~srz@179.36.100.166) (Remote host closed the connection) |
2022-11-25 02:45:44 +0100 | srz | (~srz@179.36.100.166) |
2022-11-25 02:48:03 +0100 | srz | (~srz@179.36.100.166) (Read error: Connection reset by peer) |
2022-11-25 02:48:06 +0100 | srz_ | (~srz@179.36.100.166) |
2022-11-25 02:48:52 +0100 | srz_ | (~srz@179.36.100.166) (Remote host closed the connection) |
2022-11-25 03:24:47 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 264 seconds) |
2022-11-25 03:32:09 +0100 | AskYourself[m] | (~ask-yours@2001:470:69fc:105::2:9793) |
2022-11-25 03:42:43 +0100 | noex | (~null@user/noex) |
2022-11-25 04:03:29 +0100 | banc | (banc@gateway/vpn/airvpn/banc) (Ping timeout: 260 seconds) |
2022-11-25 04:24:33 +0100 | banc | (banc@gateway/vpn/airvpn/banc) |
2022-11-25 04:54:28 +0100 | minnie | (~minnie@159.196.202.199) (Ping timeout: 260 seconds) |
2022-11-25 04:58:36 +0100 | td_ | (~td@83.135.9.50) (Ping timeout: 256 seconds) |
2022-11-25 05:00:16 +0100 | td_ | (~td@83.135.9.38) |
2022-11-25 06:31:25 +0100 | minnie | (~minnie@159.196.202.199) |
2022-11-25 06:43:49 +0100 | clu | (~clu@user/varjax) |
2022-11-25 08:23:43 +0100 | chomwitt | (~chomwitt@2a02:587:7a0d:dd00:1ac0:4dff:fedb:a3f1) |
2022-11-25 08:45:09 +0100 | ft | (~ft@p508dbd59.dip0.t-ipconnect.de) (Quit: leaving) |
2022-11-25 09:17:35 +0100 | clu | (~clu@user/varjax) (Ping timeout: 264 seconds) |
2022-11-25 10:00:05 +0100 | HAL[m] | (~evadk8mat@2001:470:69fc:105::3ed0) (Quit: You have been kicked for being idle) |
2022-11-25 10:12:17 +0100 | cfricke | (~cfricke@user/cfricke) |
2022-11-25 10:59:55 +0100 | aureliju[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 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2022-11-25 13:35:26 +0100 | ft | (~ft@p508dbd59.dip0.t-ipconnect.de) |
2022-11-25 13:43:18 +0100 | thunderrd | (~thunderrd@183.182.115.215) (Ping timeout: 265 seconds) |
2022-11-25 14:02:09 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 265 seconds) |
2022-11-25 14:23:13 +0100 | rpana | (~rpana@141.30.130.27) |
2022-11-25 15:06:53 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.7.1) |
2022-11-25 15:13:57 +0100 | srz | (~srz@devil.dm.uba.ar) |
2022-11-25 15:22:34 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2022-11-25 15:29:59 +0100 | rpana | (~rpana@141.30.130.27) (Quit: Client closed) |
2022-11-25 15:57:47 +0100 | minnie | (~minnie@159.196.202.199) (Ping timeout: 264 seconds) |
2022-11-25 16:27:23 +0100 | mvk | (~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 +0100 | minnie | (~minnie@159.196.202.199) |
2022-11-25 16:30:28 +0100 | mvk | (~mvk@2607:fea8:5ce3:8500::efb) (Client Quit) |
2022-11-25 17:01:28 +0100 | srz | (~srz@devil.dm.uba.ar) (Ping timeout: 265 seconds) |
2022-11-25 17:02:50 +0100 | escobear | (~gknux@user/galaxy-knuckles/x-3015990) |
2022-11-25 17:03:10 +0100 | gknux | (~gknux@user/galaxy-knuckles/x-3015990) (Ping timeout: 260 seconds) |
2022-11-25 17:03:37 +0100 | escobear | gknux |
2022-11-25 17:09:24 +0100 | Forkk | (~forkk@li926-228.members.linode.com) (Ping timeout: 248 seconds) |
2022-11-25 17:26:57 +0100 | srz | (~srz@devil.dm.uba.ar) |
2022-11-25 17:53:35 +0100 | srz | (~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 +0100 | liskin[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 +0100 | minnie | (~minnie@159.196.202.199) (Ping timeout: 264 seconds) |
2022-11-25 20:42:52 +0100 | srz | (~srz@devil.dm.uba.ar) |
2022-11-25 21:12:01 +0100 | Forkk | (~forkk@li926-228.members.linode.com) |
2022-11-25 21:18:08 +0100 | Guest62 | (~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 +0100 | gknux | (~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 +0100 | gknux | (~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 +0100 | sagax | (~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 +0100 | geekosaur | is 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 +0100 | srz | (~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 +0100 | Guest62 | (~Guest62@180.195.206.166) (Quit: Ping timeout (120 seconds)) |
2022-11-25 23:40:27 +0100 | Guest62 | (~Guest62@180.195.206.166) |
2022-11-25 23:45:13 +0100 | Guest62 | (~Guest62@180.195.206.166) (Client Quit) |
2022-11-25 23:45:29 +0100 | Guest62 | (~Guest62@180.195.206.166) |
2022-11-25 23:48:31 +0100 | Guest62 | (~Guest62@180.195.206.166) (Client Quit) |
2022-11-25 23:56:41 +0100 | Guest62 | (~Guest62@180.195.206.166) |