Logs on 2025-09-10 (liberachat/#xmonad)
| 01:25:25 | → | sajenim joins (~sajenim@user/sajenim) |
| 05:23:48 | × | ml| quits (~ml|@user/ml/x-5298235) (Ping timeout: 252 seconds) |
| 05:26:37 | → | ChubaDuba joins (~ChubaDuba@79.136.183.200) |
| 05:42:50 | → | ml| joins (~ml|@user/ml/x-5298235) |
| 06:22:52 | <haskellbridge> | <Solid> geekosaur: I guess we can prune a few of the people who haven't been around for years if you want, but I don't see either of those names as being a big risk |
| 06:28:52 | <deebo> | xmonad + haskell is in itself true security through obscurity :) |
| 06:29:00 | → | Solid joins (~slot@xmonad/slotThe) |
| 06:31:29 | × | ChubaDuba quits (~ChubaDuba@79.136.183.200) (Quit: WeeChat 4.6.3) |
| 06:35:37 | → | ChubaDuba joins (~ChubaDuba@79.136.183.200) |
| 06:50:50 | × | Solid quits (~slot@xmonad/slotThe) (Remote host closed the connection) |
| 07:01:02 | × | ChubaDuba quits (~ChubaDuba@79.136.183.200) (Quit: WeeChat 4.6.3) |
| 07:35:36 | × | de-vri-es quits (~de-vri-es@voyager.de-vri.es) (Quit: Bathrobe!) |
| 07:36:02 | → | de-vri-es joins (~de-vri-es@voyager.de-vri.es) |
| 07:52:34 | × | ft quits (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:01:35 | × | joshproehl quits (~quassel@user/joshproehl) (Quit: Disappearing act!) |
| 08:02:47 | → | joshproehl joins (~quassel@user/joshproehl) |
| 09:19:03 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 09:24:51 | <Enrico63> | Hi all, is there anybody available for "reviewing" an xmonad.hs file? Nothing thorough, I'd just like to know if my setup is resonably ok or it has some very ancient deprecated stuff. |
| 09:24:51 | <Enrico63> | Background: I've been happily using xmonad+xmobar for the last few years, but only in last few days I've hit https://github.com/xmonad/xmonad/issues/245 and successfully adopted the suggested solution of using `refocusLastLayoutHook` and `focusTracking`. I see, however, also the usage of `avoidStruts`, which I don't know what it is.. apparently is |
| 09:24:52 | <Enrico63> | for avoiding xmonad windows overlapping with other entitites such as xmobar, but I'm not using `avoidStruts` and yet my (non-floating) windows are not overlapping with xmobar. So I wandered more generally about my whole setup. |
| 09:26:13 | <Enrico63> | Oh, my xmobar.hs is here: https://gist.github.com/Aster89/34747b2ef46bb5e21cc634a87c1d2db1 |
| 09:42:33 | <haskellbridge> | <Solid> Enrico63: The "withEasySB" function that you use automatically adds "avoidStruts", so you don't have to worry about it |
| 09:43:14 | <haskellbridge> | <Solid> In general it looks like you went through (at least parts of) the tutorial, which is generally up-to-date and not super deprecated, in the way a few old config might be |
| 09:43:26 | <haskellbridge> | <Solid> So I wouldn't worry :) |
| 09:51:51 | <Enrico63> | Thanks! |
| 10:41:07 | <Enrico63> | I have another question: I've just tried the magnifiers, and I have the feeling that something is off as regards the reloading of xmonad. |
| 10:41:07 | <Enrico63> | Say I this layout: |
| 10:41:08 | <Enrico63> | ``` |
| 10:41:08 | <Enrico63> | threeCol = magnifiercz 1.1 $ ThreeColMid nmaster delta ratio |
| 10:41:09 | <Enrico63> | ``` |
| 10:41:09 | <Enrico63> | It works. Now I change it to 1.3, and restart xmonad in place. It takes its time to compile but then I don't see the change in the factor. |
| 10:41:10 | <Enrico63> | So I revert moentarily to |
| 10:41:10 | <Enrico63> | ``` |
| 10:41:11 | <Enrico63> | threeCol = ThreeColMid nmaster delta ratio |
| 10:41:11 | <Enrico63> | ``` |
| 10:41:12 | <Enrico63> | rebuild in place, and then change it |
| 10:41:12 | <Enrico63> | ``` |
| 10:41:13 | <Enrico63> | threeCol = magnifiercz 1.3 $ ThreeColMid nmaster delta ratio |
| 10:41:13 | <Enrico63> | ``` |
| 10:41:14 | <Enrico63> | and rebuild in place. Now I do see the change in the magnifying factor. |
| 10:41:14 | <Enrico63> | It looks like changing the magnifier and recompiling is not enough for xmonad to digetst the change, and I always have to pass by a non-magnified layout compilation to be able to actually change the layout. |
| 10:41:15 | <Enrico63> | Is this some known issue? |
| 10:45:00 | <Leary> | Enrico63: Yes. xmonad can't distinguish static from dynamic configuration changes, so it errs on the side of preserving dynamic config. There's a default binding to load new/default layout config on the current workspace: Mod+Shift+Space |
| 10:56:21 | <Enrico63> | Where in the world do I find the default configuration of xmonad? I see the datatype at https://hackage.haskell.org/package/xmonad-0.18.0/docs/src/XMonad.Core.html#XConfig but where do I find the values of the defaults? |
| 10:57:28 | <Enrico63> | I have M+S+space bound to another action, so I'd like add a custom key binding, but I don't know what to bind it to |
| 10:58:32 | <Leary> | Enrico63: https://hackage.haskell.org/package/xmonad-0.18.0/docs/src/XMonad.Config.html#keys |
| 11:39:17 | <Enrico63> | Wow, I've spent the last half an hour trying to get this mapping working, and the reason why it wouldn't I think it's unrelatred to xmonad, but maybe you can help. |
| 11:39:17 | <Enrico63> | My config looked like this: |
| 11:39:18 | <Enrico63> | ``` |
| 11:39:18 | <Enrico63> | myConfig = def |
| 11:39:19 | <Enrico63> | { terminal = "urxvt" |
| 11:39:19 | <Enrico63> | , modMask = mod4Mask |
| 11:39:20 | <Enrico63> | } |
| 11:39:20 | <Enrico63> | `additionalKeysP` myKeys |
| 11:39:21 | <Enrico63> | myKeys = ("M-<Space>", sendMessage NextLayout) |
| 11:39:21 | <Enrico63> | : ("M-S-<Space>", spawn "rofi -show combi -theme sidebar.rasi") |
| 11:39:22 | <Enrico63> | -- more stuff |
| 11:39:22 | <Enrico63> | : [] |
| 11:39:23 | <Enrico63> | ``` |
| 11:39:23 | <Enrico63> | where I don't want to change the mapping on "M-S-<Space>" that, as you made me notice, is shadowing the command to reload the config. |
| 11:39:24 | <Enrico63> | So I've opted for adding this in `myConfig`, inside the curly braces: |
| 11:39:24 | <Enrico63> | ``` |
| 11:39:25 | <Enrico63> | , keys = \l -> M.adjust (const $ setLayout $ XMonad.layoutHook l) |
| 11:39:25 | <Enrico63> | (modMask l .|. shiftMask, xK_o) |
| 11:49:26 | <fizzie> | There's no existing binding for M-S-o, and M.adjust only changes existing values for keys that already exist in the map: https://hackage-content.haskell.org/package/containers-0.8/docs/Data-Map-Internal.html#v:adjust |
| 11:49:37 | <fizzie> | You likely wanted M.insert instead. |
| 11:49:48 | <fizzie> | (It'll replace existing values too.) |
| 11:50:31 | <Leary> | Enrico63: I suggest something like this: https://paste.tomsmeding.com/R2BEETca |
| 11:51:32 | <Leary> | Well, flip the order of `<>` I guess, since `Map` is left-biased. |
| 11:51:47 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 12:07:03 | → | tv joins (~tv@user/tv) |
| 12:10:10 | → | xnxn joins (~xnxn@dslb-002-206-034-018.002.206.pools.vodafone-ip.de) |
| 12:13:33 | <Enrico63> | fizzie, aaaarg, thanks! |
| 12:16:48 | <Enrico63> | And also Leary, thanks for the approach to clean the code up |
| 12:17:25 | → | Solid joins (~slot@xmonad/slotThe) |
| 12:25:03 | × | xnxn quits (~xnxn@dslb-002-206-034-018.002.206.pools.vodafone-ip.de) (Quit: Client closed) |
| 13:17:34 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 13:34:24 | → | hightower4 joins (~hightower@dh207-82-17.xnet.hr) |
| 13:37:00 | × | hightower2 quits (~hightower@cpe-94-253-244-59.st.cable.xnet.hr) (Ping timeout: 265 seconds) |
| 13:37:35 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 13:41:18 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Client Quit) |
| 13:47:46 | × | Solid quits (~slot@xmonad/slotThe) (Quit: ERC 5.6.1-git (IRC client for GNU Emacs 31.0.50)) |
| 14:50:39 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 15:07:55 | × | catman quits (~catman@user/catman) (Quit: WeeChat 4.7.1) |
| 15:09:45 | → | catman joins (~catman@user/catman) |
| 15:31:59 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 16:28:29 | → | ChubaDuba joins (~ChubaDuba@176.212.44.174) |
| 17:23:23 | → | ft joins (~ft@p4fc2a25a.dip0.t-ipconnect.de) |
| 18:18:07 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 18:23:13 | × | mkoskar quits (~mkoskar@user/mkoskar) (Ping timeout: 248 seconds) |
| 18:30:19 | → | mkoskar joins (~mkoskar@user/mkoskar) |
| 18:36:38 | × | ChubaDuba quits (~ChubaDuba@176.212.44.174) (Quit: WeeChat 4.6.3) |
| 18:39:19 | → | xnxn joins (~xnxn@dslb-002-206-034-018.002.206.pools.vodafone-ip.de) |
| 18:51:10 | × | xnxn quits (~xnxn@dslb-002-206-034-018.002.206.pools.vodafone-ip.de) (Quit: Client closed) |
| 19:10:22 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 19:59:36 | × | mkoskar quits (~mkoskar@user/mkoskar) (Quit: mkoskar) |
| 19:59:48 | → | mkoskar joins (~mkoskar@user/mkoskar) |
| 20:15:24 | × | mkoskar quits (~mkoskar@user/mkoskar) (Quit: mkoskar) |
| 20:17:25 | → | mkoskar joins (~mkoskar@user/mkoskar) |
| 20:30:48 | × | ghormoon quits (~ghormoon@ghorland.net) (Ping timeout: 248 seconds) |
| 20:44:31 | → | ghormoon joins (~ghormoon@ghorland.net) |
| 21:13:09 | × | mkoskar quits (~mkoskar@user/mkoskar) (Quit: mkoskar) |
| 21:14:02 | → | mkoskar joins (~mkoskar@user/mkoskar) |
All times are in UTC on 2025-09-10.