Home liberachat/#xmonad: Logs Calendar

Logs on 2023-02-09 (liberachat/#xmonad)

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

All times are in UTC on 2023-02-09.