2024/06/16

2024-06-16 00:01:04 +0200 <haskellbridge> <柱間 (@senju_hashirama:aria-net.org)> Guest0: there's a video about it, by the youtuber named "distrotube" it's a good introduction
2024-06-16 00:01:31 +0200 <Guest0> Thank you
2024-06-16 00:09:37 +0200Guest0(~Guest0@67-0-55-142.albq.qwest.net) (Quit: Client closed)
2024-06-16 01:38:38 +0200yosafbridge(~yosafbrid@static.38.6.217.95.clients.your-server.de) (Quit: Leaving)
2024-06-16 02:04:07 +0200yosafbridge(~yosafbrid@static.38.6.217.95.clients.your-server.de)
2024-06-16 03:14:27 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in)
2024-06-16 03:14:45 +0200todi(~todi@p57803331.dip0.t-ipconnect.de)
2024-06-16 04:54:47 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds)
2024-06-16 05:01:05 +0200td_(~td@i53870937.versanet.de) (Ping timeout: 252 seconds)
2024-06-16 05:02:55 +0200td_(~td@i53870926.versanet.de)
2024-06-16 07:51:41 +0200thunderrd(~thunderrd@118.174.53.205) (Ping timeout: 240 seconds)
2024-06-16 08:09:35 +0200gauge(~gauge@user/gauge) (Ping timeout: 264 seconds)
2024-06-16 08:12:53 +0200gauge(~gauge@user/gauge)
2024-06-16 11:51:48 +0200tom_(~tom@121.127.33.86) ()
2024-06-16 12:16:52 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-06-16 14:02:42 +0200Viking667(~user@user/Viking667)
2024-06-16 14:04:00 +0200 <Viking667> 'llo all. I suspect this might be a FAQ, but how do I assign keys to extra desktops after the first nine? Default for those seem to be Mod-1 to Mod-9, but I'm not sure how to get hotkey access to other desktops.
2024-06-16 14:05:34 +0200 <Viking667> Could I utilise M-C-1..9 for further desktops?
2024-06-16 14:16:16 +0200 <Viking667> So far, I've got about eight extra lines with M-C-x (x :: Number) but this seems inefficient given the language.
2024-06-16 14:21:15 +0200 <vrs> yeah I have them bound like this https://paste.debian.net/hidden/7c9dd3c6/
2024-06-16 14:21:32 +0200 <vrs> but that's pretty specific to my setup, there are simpler examples in the config archive
2024-06-16 14:22:57 +0200 <vrs> you can see how the default config implements it: https://hackage.haskell.org/package/xmonad-0.18.0/docs/src/XMonad.Config.html#line-230
2024-06-16 14:23:42 +0200 <vrs> adjust for ezconfig and you'll be set
2024-06-16 14:25:45 +0200 <Viking667> hm. I'm on 0.17.0, not ever seen ezconfig. I was about to ask what getNthWS was
2024-06-16 14:26:38 +0200 <Viking667> And the default concurs with the behaviour I had before I upped the number of workspaces. I just had no way to _get_ to them.
2024-06-16 14:26:40 +0200 <vrs> it's specific to my setup (I have like 40 named workspaces and that function maps a number to the nth populated one)
2024-06-16 14:27:00 +0200 <Viking667> (the extras). I worked that bit out for clicking, but not for hotkeys until now.
2024-06-16 14:28:04 +0200 <Viking667> lol. I don't have THAT many workspaces - I just felt I needed more than the 10 provided.
2024-06-16 14:28:28 +0200 <vrs> this one has the classic implementation https://wiki.haskell.org/Xmonad/Config_archive/thoughtpolice%27s_xmonad.hs (look for greedyView)
2024-06-16 14:29:39 +0200 <Viking667> Yeah, again - it addresses 1..9, not 1..15 (in my case) or 0..39 (perhaps) for you.
2024-06-16 14:30:17 +0200 <vrs> workspaces are strings, they just happen to be map show [1..9]
2024-06-16 14:30:52 +0200 <Viking667> So I could click on the desktop name, I had to adjust things slightly for the numeric range. Kinda looks like this: myWorkspaceIndices = M.fromList $ zipWith (,) myWorkspaces [0,1..]
2024-06-16 14:32:20 +0200 <Viking667> clickable ws = "<action=xdotool set_desktop "++show i++">"++ws++"</action>" where i = fromJust $ M.lookup ws myWorkspaceIndices
2024-06-16 14:32:40 +0200 <Viking667> That seems to get me every link clickable.
2024-06-16 14:34:23 +0200 <Viking667> previously the command had held "<action=xdotool key super+"++show i++">"++ws++"</action>" where i = fromJust $ M.lookup ws myWorkspaceIndices but that ran out after 9 because there isn't a Mod-10 or Mod-12 or so on.
2024-06-16 14:34:46 +0200 <vrs> I don't see the problem yet, you can just bind M-C-<num> to W.view <num+10>?
2024-06-16 14:35:14 +0200 <vrs> respectively a lookup in your workspaceindices
2024-06-16 14:36:59 +0200 <Viking667> Ah. That's probably the bit I'm missing. I'm pretty new to Haskell, xmonad's been my only real exposure to it so far. I'll figure out what to do with that piece, but yes, it looks like it'd fit.
2024-06-16 14:37:20 +0200Viking667(~user@user/Viking667) (Quit: bai)
2024-06-16 17:45:20 +0200yaslam(~yaslam@user/yaslam)
2024-06-16 17:49:56 +0200yaslam(~yaslam@user/yaslam) (Quit: yaslam)
2024-06-16 19:30:57 +0200ChubaDuba(~ChubaDuba@176.212.41.228)
2024-06-16 20:25:58 +0200ChubaDuba(~ChubaDuba@176.212.41.228) (Ping timeout: 246 seconds)
2024-06-16 20:26:04 +0200ChubaDuba(~ChubaDuba@176.212.40.208)
2024-06-16 20:30:34 +0200yaslam(~yaslam@user/yaslam)
2024-06-16 20:36:38 +0200yaslam(~yaslam@user/yaslam) (Quit: yaslam)
2024-06-16 21:19:19 +0200Guest92(~Guest37@ip-046-005-000-066.um12.pools.vodafone-ip.de)
2024-06-16 21:27:51 +0200Guest92(~Guest37@ip-046-005-000-066.um12.pools.vodafone-ip.de) (Quit: Client closed)
2024-06-16 21:28:10 +0200thorou(~thorou@ip-046-005-000-066.um12.pools.vodafone-ip.de)
2024-06-16 21:47:19 +0200 <thorou> hello, I'm trying to get a manage hook that does the same as doCenterFloat, but with fixed width/height in pixels. I want the window to take up more relative area on lower screen resolutions. I tried digging into the sources but my haskell isn't nearly good enough to make sense of most of it.
2024-06-16 21:48:23 +0200 <geekosaur> it's possible to write it, but it'll be lost as it's stored in RationalRects internally
2024-06-16 21:48:44 +0200 <geekosaur> because that's pretty much all you can do if you have monitors with different sizes/resolutions
2024-06-16 21:49:22 +0200 <thorou> i have different systems with one monitor each
2024-06-16 21:50:03 +0200 <geekosaur> fine, but xmonad has to support multi-monitor systems
2024-06-16 21:51:11 +0200 <thorou> i mean, getting the screen resolution and scaling the rect i feed into doCenterFloat would be good enough for my use case. i just can't figure out how to actually get the resolution
2024-06-16 21:58:21 +0200 <geekosaur> I don't think we have an exposed function that does it for you, but you can extract it from https://github.com/xmonad/xmonad/blob/master/src/XMonad/Operations.hs#L719-L756
2024-06-16 21:59:02 +0200 <geekosaur> (mosr of the actual work is https://github.com/xmonad/xmonad/blob/master/src/XMonad/Operations.hs#L727-L753)
2024-06-16 22:20:36 +0200 <geekosaur> sorry for vanishing on you, have to take 3 blood pressure readings and send them to my doctor every day 😕
2024-06-16 22:20:54 +0200 <geekosaur> anyway, the screen sizes are in the StackSet, in the Screen record
2024-06-16 22:21:48 +0200 <geekosaur> it's a bit obscure, because the StackSet is heavily parameterized so it can be tested with a proof assistant, and most of the types are X11 types that aren't available in the proof assistant
2024-06-16 22:22:30 +0200 <geekosaur> https://hackage.haskell.org/package/xmonad-0.18.0/docs/XMonad-StackSet.html#t:Screen
2024-06-16 22:22:43 +0200 <geekosaur> "sd" (screen detail) is a Rectangle
2024-06-16 22:26:50 +0200 <thorou> my haskell knowledge is essentially limited to trying random things until the compiler shuts up, i'm afraid i don't follow
2024-06-16 22:27:40 +0200 <geekosaur> you may want to spend some time with the haskell wikibook first, then; the StackSet won't make much sense without it
2024-06-16 22:27:45 +0200 <geekosaur> @where wikibook
2024-06-16 22:27:45 +0200 <lambdabot> http://en.wikibooks.org/wiki/Haskell
2024-06-16 22:28:16 +0200deepy(deepy@user/deepy) (Read error: Connection reset by peer)
2024-06-16 22:32:41 +0200deepy(deepy@user/deepy)
2024-06-16 22:45:36 +0200ChubaDuba(~ChubaDuba@176.212.40.208) (Quit: WeeChat 4.2.1)
2024-06-16 23:02:46 +0200 <thorou> thanks, i will try
2024-06-16 23:02:52 +0200thorou(~thorou@ip-046-005-000-066.um12.pools.vodafone-ip.de) (Quit: Client closed)