Logs on 2023-02-10 (liberachat/#xmonad)
| 00:02:45 | → | scardinal joins (~supreme@customer-212-237-101-39.ip4.gigabit.dk) |
| 00:04:26 | <ectospasm> | geekosaur: I was fiddling around with my separate virtual workspace lists last night after you went to bed. I still couldn't figure out withScreen. So I gave up and tried having the same virtual workspaces on every screen. I have `sc <- countScreens`, but when I do `withScreens sc ["web", "email", "irc"]` I get a compile error, where withScreens is expecting a ScreenId not an integer. All the |
| 00:04:28 | <ectospasm> | examples I find either use nScreens (same way I'm trying to use it, we just call it something different), or have a literal integer following withScreens. |
| 00:09:29 | <geekosaur> | `countScreens` looks polymorphic to me. any chance you're using `sc` at two different types? |
| 00:12:02 | <geekosaur> | oh, wait, ScreenID, right. ghci> fmap (\s -> IS.withScreens (S s) ["web", "mail", "shell"]) IS.countScreens |
| 00:12:02 | <geekosaur> | ["0_web","0_mail","0_shell","1_web","1_mail","1_shell"] |
| 00:14:19 | <geekosaur> | ghci> IS.withScreen 0 ["mail", "web", "irc"] ++ IS.withScreen 1 ["shell", "code", "spare"] |
| 00:14:20 | <geekosaur> | ["0_mail","0_web","0_irc","1_shell","1_code","1_spare"] |
| 00:15:04 | <geekosaur> | note that if you're trying to use a variable instead of a constant, it won't work directly; use `fromIntegral` on the screen number, or `(S 0)`, `(S 1)`, etc. |
| 00:15:14 | <geekosaur> | like in the first example |
| 00:16:00 | <geekosaur> | (I have to admit I don't know why Spencer set ScreenIds up that way) |
| 00:32:31 | <ectospasm> | OK, let me give IS.withScreen another shot. |
| 00:43:33 | <ectospasm> | OK, got it to compile, and it works! But I see the physical workspace names in my logHook, I can fix that later. |
| 00:43:57 | <ectospasm> | here's my latest xmonad.hs: https://git.eldon.me/trey/XMonad/src/branch/multiheaded-fixup/xmonad.hs |
| 00:44:46 | <ectospasm> | My next step is to remove the gaps on monitors 1 and 2 (my two external monitors). The gap is desired for my conky output on screen 0 (primary), but kind of annoying on the other displays. |
| 00:45:34 | <ectospasm> | After that I'll need to sort out my logHook stuff for the multiple monitors. Ideally each screen shows its own workspaces, but that's not absolutely necessary at the moment. |
| 00:49:06 | <geekosaur> | there's a hook that patches up PP stuff (IS.marshallPP) and the new StatusBar module has support for workspaces shown on their own screens iirc |
| 00:50:22 | <geekosaur> | and if you're using Gaps to get those gaps, consider switching to spacingRaw which should give you more control |
| 00:53:29 | <geekosaur> | yeh, Gaps is old and very stupid. Spacing should help there. or tell conky to register as a dock and let X.H.ManageDocks deal with it |
| 00:54:45 | <geekosaur> | you'll want to talk to Solid about the StatusBar stuff |
| 01:10:23 | × | scardinal quits (~supreme@customer-212-237-101-39.ip4.gigabit.dk) (Ping timeout: 264 seconds) |
| 01:10:28 | geekosaur | mutters |
| 01:10:58 | <geekosaur> | ScreenId is a newtype over an Int with pretty much everything GNDd. What's the point? |
| 01:16:45 | → | scardinal joins (~supreme@customer-212-237-101-39.ip4.gigabit.dk) |
| 01:20:37 | × | werneta quits (~werneta@137.79.195.231) (Remote host closed the connection) |
| 01:35:24 | × | xmonadtrack quits (~xmonadtra@xmonad/geekosaur) (Remote host closed the connection) |
| 01:36:09 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 01:41:58 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 01:45:40 | → | xmonadtrack joins (~xmonadtra@069-135-003-034.biz.spectrum.com) |
| 01:45:40 | × | xmonadtrack quits (~xmonadtra@069-135-003-034.biz.spectrum.com) (Changing host) |
| 01:45:40 | → | xmonadtrack joins (~xmonadtra@xmonad/geekosaur) |
| 02:25:19 | × | Hmmf quits (~Hmmf@2a01:e0a:582:bb40:e5c6:f484:7015:1722) (Quit: Client closed) |
| 02:49:12 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-05-174-88-194-86.dsl.bell.ca) |
| 02:50:53 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-05-174-88-194-86.dsl.bell.ca) (Remote host closed the connection) |
| 02:51:38 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-05-174-88-194-86.dsl.bell.ca) |
| 02:57:45 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-05-174-88-194-86.dsl.bell.ca) (Remote host closed the connection) |
| 02:58:05 | <ectospasm> | OK, so I'm not running conky directly, it's conky CLI being run on various machines over SSH (plus one line locally), that pipes into dzen2 (which I believe has the --dock option, let me check) |
| 02:58:26 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-05-174-88-194-86.dsl.bell.ca) |
| 03:00:53 | <ectospasm> | Yeah, they're all run as `dzen2 -dock`, and absolutely positioned (because I don't know another way of doing it) |
| 03:02:52 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-05-174-88-194-86.dsl.bell.ca) (Remote host closed the connection) |
| 03:03:02 | <ectospasm> | It's really the gaps on the other monitors that I want to fix. I'll look into spacingRaw, let me first try to understand how I set those gaps. |
| 03:03:59 | × | banc quits (banc@gateway/vpn/protonvpn/banc) (Ping timeout: 248 seconds) |
| 03:16:48 | <ectospasm> | OK, so simply removing the gaps configuration is *close* to what I want. The only thing is, it only looks like my bottom dzen2 conky bar is registering as a strut (the other six on top are covered by the window on screen 0/primary) |
| 03:20:34 | → | banc joins (banc@gateway/vpn/protonvpn/banc) |
| 03:30:45 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-05-174-88-194-86.dsl.bell.ca) |
| 03:33:39 | <ectospasm> | Hmmm, I think simply reloading XMonad fixes the problem, mostly. It's like initially, the top six dzen2 bars at the bottom of my screen were covered, but relaunching XMonad (which I have mapped to winKey + xK_q) seems to fix that. |
| 03:34:23 | × | ft quits (~ft@p508dbcc4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 03:34:46 | <ectospasm> | Now the only issue is any full screen window has the bottom cut off by these conky dzen2 docks. I can tell because the focused window border isn't show at the bottom of the window. I've even played with the focused window border to make sure. |
| 03:35:21 | <ectospasm> | Not a huge deal, but it means the app on that window doesn't know part of it isn't visible. |
| 03:35:29 | <ectospasm> | This would be a problem if this were myTerminal |
| 03:35:43 | <ectospasm> | And will likely be a problem when I switch back to one screen. |
| 03:40:55 | → | ft joins (~ft@p3e9bc443.dip0.t-ipconnect.de) |
| 03:41:55 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-05-174-88-194-86.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 03:46:51 | × | mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 265 seconds) |
| 03:59:27 | × | td_ quits (~td@i5387090F.versanet.de) (Ping timeout: 248 seconds) |
| 04:01:02 | → | td_ joins (~td@i53870923.versanet.de) |
| 04:23:12 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 04:28:07 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 07:16:35 | → | chomwitt joins (~chomwitt@2a02:587:7a12:aa00:1ac0:4dff:fedb:a3f1) |
| 07:38:07 | × | banc quits (banc@gateway/vpn/protonvpn/banc) (Quit: Bye, bye) |
| 07:38:27 | → | banc joins (banc@gateway/vpn/protonvpn/banc) |
| 07:45:15 | × | chomwitt quits (~chomwitt@2a02:587:7a12:aa00:1ac0:4dff:fedb:a3f1) (Ping timeout: 248 seconds) |
| 07:54:56 | → | mncheck joins (~mncheck@193.224.205.254) |
| 08:39:32 | × | ft quits (~ft@p3e9bc443.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:47:04 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 09:00:07 | × | unclechu quits (~unclechu@2001:470:69fc:105::354) (Quit: You have been kicked for being idle) |
| 09:02:46 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 09:47:54 | → | cfricke joins (~cfricke@user/cfricke) |
| 10:57:56 | → | chomwitt joins (~chomwitt@2a02:587:7a12:aa00:1ac0:4dff:fedb:a3f1) |
| 11:04:23 | × | chomwitt quits (~chomwitt@2a02:587:7a12:aa00:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds) |
| 12:42:34 | → | chomwitt joins (~chomwitt@2a02:587:7a12:aa00:1ac0:4dff:fedb:a3f1) |
| 13:13:25 | × | mncheck quits (~mncheck@193.224.205.254) (Remote host closed the connection) |
| 13:13:36 | → | mncheck joins (~mncheck@193.224.205.254) |
| 13:42:33 | × | jabuxas quits (~jabuxas@user/jabuxas) (Ping timeout: 255 seconds) |
| 14:55:28 | × | chomwitt quits (~chomwitt@2a02:587:7a12:aa00:1ac0:4dff:fedb:a3f1) (Ping timeout: 248 seconds) |
| 15:03:15 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 15:15:35 | → | ft joins (~ft@p3e9bc443.dip0.t-ipconnect.de) |
| 15:34:54 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 15:49:07 | → | Hmmf joins (~Hmmf@2a01:e0a:582:bb40:e5c6:f484:7015:1722) |
| 18:33:41 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 18:49:04 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 19:34:35 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 19:49:19 | → | chomwitt joins (~chomwitt@2a02:587:7a12:aa00:1ac0:4dff:fedb:a3f1) |
| 19:50:11 | × | noze quits (~user@2001:41d0:a:21f1::1) (Ping timeout: 260 seconds) |
| 19:54:50 | → | noze joins (~user@2001:41d0:a:21f1::1) |
| 20:55:41 | × | T_X quits (~T_X@diktynna.open-mesh.org) (Read error: Connection reset by peer) |
| 20:55:48 | → | T_X_ joins (~T_X@diktynna.open-mesh.org) |
| 21:38:42 | → | telser joins (~quassel@user/telser) |
| 22:17:35 | × | mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 246 seconds) |
| 22:53:11 | → | jabuxas joins (~jabuxas@user/jabuxas) |
| 23:11:34 | × | mc47 quits (~mc47@xmonad/TheMC47) (Ping timeout: 260 seconds) |
| 23:34:03 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds) |
All times are in UTC on 2023-02-10.