IRCBrowse

2023/02/09

2023-02-09 00:01:53 +0100patrl(~patrl@user/patrl)
2023-02-09 00:04:31 +0100patrl(~patrl@user/patrl) (Client Quit)
2023-02-09 00:42:55 +0100kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 248 seconds)
2023-02-09 02:04:48 +0100 <ectospasm> OK, reposting a little from last night. Here's my xmonad.hs, in its current form: https://git.eldon.me/trey/XMonad/src/branch/multiheaded-fixup/xmonad.hs
2023-02-09 02:05:24 +0100 <ectospasm> I've been trying to wrack my brain on how I got per-display workspaces working, but it looks like I no longer have comments that give me clues.
2023-02-09 02:05:55 +0100werneta(~werneta@137.79.219.74) (Remote host closed the connection)
2023-02-09 02:06:22 +0100 <geekosaur> the usual way is X.L.IndependentScreens
2023-02-09 02:06:44 +0100 <ectospasm> geekosaur: Yes, I am using IndependentScreens (I have it mapped to IS)
2023-02-09 02:06:53 +0100 <ectospasm> But I don't know what the next steps are.
2023-02-09 02:07:15 +0100 <ectospasm> I use IS.countScreens a few places to change behavior whether one or three screens are detected.
2023-02-09 02:07:54 +0100 <ectospasm> I think I had at one time the concept of leftScreen, centerScreen, and rightScreen, but I don't remember how those work.
2023-02-09 02:15:44 +0100 <ectospasm> OK, so I'm looking at the hackage documentation for IndependentScreens. I see the example: `myConfig = def { workspaces = withScreens 2 ["web", "email", "irc" ] }`, am I reading that right that it sets up those named workspaces on display 2?
2023-02-09 02:16:12 +0100 <ectospasm> How would I extrapolate that for more than one display, if I'm reading that right?
2023-02-09 02:17:26 +0100 <geekosaur> no, it means that it's configured for two screens, each of which gets its own workspaces with those names
2023-02-09 02:18:03 +0100 <geekosaur> there's no real support for pinning specific workspaces to monitors
2023-02-09 02:18:39 +0100 <ectospasm> Hmmm, OK. So that basically means it gets the same list of workspaces on each screen, rather than having each screen have its own independent list of workspaces.
2023-02-09 02:19:03 +0100 <geekosaur> right
2023-02-09 02:19:28 +0100 <geekosaur> hyporthetically it could be done but IndependentScreens doesn't really support it
2023-02-09 02:19:41 +0100 <ectospasm> It's been while, but I thought I had it working a while ago with each screen having a different list of workspaces for each screen, but I guess that isn't possible (if it ever was).
2023-02-09 02:20:11 +0100 <geekosaur> it's possible if you build the workspace list manually, I think, instead of using its helper functions
2023-02-09 02:20:36 +0100 <geekosaur> like, behind the scenes it gives you 0_web 1_web 2_web 0_email etc.
2023-02-09 02:22:10 +0100 <geekosaur> maybe something related to that is what you were doing with LeftScreen etc.
2023-02-09 02:26:07 +0100 <ectospasm> Yes, I see that I had that mapped to winKey + xK_h.
2023-02-09 02:26:38 +0100 <ectospasm> I define CenterScreen but it doesn't look like I used it anywhere else.
2023-02-09 02:38:03 +0100 <ectospasm> So it looks like I can use withScreen rather than withScreens to construct the desired list of workspaces per screen.
2023-02-09 02:39:03 +0100 <ectospasm> I can define a function, genWorkspaces or something like that, that determines how many screens are detected, and sets up the workspaces accordingly.
2023-02-09 02:40:42 +0100 <ectospasm> So, if for one screen (let's say screen 2), I'll have ["web", "email", "irc"] as the virtual workspace names, and ["2_web", "2_email", "2_irc"] as the physical workspace names?
2023-02-09 02:40:56 +0100 <ectospasm> Likewise for the other screens
2023-02-09 02:51:46 +0100 <ectospasm> geekosaur: so all the examples I can find use withScreens, which defines the same set of virtual workspaces on each screen. How would I call withScreen (singular)? Does it construct the physical workspace IDs automatically?
2023-02-09 02:54:00 +0100 <geekosaur> it does. I showed you what the workspaces it builds look like
2023-02-09 02:54:38 +0100 <geekosaur> you would have to build workspace names yourself, and make sure you use them correctly yourself
2023-02-09 02:55:50 +0100 <geekosaur> and yes, you got the virtual and physical names correct
2023-02-09 03:04:23 +0100 <geekosaur> the real complication will be that it has you redefine mod-1, etc. and those will have to somehow switch workspace names depending on screen
2023-02-09 03:10:50 +0100 <ectospasm> I'm struggling to find an example that uses withScreen in a way that I can copy. I did find something that executes `withScreen 0 view`, but that doesn't give me a clue how to construct what I want.
2023-02-09 03:11:51 +0100 <ectospasm> I typically have certain named applications on specific workspaces. I rarely use mod-n to switch to an indexed workspace.
2023-02-09 03:12:23 +0100 <ectospasm> So, myTerminal should get launched on the "shell" workspace, wherever that may be.
2023-02-09 03:12:55 +0100 <geekosaur> `withScreen 0 view` is a function which takes a workspace name as parameter and switches to that workspace on screen 0
2023-02-09 03:13:39 +0100 <ectospasm> OK, so it prompts for the workspace name. That's the virtual workspace name?
2023-02-09 03:13:47 +0100 <geekosaur> no
2023-02-09 03:13:57 +0100 <geekosaur> I mean, it doesn't prompt
2023-02-09 03:14:27 +0100 <geekosaur> `windows (withScreen 0 view "mail")` is a full use of that expression
2023-02-09 03:14:43 +0100 <geekosaur> it does take a virtual workspace name though
2023-02-09 03:15:17 +0100 <geekosaur> I'm not going to be able to stick around much longer; I need to be up early tomorrow so I need to head to bed soon
2023-02-09 03:16:16 +0100 <ectospasm> OK, I'm trying to find a way to construct the list of workspaces I want on screen 0. I've tried `withScreen 0 ["web", "email", "irc"]` but that doesn't seem to compile.
2023-02-09 03:16:33 +0100 <geekosaur> no, that is not what `withScreen` does
2023-02-09 03:16:42 +0100 <ectospasm> Ahh, OK.
2023-02-09 03:16:51 +0100 <geekosaur> you need to construct it manually, as I said
2023-02-09 03:17:02 +0100 <geekosaur> IndependentScreens does not do what you want
2023-02-09 03:17:32 +0100 <geekosaur> you may be able to hack something up but you will need to build the physical workspace names manually.
2023-02-09 03:17:47 +0100 <geekosaur> there is no function hidden within IndependentScreens that will do it for you
2023-02-09 03:18:51 +0100 <ectospasm> The documentation says withScreen -- | Specify workspace names for each screen
2023-02-09 03:19:23 +0100 <ectospasm> And its implementation is `withScreen n = map (marshall n)` which doesn't appear to construct what I want.
2023-02-09 03:21:49 +0100 <geekosaur> marshall :: ScreenId -> VirtualWorkspace -> PhysicalWorkspace
2023-02-09 03:21:54 +0100 <geekosaur> looks like it should work
2023-02-09 03:22:02 +0100 <geekosaur> do I need to try to cancel tomorrow's appointment?
2023-02-09 03:22:14 +0100 <ectospasm> No, we can pick this back up tomorrow.
2023-02-09 03:22:34 +0100 <ectospasm> Unless you can show me a quick example of how you'd do that.
2023-02-09 03:22:56 +0100 <ectospasm> But don't spend more than another five minutes on it.
2023-02-09 03:23:32 +0100smashgrab(~smashgrab@188.166.8.80) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2023-02-09 03:23:57 +0100smashgrab(~smashgrab@188.166.8.80)
2023-02-09 03:54:17 +0100 <beastwick> geekosaur i was able to get F1-F12 workspaces working. Now curious thing, when I execute viewEmptyWorkspace, it doesn't seem to get the next empty work space in order. It will jump around from like 3 to 9 to 11, 21 etc. Is that normal?
2023-02-09 03:57:14 +0100 <beastwick> i have a dual monitor setup, though I doubt that is part of the problem
2023-02-09 03:59:42 +0100 <beastwick> it's not a huge deal as i'm relying more on window searching (which btw, doesn't support fuzzy searching :/ )
2023-02-09 04:03:07 +0100banc(banc@gateway/vpn/protonvpn/banc) (Ping timeout: 248 seconds)
2023-02-09 04:03:26 +0100 <beastwick> wait, it could be because I screwed up the numbering :D
2023-02-09 04:05:29 +0100 <beastwick> nah it still jumps around, i'll have to figure it out https://paste.tomsmeding.com/DcRP3KyR
2023-02-09 04:09:22 +0100 <[Leary]> beastwick: I don't know you you're doing `show $ x+9`. Maybe you want `show $ "F" ++ show x` there?
2023-02-09 04:09:30 +0100 <[Leary]> know why*
2023-02-09 04:10:29 +0100terrorjack2(~terrorjac@2a01:4f8:1c1e:4e8c::)
2023-02-09 04:10:29 +0100 <beastwick> yes, I just fixed it
2023-02-09 04:10:32 +0100 <beastwick> let me repaste
2023-02-09 04:10:59 +0100 <beastwick> https://paste.tomsmeding.com/LiIJeLAD
2023-02-09 04:11:28 +0100jao-(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2023-02-09 04:12:14 +0100 <beastwick> yeah, so what I am seeing is that when I call the go to empty workspace function it jumps from say 3 to F2, and it is unclear as to why that is
2023-02-09 04:13:54 +0100 <[Leary]> Okay, so that isn't the issue. I'm looking at the source for the action you're running, and it looks like it searches by current, then visible, then hidden. But the order in visible and hidden is probably by recency, rather than the canonical order.
2023-02-09 04:14:19 +0100 <beastwick> ok, so it is working as intended probably?
2023-02-09 04:14:51 +0100 <beastwick> they should all be visible though
2023-02-09 04:14:54 +0100 <beastwick> and well, in order
2023-02-09 04:15:49 +0100ft(~ft@p508dbcc4.dip0.t-ipconnect.de) (*.net *.split)
2023-02-09 04:15:49 +0100jeeeun(~jeeeun@78.40.148.178) (*.net *.split)
2023-02-09 04:15:49 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (*.net *.split)
2023-02-09 04:15:49 +0100yosafbridge(~yosafbrid@static.38.6.217.95.clients.your-server.de) (*.net *.split)
2023-02-09 04:15:49 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:4e8c::) (*.net *.split)
2023-02-09 04:15:49 +0100gknux(~gknux@user/galaxy-knuckles/x-3015990) (*.net *.split)
2023-02-09 04:15:51 +0100terrorjack2terrorjack
2023-02-09 04:16:28 +0100 <[Leary]> Yeah, but there's code that does what you want somewhere. Looks like X.A.CycleWS should have it. And no, visible here means on one of your screens.
2023-02-09 04:17:32 +0100 <beastwick> ((modm , xK_f), moveTo Next emptyWS) -- find a free workspace
2023-02-09 04:17:35 +0100 <beastwick> i'll try this
2023-02-09 04:20:44 +0100banc(banc@gateway/vpn/protonvpn/banc)
2023-02-09 04:20:47 +0100 <beastwick> yes, that works as I expect it to
2023-02-09 04:20:51 +0100 <beastwick> awesome!
2023-02-09 04:26:34 +0100 <beastwick> btw, which is more preferable to use "M-C-e" style or modm .|. shiftMask, xK_Down because I always see a mix in all the docs and it's confusing
2023-02-09 04:27:01 +0100 <beastwick> I went with the M-* style because I am used to seeing it for other WMs
2023-02-09 04:27:12 +0100ft(~ft@p508dbcc4.dip0.t-ipconnect.de)
2023-02-09 04:27:12 +0100jeeeun(~jeeeun@78.40.148.178)
2023-02-09 04:27:12 +0100yosafbridge(~yosafbrid@static.38.6.217.95.clients.your-server.de)
2023-02-09 04:27:12 +0100gknux(~gknux@user/galaxy-knuckles/x-3015990)
2023-02-09 04:34:36 +0100 <[Leary]> The latter is more suited for programmatic manipulation, while the former is easier for the average user to write by hand. Just use whatever suits you at the time.
2023-02-09 04:37:46 +0100 <beastwick> thanks, will stick with it for now
2023-02-09 04:42:10 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:4e8c::) (Quit: The Lounge - https://thelounge.chat)
2023-02-09 04:44:49 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:4e8c::)
2023-02-09 05:00:59 +0100td_(~td@i53870902.versanet.de) (Ping timeout: 260 seconds)
2023-02-09 05:02:22 +0100td_(~td@i5387090F.versanet.de)
2023-02-09 05:09:00 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-02-09 07:17:29 +0100jao-(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds)
2023-02-09 07:59:04 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
2023-02-09 08:00:02 +0100werneta(~werneta@70.142.214.115)
2023-02-09 09:44:29 +0100ft(~ft@p508dbcc4.dip0.t-ipconnect.de) (Quit: leaving)
2023-02-09 09:54:30 +0100 <xmonadtrack> xmonad-contrib Brandon S Allbery KF8NH * v0.17.1-131-g29f0e032: Config modifiers `infixl 4` so you can use `(++)` (11 hours ago, 2 files, 11+ 0-) https://github.com/xmonad/xmonad-contrib/commit/29f0e03256e5
2023-02-09 10:00:09 +0100Dominik[m]12(~dschrempf@2001:470:69fc:105::2:bbb6) (Quit: You have been kicked for being idle)
2023-02-09 10:00:43 +0100unclechu(~unclechu@2001:470:69fc:105::354) (Quit: You have been kicked for being idle)
2023-02-09 10:23:35 +0100mc47(~mc47@xmonad/TheMC47)
2023-02-09 12:36:56 +0100Chilli[m](~chili326m@2001:470:69fc:105::2:e20b) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:36:58 +0100geekosaur[m](~geekosaur@xmonad/geekosaur) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:36:59 +0100YuuYin[m](~yuum]@2001:470:69fc:105::8a6) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:36:59 +0100_Ity[m](~tranquill@2001:470:69fc:105::2:c636) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:36:59 +0100VarikValefor[m](~varikvale@2001:470:69fc:105::a5d) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:01 +0100sibi(~sibi@2001:470:69fc:105::8ab) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:02 +0100deip[m](~deipmatri@2001:470:69fc:105::2:679e) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:02 +0100HB[m](~hash@2001:470:69fc:105::1:19e2) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:02 +0100mazte[m](~sujammama@2001:470:69fc:105::2:ea4c) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:02 +0100trevdev[m](~trevdevma@2001:470:69fc:105::4e71) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:02 +0100terver[m](~tervermat@2001:470:69fc:105::2:ed76) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:02 +0100adramelech[m](~adramelec@2001:470:69fc:105::2:5198) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:02 +0100galactic_starfis(~galactics@2001:470:69fc:105::1:2985) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:02 +0100nasrudin_[m](~nasrudinm@2001:470:69fc:105::2:f299) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:03 +0100liskin[m](~liskinmat@2001:470:69fc:105::768) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:03 +0100ChaoticMist[m](~gilganixm@2001:470:69fc:105::3d09) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:04 +0100georgesboris[m](~georgesbo@2001:470:69fc:105::2:fc41) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:04 +0100playback2396[m](~playback2@2001:470:69fc:105::2:feb8) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:04 +0100mon_aaraj(~montchncs@2001:470:69fc:105::8e6b) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:05 +0100qzedcvfe[m](~chuychau7@2001:470:69fc:105::2:f5d3) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:05 +0100imaneb[m](~imanebmat@2001:470:69fc:105::2:ff84) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:05 +0100HAL[m]1(~evadk8mat@2001:470:69fc:105::3ed0) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:05 +0100iffsid(~iffsid@2001:470:69fc:105::a3e) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:05 +0100qbit_m(~qbittapen@2001:470:69fc:105::194) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:05 +0100Solid[m](~slot-matr@2001:470:69fc:105::1:a84) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:05 +0100Tisoxin(~ikosit@user/ikosit) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:05 +0100nexilva[m](~nexilvama@2001:470:69fc:105::2:cf52) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:05 +0100belowdecent[m]1(~belowdece@2001:470:69fc:105::2:f47c) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:05 +0100alicecandyOM[m](~alicecand@2001:470:69fc:105::2:d7a7) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:06 +0100Thiago[m](~thiagommm@2001:470:69fc:105::3:7da) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:06 +0100sanalMakina[m](~sanalmaki@2001:470:69fc:105::2:fe9f) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:10 +0100fr1d4y[m](~fr1d4yenv@2001:470:69fc:105::2:ea3c) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:10 +0100trixthethird[m](~trixtheth@2001:470:69fc:105::2:efe8) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:40:09 +0100liskin[m](~liskinmat@2001:470:69fc:105::768)
2023-02-09 12:41:24 +0100sibi(~sibi@2001:470:69fc:105::8ab)
2023-02-09 12:46:46 +0100YuuYin[m](~yuum]@2001:470:69fc:105::8a6)
2023-02-09 12:46:46 +0100qbit_m(~qbittapen@2001:470:69fc:105::194)
2023-02-09 12:46:46 +0100HB[m](~hash@2001:470:69fc:105::1:19e2)
2023-02-09 12:46:46 +0100VarikValefor[m](~varikvale@2001:470:69fc:105::a5d)
2023-02-09 12:46:46 +0100geekosaur[m](~geekosaur@xmonad/geekosaur)
2023-02-09 12:46:46 +0100Chilli[m](~chili326m@2001:470:69fc:105::2:e20b)
2023-02-09 12:46:47 +0100nexilva[m](~nexilvama@2001:470:69fc:105::2:cf52)
2023-02-09 12:46:47 +0100terver[m](~tervermat@2001:470:69fc:105::2:ed76)
2023-02-09 12:46:47 +0100playback2396[m](~playback2@2001:470:69fc:105::2:feb8)
2023-02-09 12:46:47 +0100mon_aaraj(~montchncs@2001:470:69fc:105::8e6b)
2023-02-09 12:46:47 +0100iffsid(~iffsid@2001:470:69fc:105::a3e)
2023-02-09 12:46:58 +0100mazte[m](~sujammama@2001:470:69fc:105::2:ea4c)
2023-02-09 12:46:58 +0100galactic_starfis(~galactics@2001:470:69fc:105::1:2985)
2023-02-09 12:46:58 +0100sanalMakina[m](~sanalmaki@2001:470:69fc:105::2:fe9f)
2023-02-09 12:46:58 +0100deip[m](~deipmatri@2001:470:69fc:105::2:679e)
2023-02-09 12:46:58 +0100trevdev[m](~trevdevma@2001:470:69fc:105::4e71)
2023-02-09 12:46:58 +0100_Ity[m](~tranquill@2001:470:69fc:105::2:c636)
2023-02-09 12:46:58 +0100trixthethird[m](~trixtheth@2001:470:69fc:105::2:efe8)
2023-02-09 12:46:59 +0100Thiago[m](~thiagommm@2001:470:69fc:105::3:7da)
2023-02-09 12:46:59 +0100alicecandyOM[m](~alicecand@2001:470:69fc:105::2:d7a7)
2023-02-09 12:46:59 +0100qzedcvfe[m](~chuychau7@2001:470:69fc:105::2:f5d3)
2023-02-09 12:46:59 +0100adramelech[m](~adramelec@2001:470:69fc:105::2:5198)
2023-02-09 12:46:59 +0100HAL[m]1(~evadk8mat@2001:470:69fc:105::3ed0)
2023-02-09 12:46:59 +0100imaneb[m](~imanebmat@2001:470:69fc:105::2:ff84)
2023-02-09 12:46:59 +0100fr1d4y[m](~fr1d4yenv@2001:470:69fc:105::2:ea3c)
2023-02-09 12:46:59 +0100georgesboris[m](~georgesbo@2001:470:69fc:105::2:fc41)
2023-02-09 12:46:59 +0100belowdecent[m]1(~belowdece@2001:470:69fc:105::2:f47c)
2023-02-09 12:46:59 +0100ChaoticMist[m](~gilganixm@2001:470:69fc:105::3d09)
2023-02-09 12:46:59 +0100nasrudin_[m](~nasrudinm@2001:470:69fc:105::2:f299)
2023-02-09 12:47:16 +0100mzanic(~mzanic@141.138.10.98)
2023-02-09 12:50:21 +0100mzanic(~mzanic@141.138.10.98) (Client Quit)
2023-02-09 12:55:22 +0100Tisoxin(~ikosit@user/ikosit)
2023-02-09 12:55:35 +0100Solid[m](~slot-matr@2001:470:69fc:105::1:a84)
2023-02-09 13:10:33 +0100mzanic(~mzanic@141.138.10.98)
2023-02-09 13:13:56 +0100terver[m](~tervermat@2001:470:69fc:105::2:ed76) (Ping timeout: 246 seconds)
2023-02-09 13:14:10 +0100qzedcvfe[m](~chuychau7@2001:470:69fc:105::2:f5d3) (Ping timeout: 252 seconds)
2023-02-09 13:14:10 +0100mazte[m](~sujammama@2001:470:69fc:105::2:ea4c) (Ping timeout: 252 seconds)
2023-02-09 13:14:30 +0100Chilli[m](~chili326m@2001:470:69fc:105::2:e20b) (Ping timeout: 265 seconds)
2023-02-09 13:14:35 +0100Thiago[m](~thiagommm@2001:470:69fc:105::3:7da) (Ping timeout: 246 seconds)
2023-02-09 13:14:35 +0100alicecandyOM[m](~alicecand@2001:470:69fc:105::2:d7a7) (Ping timeout: 246 seconds)
2023-02-09 13:14:36 +0100imaneb[m](~imanebmat@2001:470:69fc:105::2:ff84) (Ping timeout: 248 seconds)
2023-02-09 13:14:36 +0100deip[m](~deipmatri@2001:470:69fc:105::2:679e) (Ping timeout: 248 seconds)
2023-02-09 13:14:36 +0100mon_aaraj(~montchncs@2001:470:69fc:105::8e6b) (Ping timeout: 248 seconds)
2023-02-09 13:14:37 +0100HAL[m]1(~evadk8mat@2001:470:69fc:105::3ed0) (Ping timeout: 252 seconds)
2023-02-09 13:14:37 +0100iffsid(~iffsid@2001:470:69fc:105::a3e) (Ping timeout: 252 seconds)
2023-02-09 13:14:38 +0100belowdecent[m]1(~belowdece@2001:470:69fc:105::2:f47c) (Ping timeout: 246 seconds)
2023-02-09 13:14:38 +0100ChaoticMist[m](~gilganixm@2001:470:69fc:105::3d09) (Ping timeout: 246 seconds)
2023-02-09 13:14:38 +0100nasrudin_[m](~nasrudinm@2001:470:69fc:105::2:f299) (Ping timeout: 246 seconds)
2023-02-09 13:14:39 +0100geekosaur[m](~geekosaur@xmonad/geekosaur) (Ping timeout: 246 seconds)
2023-02-09 13:14:39 +0100VarikValefor[m](~varikvale@2001:470:69fc:105::a5d) (Ping timeout: 246 seconds)
2023-02-09 13:14:54 +0100playback2396[m](~playback2@2001:470:69fc:105::2:feb8) (Ping timeout: 252 seconds)
2023-02-09 13:14:54 +0100Tisoxin(~ikosit@user/ikosit) (Ping timeout: 252 seconds)
2023-02-09 13:14:54 +0100YuuYin[m](~yuum]@2001:470:69fc:105::8a6) (Ping timeout: 252 seconds)
2023-02-09 13:14:55 +0100sibi(~sibi@2001:470:69fc:105::8ab) (Ping timeout: 252 seconds)
2023-02-09 13:14:55 +0100nexilva[m](~nexilvama@2001:470:69fc:105::2:cf52) (Ping timeout: 252 seconds)
2023-02-09 13:14:59 +0100Solid[m](~slot-matr@2001:470:69fc:105::1:a84) (Ping timeout: 265 seconds)
2023-02-09 13:15:00 +0100fr1d4y[m](~fr1d4yenv@2001:470:69fc:105::2:ea3c) (Ping timeout: 265 seconds)
2023-02-09 13:15:00 +0100trevdev[m](~trevdevma@2001:470:69fc:105::4e71) (Ping timeout: 265 seconds)
2023-02-09 13:15:00 +0100HB[m](~hash@2001:470:69fc:105::1:19e2) (Ping timeout: 265 seconds)
2023-02-09 13:15:00 +0100liskin[m](~liskinmat@2001:470:69fc:105::768) (Ping timeout: 265 seconds)
2023-02-09 13:15:03 +0100_Ity[m](~tranquill@2001:470:69fc:105::2:c636) (Ping timeout: 260 seconds)
2023-02-09 13:15:03 +0100trixthethird[m](~trixtheth@2001:470:69fc:105::2:efe8) (Ping timeout: 260 seconds)
2023-02-09 13:15:04 +0100qbit_m(~qbittapen@2001:470:69fc:105::194) (Ping timeout: 260 seconds)
2023-02-09 13:15:09 +0100adramelech[m](~adramelec@2001:470:69fc:105::2:5198) (Ping timeout: 256 seconds)
2023-02-09 13:15:09 +0100galactic_starfis(~galactics@2001:470:69fc:105::1:2985) (Ping timeout: 256 seconds)
2023-02-09 13:15:09 +0100sanalMakina[m](~sanalmaki@2001:470:69fc:105::2:fe9f) (Ping timeout: 256 seconds)
2023-02-09 13:15:12 +0100georgesboris[m](~georgesbo@2001:470:69fc:105::2:fc41) (Ping timeout: 264 seconds)
2023-02-09 13:18:55 +0100mncheck(~mncheck@193.224.205.254)
2023-02-09 13:21:48 +0100terver[m](~tervermat@2001:470:69fc:105::2:ed76)
2023-02-09 13:23:28 +0100Chilli[m](~chili326m@2001:470:69fc:105::2:e20b)
2023-02-09 13:25:27 +0100adramelech[m](~adramelec@2001:470:69fc:105::2:5198)
2023-02-09 13:25:28 +0100fr1d4y[m](~fr1d4yenv@2001:470:69fc:105::2:ea3c)
2023-02-09 13:25:28 +0100sanalMakina[m](~sanalmaki@2001:470:69fc:105::2:fe9f)
2023-02-09 13:25:28 +0100qzedcvfe[m](~chuychau7@2001:470:69fc:105::2:f5d3)
2023-02-09 13:25:29 +0100nasrudin_[m](~nasrudinm@2001:470:69fc:105::2:f299)
2023-02-09 13:25:29 +0100alicecandyOM[m](~alicecand@2001:470:69fc:105::2:d7a7)
2023-02-09 13:25:29 +0100Solid[m](~slot-matr@2001:470:69fc:105::1:a84)
2023-02-09 13:25:30 +0100HAL[m]1(~evadk8mat@2001:470:69fc:105::3ed0)
2023-02-09 13:25:31 +0100mazte[m](~sujammama@2001:470:69fc:105::2:ea4c)
2023-02-09 13:25:31 +0100trixthethird[m](~trixtheth@2001:470:69fc:105::2:efe8)
2023-02-09 13:25:32 +0100georgesboris[m](~georgesbo@2001:470:69fc:105::2:fc41)
2023-02-09 13:25:32 +0100imaneb[m](~imanebmat@2001:470:69fc:105::2:ff84)
2023-02-09 13:25:35 +0100belowdecent[m]1(~belowdece@2001:470:69fc:105::2:f47c)
2023-02-09 13:25:37 +0100_Ity[m](~tranquill@2001:470:69fc:105::2:c636)
2023-02-09 13:25:38 +0100galactic_starfis(~galactics@2001:470:69fc:105::1:2985)
2023-02-09 13:25:38 +0100Thiago[m](~thiagommm@2001:470:69fc:105::3:7da)
2023-02-09 13:25:39 +0100geekosaur[m](~geekosaur@xmonad/geekosaur)
2023-02-09 13:25:46 +0100mon_aaraj(~montchncs@2001:470:69fc:105::8e6b)
2023-02-09 13:34:43 +0100werneta(~werneta@70.142.214.115) (Ping timeout: 252 seconds)
2023-02-09 13:43:09 +0100justachedeliriumt
2023-02-09 13:43:43 +0100deliriumtjustache
2023-02-09 13:44:45 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2023-02-09 13:57:42 +0100mzanic(~mzanic@141.138.10.98) (Quit: Lost terminal)
2023-02-09 13:59:00 +0100ChaoticMist[m](~gilganixm@2001:470:69fc:105::3d09)
2023-02-09 13:59:00 +0100deip[m](~deipmatri@2001:470:69fc:105::2:679e)
2023-02-09 13:59:00 +0100trevdev[m](~trevdevma@2001:470:69fc:105::4e71)
2023-02-09 13:59:01 +0100liskin[m](~liskinmat@2001:470:69fc:105::768)
2023-02-09 13:59:03 +0100HB[m](~hash@2001:470:69fc:105::1:19e2)
2023-02-09 13:59:04 +0100VarikValefor[m](~varikvale@2001:470:69fc:105::a5d)
2023-02-09 13:59:05 +0100iffsid(~iffsid@2001:470:69fc:105::a3e)
2023-02-09 13:59:08 +0100YuuYin[m](~yuum]@2001:470:69fc:105::8a6)
2023-02-09 13:59:09 +0100nexilva[m](~nexilvama@2001:470:69fc:105::2:cf52)
2023-02-09 14:14:59 +0100zawaken-(~zawaken@user/zawaken)
2023-02-09 14:16:19 +0100zawaken(~zawaken@user/zawaken) (Ping timeout: 260 seconds)
2023-02-09 14:19:26 +0100qbit_m(~qbittapen@2001:470:69fc:105::194)
2023-02-09 14:21:20 +0100playback2396[m](~playback2@2001:470:69fc:105::2:feb8)
2023-02-09 14:27:37 +0100sibi(~sibi@2001:470:69fc:105::8ab)
2023-02-09 14:27:41 +0100Tisoxin(~ikosit@user/ikosit)
2023-02-09 14:54:19 +0100gknux(~gknux@user/galaxy-knuckles/x-3015990) (Ping timeout: 248 seconds)
2023-02-09 14:54:29 +0100escobear(~gknux@user/galaxy-knuckles/x-3015990)
2023-02-09 14:55:21 +0100escobeargknux
2023-02-09 15:03:48 +0100mzanic(~mzanic@93-142-73-175.adsl.net.t-com.hr)
2023-02-09 15:26:58 +0100cfricke(~cfricke@user/cfricke)
2023-02-09 15:42:12 +0100mc47(~mc47@xmonad/TheMC47) (Quit: Leaving)
2023-02-09 15:43:25 +0100yecinem(~yecinem@dhcp-138-246-3-10.dynamic.eduroam.mwn.de)
2023-02-09 15:47:04 +0100mzanic(~mzanic@93-142-73-175.adsl.net.t-com.hr) (Ping timeout: 252 seconds)
2023-02-09 15:47:30 +0100yecinem(~yecinem@dhcp-138-246-3-10.dynamic.eduroam.mwn.de) (Remote host closed the connection)
2023-02-09 15:47:51 +0100mc47(~yecinem@dhcp-138-246-3-10.dynamic.eduroam.mwn.de)
2023-02-09 15:48:15 +0100mc47(~yecinem@dhcp-138-246-3-10.dynamic.eduroam.mwn.de) (Changing host)
2023-02-09 15:48:15 +0100mc47(~yecinem@xmonad/TheMC47)
2023-02-09 15:49:03 +0100mc47(~yecinem@xmonad/TheMC47) (Remote host closed the connection)
2023-02-09 15:49:24 +0100mc47(~yecinem@dhcp-138-246-3-10.dynamic.eduroam.mwn.de)
2023-02-09 16:05:39 +0100themc47(~mc47@xmonad/TheMC47)
2023-02-09 16:05:44 +0100themc47(~mc47@xmonad/TheMC47) (Client Quit)
2023-02-09 16:05:57 +0100mc47(~yecinem@dhcp-138-246-3-10.dynamic.eduroam.mwn.de) (Remote host closed the connection)
2023-02-09 16:06:17 +0100mc47(~mc47@xmonad/TheMC47)
2023-02-09 16:15:00 +0100 <geekosaur> beastwick, also the modm .|. form was the original form; but we're moving more toward the M-* form (see for example the tutorial, which uses `additionalKeysP`) because it's easier for users
2023-02-09 16:15:15 +0100unclechu(~unclechu@2001:470:69fc:105::354)
2023-02-09 16:16:00 +0100 <geekosaur> also see my recent commit that got logged here, which makes it a little bit easier
2023-02-09 16:16:52 +0100 <geekosaur> xmonad started out kinda assuming users were familiar with Haskell, Unix, and X11, but has been moving toward a more "general users, not experts" model
2023-02-09 16:17:22 +0100 <geekosaur> more simple combinators, friendlier configuration, etc.
2023-02-09 16:21:27 +0100 <beastwick> makes, sense - I am slowly picking up haskell skills
2023-02-09 17:00:56 +0100unclechu(~unclechu@2001:470:69fc:105::354) (Quit: You have been kicked for being idle)
2023-02-09 17:11:16 +0100Hmmf(~Hmmf@2a01:e0a:582:bb40:e5c6:f484:7015:1722)
2023-02-09 17:12:12 +0100 <Hmmf> Hello. I have trouble using the tabbed layout with avoidStruts.
2023-02-09 17:12:27 +0100unclechu(~unclechu@2001:470:69fc:105::354)
2023-02-09 17:12:35 +0100 <Hmmf> Apparently the tabbed layout has a different type than the others O.o
2023-02-09 17:13:10 +0100 <geekosaur> @where paste
2023-02-09 17:13:10 +0100 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2023-02-09 17:13:17 +0100 <geekosaur> every layout has its own type
2023-02-09 17:14:22 +0100 <Hmmf> https://paste.tomsmeding.com/hqZsvlnO
2023-02-09 17:14:40 +0100 <Hmmf> err i messed up the syntax highlighting....
2023-02-09 17:15:17 +0100 <Hmmf> the tabbedLayout is the troubling part
2023-02-09 17:15:30 +0100 <Hmmf> apparently avoidStruts does not want to eat it.
2023-02-09 17:17:10 +0100 <Hmmf> https://paste.tomsmeding.com/aOEZcprP
2023-02-09 17:17:31 +0100 <Hmmf> I've cut the output short but basically it goes on and on about that type mismatch.
2023-02-09 17:17:58 +0100 <Hmmf> It's kinda daunting.
2023-02-09 17:19:18 +0100 <Hmmf> Is it that I am missing an argument (the a0 that the compiler is referring to) ?
2023-02-09 17:19:51 +0100 <Hmmf> it's on 0.17 btw.
2023-02-09 17:20:41 +0100 <geekosaur> normally you get those errors if you don't actually use the definitions
2023-02-09 17:20:46 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-02-09 17:20:53 +0100 <Hmmf> ew
2023-02-09 17:20:54 +0100 <Hmmf> ok
2023-02-09 17:21:07 +0100 <geekosaur> and no, you don't specify that type variable normally, it's inferred (as Window)
2023-02-09 17:22:08 +0100 <geekosaur> so you use all of those in `layoutDef`, but do you use that anywhere?
2023-02-09 17:22:35 +0100 <Hmmf> hmmm no, I think I am actually using these. Let me paste the whole thing, it'll be easier.
2023-02-09 17:23:25 +0100 <Hmmf> https://paste.tomsmeding.com/PzgHxJ84
2023-02-09 17:23:28 +0100 <geekosaur> if it's connected to the `layoutHook` of your config record, the type of `a0` should be inferred properly
2023-02-09 17:24:22 +0100 <Hmmf> well, it seems like it... The file is in a bit of a Vietnam state atm. It's a work in progress...
2023-02-09 17:28:03 +0100 <Hmmf> Could that be because I compose avoidStruts multiple times?
2023-02-09 17:34:15 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2023-02-09 17:39:02 +0100 <geekosaur> when I try to compile it locally I get an error about numlockMask, which I think prevents it from resolving the config record
2023-02-09 17:41:14 +0100 <Hmmf> ewww that's very old stuff apparently
2023-02-09 17:41:20 +0100 <Hmmf> I am removing it.
2023-02-09 17:43:18 +0100 <geekosaur> and when I remove that (it's in XState, not XConfig), I get an error about borderWidthDef. but the errors you get are gone
2023-02-09 17:46:20 +0100 <Hmmf> yes I've also managed to cleaned most things but it's still tripping on layouts
2023-02-09 17:46:52 +0100 <Hmmf> https://paste.tomsmeding.com/MhEggHYf
2023-02-09 17:46:59 +0100 <geekosaur> interesting. I got those errors until I removed numLockMask
2023-02-09 17:47:34 +0100 <Hmmf> numlockMask is very old legacy. From 0.9 apparently. I removed it.
2023-02-09 17:48:53 +0100 <geekosaur> oh, this is a different error actually
2023-02-09 17:50:24 +0100 <Hmmf> I haven't done xmonad things since a while... I think I am mixing xmonad themes and decorated layout themes... Idk really
2023-02-09 17:50:48 +0100 <geekosaur> somewhere you are either missing or added a Theme
2023-02-09 17:51:15 +0100 <geekosaur> line 224 is wrong, you had it right the first time
2023-02-09 17:51:36 +0100 <geekosaur> `tabbed` needs a `Shrinker` and a `Theme` as parameters
2023-02-09 17:52:18 +0100 <Hmmf> omg it compiles
2023-02-09 17:52:41 +0100 <Hmmf> all right now that it's relatively clean I think I can take it from there.
2023-02-09 17:52:50 +0100 <Hmmf> Damn thanks a lot.
2023-02-09 17:55:18 +0100 <Hmmf> Well avoidStruts is not working properly but that was sort of expected :D
2023-02-09 17:56:41 +0100 <geekosaur[m]> No problem
2023-02-09 17:57:26 +0100chomwitt(~chomwitt@2a02:587:7a12:aa00:1ac0:4dff:fedb:a3f1)
2023-02-09 17:59:13 +0100malook(~Thunderbi@2a02:9b0:4000:8906:fa4b:47f4:65e4:a888)
2023-02-09 18:01:18 +0100Hmmf(~Hmmf@2a01:e0a:582:bb40:e5c6:f484:7015:1722) (Quit: Client closed)
2023-02-09 18:02:40 +0100Hmmf(~Hmmf@2a01:e0a:582:bb40:e5c6:f484:7015:1722)
2023-02-09 18:08:22 +0100 <Hmmf> So, do I actually need a specific startupHook to make the strut avoidance work or it's like before?
2023-02-09 18:08:41 +0100 <geekosaur> these days you use the `docks` combinator
2023-02-09 18:08:54 +0100 <geekosaur> xmonad $ docks def {…}
2023-02-09 18:09:17 +0100 <Hmmf> ah I see
2023-02-09 18:10:05 +0100 <Hmmf> meh I need to restart X again
2023-02-09 18:10:09 +0100Hmmf(~Hmmf@2a01:e0a:582:bb40:e5c6:f484:7015:1722) (Quit: Client closed)
2023-02-09 18:10:48 +0100Hmmf(~Hmmf@2a01:e0a:582:bb40:e5c6:f484:7015:1722)
2023-02-09 18:12:28 +0100 <Hmmf> Yeah I'm just having the old behavior. So, right now, I'm not having any strut avoidance at startup. Using toggleStruts makes the dzen2 instances reappear. Using it again only works properly in one direction.
2023-02-09 18:12:51 +0100 <geekosaur> some of that might be the multiple `avoidStruts`
2023-02-09 18:13:19 +0100 <Hmmf> All right. And that would not be solved by using another panel?
2023-02-09 18:14:04 +0100 <Hmmf> I mean, other than dzen2
2023-02-09 18:14:06 +0100 <geekosaur> dzen2 has its own problem. sometimes you need a parameter for it to set struts, and you have to make sure it's positioned exactly on the screen border or it won't set one anyway
2023-02-09 18:14:15 +0100 <geekosaur> off by one pixel -> it ignores you
2023-02-09 18:14:24 +0100 <Hmmf> Ha
2023-02-09 18:14:26 +0100 <Hmmf> I see
2023-02-09 18:14:51 +0100 <geekosaur> anyway I would remove all your existing uses of `avoidStruts` and put one on line 229
2023-02-09 18:15:06 +0100 <Hmmf> Yes that makes a lot of sense.
2023-02-09 18:15:15 +0100 <Hmmf> What are you guys using usually? xmobar?
2023-02-09 18:15:27 +0100 <geekosaur> many use xmobar, some use polybar
2023-02-09 18:15:37 +0100 <geekosaur> I use xmonad with MATE so I have a couple of mate-panels
2023-02-09 18:17:41 +0100 <Hmmf> Yes I remember why I did it that way, I wanted some workspace with avoidStruts and some without. I guess there is no good solution for that atm.
2023-02-09 18:18:21 +0100 <geekosaur> https://github.com/geekosaur/xmonad.hs/blob/skkukuk/xmonad.hs#L139-L153
2023-02-09 18:18:54 +0100 <geekosaur> `avoidStrutsOn []` means struts default off but can be toggled on
2023-02-09 18:20:00 +0100 <Hmmf> Ah I see. Explicitely removing the avoidance on the appropriate workspaces but leaving it on globally.
2023-02-09 18:23:36 +0100Hmmf(~Hmmf@2a01:e0a:582:bb40:e5c6:f484:7015:1722) (Quit: Client closed)
2023-02-09 18:26:31 +0100Hmmf(~Hmmf@2a01:e0a:582:bb40:e5c6:f484:7015:1722)
2023-02-09 18:29:22 +0100 <Hmmf> Yes I'm getting somewhere. So now strut avoidance is perfect. It's just a matter of having dzen2 drawn behind the windows.
2023-02-09 18:29:47 +0100 <Hmmf> Like, if I toggleStruts, windows resize like they should, it's just that dzen2 is over them.
2023-02-09 18:33:47 +0100 <geekosaur> there may be an option for that. normally something operating in dock mode lowers itself. (docks are self-managing, we're not supposed to touch them)
2023-02-09 18:34:59 +0100chomwitt(~chomwitt@2a02:587:7a12:aa00:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds)
2023-02-09 18:35:52 +0100 <Hmmf> It's not that I am an expert on the matter but I have a feeling that dzen2 doesn't really comply with whatever standard they should take care of.
2023-02-09 18:36:04 +0100 <Hmmf> Oh well, at least my xmonad is doing its part now.
2023-02-09 18:38:12 +0100 <geekosaur> nope, it's very minimal and doesn't do EWMH properly
2023-02-09 18:38:30 +0100 <geekosaur> partially because it normally wants to be a normal window, not a dock
2023-02-09 18:39:19 +0100 <Hmmf> heh. Ok time to switch then I guess.
2023-02-09 18:41:36 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.8)
2023-02-09 18:44:24 +0100werneta(~werneta@137.79.195.231)
2023-02-09 18:47:52 +0100Hmmf(~Hmmf@2a01:e0a:582:bb40:e5c6:f484:7015:1722) (Quit: Client closed)
2023-02-09 18:53:01 +0100Hmmf(~Hmmf@2a01:e0a:582:bb40:e5c6:f484:7015:1722)
2023-02-09 19:00:01 +0100cfricke(~cfricke@user/cfricke)
2023-02-09 19:11:00 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.8)
2023-02-09 19:35:00 +0100cfricke(~cfricke@user/cfricke)
2023-02-09 19:42:44 +0100Hmmf(~Hmmf@2a01:e0a:582:bb40:e5c6:f484:7015:1722) (Quit: Client closed)
2023-02-09 19:42:55 +0100Hmmf(~Hmmf@2a01:e0a:582:bb40:e5c6:f484:7015:1722)
2023-02-09 19:45:31 +0100cfricke(~cfricke@user/cfricke) (Ping timeout: 248 seconds)
2023-02-09 20:11:02 +0100ft(~ft@p508dbcc4.dip0.t-ipconnect.de)
2023-02-09 20:15:36 +0100Hmmf(~Hmmf@2a01:e0a:582:bb40:e5c6:f484:7015:1722) (Quit: Client closed)
2023-02-09 20:17:00 +0100chomwitt(~chomwitt@2a02:587:7a12:aa00:1ac0:4dff:fedb:a3f1)
2023-02-09 20:17:29 +0100cfricke(~cfricke@user/cfricke)
2023-02-09 21:04:10 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.8)
2023-02-09 22:04:29 +0100Hmmf(~Hmmf@2a01:e0a:582:bb40:e5c6:f484:7015:1722)
2023-02-09 22:28:17 +0100malook(~Thunderbi@2a02:9b0:4000:8906:fa4b:47f4:65e4:a888) (Remote host closed the connection)
2023-02-09 23:08:35 +0100chomwitt(~chomwitt@2a02:587:7a12:aa00:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds)
2023-02-09 23:12:06 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)