| 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 +0200 | Guest0 | (~Guest0@67-0-55-142.albq.qwest.net) (Quit: Client closed) |
| 2024-06-16 01:38:38 +0200 | yosafbridge | (~yosafbrid@static.38.6.217.95.clients.your-server.de) (Quit: Leaving) |
| 2024-06-16 02:04:07 +0200 | yosafbridge | (~yosafbrid@static.38.6.217.95.clients.your-server.de) |
| 2024-06-16 03:14:27 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2024-06-16 03:14:45 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-06-16 04:54:47 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
| 2024-06-16 05:01:05 +0200 | td_ | (~td@i53870937.versanet.de) (Ping timeout: 252 seconds) |
| 2024-06-16 05:02:55 +0200 | td_ | (~td@i53870926.versanet.de) |
| 2024-06-16 07:51:41 +0200 | thunderrd | (~thunderrd@118.174.53.205) (Ping timeout: 240 seconds) |
| 2024-06-16 08:09:35 +0200 | gauge | (~gauge@user/gauge) (Ping timeout: 264 seconds) |
| 2024-06-16 08:12:53 +0200 | gauge | (~gauge@user/gauge) |
| 2024-06-16 11:51:48 +0200 | tom_ | (~tom@121.127.33.86) () |
| 2024-06-16 12:16:52 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-06-16 14:02:42 +0200 | Viking667 | (~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 +0200 | Viking667 | (~user@user/Viking667) (Quit: bai) |
| 2024-06-16 17:45:20 +0200 | yaslam | (~yaslam@user/yaslam) |
| 2024-06-16 17:49:56 +0200 | yaslam | (~yaslam@user/yaslam) (Quit: yaslam) |
| 2024-06-16 19:30:57 +0200 | ChubaDuba | (~ChubaDuba@176.212.41.228) |
| 2024-06-16 20:25:58 +0200 | ChubaDuba | (~ChubaDuba@176.212.41.228) (Ping timeout: 246 seconds) |
| 2024-06-16 20:26:04 +0200 | ChubaDuba | (~ChubaDuba@176.212.40.208) |
| 2024-06-16 20:30:34 +0200 | yaslam | (~yaslam@user/yaslam) |
| 2024-06-16 20:36:38 +0200 | yaslam | (~yaslam@user/yaslam) (Quit: yaslam) |
| 2024-06-16 21:19:19 +0200 | Guest92 | (~Guest37@ip-046-005-000-066.um12.pools.vodafone-ip.de) |
| 2024-06-16 21:27:51 +0200 | Guest92 | (~Guest37@ip-046-005-000-066.um12.pools.vodafone-ip.de) (Quit: Client closed) |
| 2024-06-16 21:28:10 +0200 | thorou | (~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 +0200 | deepy | (deepy@user/deepy) (Read error: Connection reset by peer) |
| 2024-06-16 22:32:41 +0200 | deepy | (deepy@user/deepy) |
| 2024-06-16 22:45:36 +0200 | ChubaDuba | (~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 +0200 | thorou | (~thorou@ip-046-005-000-066.um12.pools.vodafone-ip.de) (Quit: Client closed) |