Logs on 2022-11-17 (liberachat/#xmonad)
| 00:06:42 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 00:06:53 | × | wonko quits (~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 256 seconds) |
| 00:11:52 | → | minnie joins (~minnie@180.150.83.172) |
| 00:21:31 | × | aliosablack quits (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds) |
| 01:20:56 | → | sogens joins (~sogens@pa49-182-32-204.pa.qld.optusnet.com.au) |
| 01:26:24 | × | sogens quits (~sogens@pa49-182-32-204.pa.qld.optusnet.com.au) (Ping timeout: 256 seconds) |
| 01:27:16 | → | sogens joins (sogens@gateway/vpn/protonvpn/sogens) |
| 01:41:50 | → | srz joins (~srz@179.36.80.14) |
| 01:42:33 | × | srz quits (~srz@179.36.80.14) (Remote host closed the connection) |
| 01:42:52 | → | srz joins (~srz@179.36.80.14) |
| 02:33:30 | × | sogens quits (sogens@gateway/vpn/protonvpn/sogens) (Ping timeout: 240 seconds) |
| 02:33:47 | × | srz quits (~srz@179.36.80.14) (Remote host closed the connection) |
| 02:34:01 | → | srz joins (~srz@179.36.80.14) |
| 02:35:37 | × | srz quits (~srz@179.36.80.14) (Remote host closed the connection) |
| 02:36:01 | → | srz joins (~srz@179.36.80.14) |
| 02:37:37 | × | srz quits (~srz@179.36.80.14) (Remote host closed the connection) |
| 02:38:00 | → | srz joins (~srz@179.36.80.14) |
| 02:45:11 | × | srz quits (~srz@179.36.80.14) (Remote host closed the connection) |
| 03:04:51 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 260 seconds) |
| 03:09:21 | × | td_ quits (~td@83.135.9.43) (Ping timeout: 256 seconds) |
| 03:11:13 | → | td_ joins (~td@83.135.9.50) |
| 03:23:41 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 03:33:18 | → | sogens joins (~sogens@pa49-197-35-32.pa.qld.optusnet.com.au) |
| 03:38:26 | × | sogens quits (~sogens@pa49-197-35-32.pa.qld.optusnet.com.au) (Ping timeout: 256 seconds) |
| 03:39:38 | → | sogens joins (sogens@gateway/vpn/protonvpn/sogens) |
| 06:36:35 | × | rieper quits (~riepernet@webmirror.geo.uni-leipzig.de) (Remote host closed the connection) |
| 06:37:43 | → | rieper joins (~riepernet@webmirror.geo.uni-leipzig.de) |
| 07:18:32 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:21:31 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 07:24:33 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::4b68) (Quit: Going elsewhere) |
| 08:25:38 | → | mncheck joins (~mncheck@193.224.205.254) |
| 08:44:44 | → | aliosablack joins (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) |
| 08:49:21 | <Solid> | JulioBorjaBarra[: in this case it's really a verbatim replacement of `namedScratchpadFilterOutWorkspace` by `filterOutWs [scratchpadWorkspaceTag]` |
| 08:49:48 | <Solid> | (`WorkspaceSort` is just an alias for `[WindowSpace] -> [WindowSpace]`) |
| 08:59:03 | × | ft quits (~ft@p508dbd59.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:00:17 | × | liskin[m] quits (~liskinmat@2001:470:69fc:105::768) (Quit: You have been kicked for being idle) |
| 09:07:18 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.7.1) |
| 09:12:14 | × | kaskal quits (~kaskal@89.144.223.95) (Ping timeout: 268 seconds) |
| 09:12:33 | → | kaskal joins (~kaskal@213-225-13-82.nat.highway.a1.net) |
| 09:13:28 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 268 seconds) |
| 09:16:19 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 09:53:28 | → | wonko joins (~wjc@2a0e:1c80:2:0:45:15:19:130) |
| 10:03:54 | → | srk joins (~sorki@user/srk) |
| 10:27:29 | <liskin> | Oh, new Stackage out there with GHC 9.2 |
| 10:27:42 | → | liskin[m] joins (~liskinmat@2001:470:69fc:105::768) |
| 10:27:50 | <liskin> | Is this a good time to drop 8.4? |
| 10:28:21 | <liskin> | (and by "this" and "time" I don't really mean today nor this week because life :-)) |
| 10:32:46 | <JulioBorjaBarra[> | <Solid> "Julio Borja Barra: in this..." <- ohh, didn't know about `scratchpadWorkspaceTag`. Verbatim replacement worked, but I don't understand what `(.filterOutWs [scratchpadWorkspaceTag])` means. I thought `.propName` was an 'accessor'. |
| 10:35:37 | <[Leary]> | liskin: Honestly I think it's well past time; 8.4 is ancient and I crave BlockArguments. |
| 10:37:38 | <Solid> | liskin: yes! I've been eyeing DerivigVia for a long time to clean up some type class instances in core :) |
| 10:37:44 | <[Leary]> | JulioBorjaBarra[: That's an "operator section" with the composition operator. `(. f) = \g -> g . f = \g -> \x -> g (f x)`. |
| 10:38:44 | <[Leary]> | liskin: I also have some possible contrib modules sitting around that need QuantifiedConstraints. Lotsa good reasons. |
| 10:42:27 | → | cfricke joins (~cfricke@user/cfricke) |
| 10:49:42 | <Rutherther[m]> | > <@rutherther:rutherther.eu> hi, I am using xmonad with xmobar with multi (3) monitor setup, on each monitor I have xmobar... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/71fe8b41ce02a265ad043ebd09ef164216c43bfa>) |
| 10:49:43 | <lambdabot> | <hint>:1:1: error: parse error on input ‘<@’ |
| 10:51:31 | <Rutherther[m]> | > <@rutherther:rutherther.eu> hi, I am using xmonad with xmobar with multi (3) monitor setup, on each monitor I have xmobar... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/31193b975fd1d391ec5ed33e0ab347dac99eae3a>) |
| 10:51:33 | <lambdabot> | <hint>:1:1: error: parse error on input ‘<@’ |
| 10:55:33 | × | aliosablack quits (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 11:10:00 | <Solid> | Rutherther[m]: try something like http://ix.io/4g7k |
| 11:10:22 | <Solid> | this should test for the screen being visible, but not focused |
| 11:10:47 | <Solid> | (not tested, nor type-checked) |
| 11:14:03 | <Rutherther[m]> | hm, seems to match every workspace on screen I don't have focus on |
| 11:16:42 | Rutherther[m] | uploaded an image: (2KiB) < https://libera.ems.host/_matrix/media/v3/download/rutherther.eu/OjAAGBEgiRxXoYDjVVFvUbzh/image.png > |
| 11:16:44 | <Rutherther[m]> | to be more specific: |
| 11:17:07 | <Rutherther[m]> | on monitor I don't have focused I see this, this color indicates isVisibleCurrentScreen returned true |
| 11:18:54 | <[Leary]> | Rutherther[m]: you probably want `W.lookupWorkspace`; that's the pure variant of `screenWorkspace`. |
| 11:23:28 | <Solid> | Rutherther[m]: maybe something like http://ix.io/4g7p |
| 11:23:48 | <Solid> | (this probably contains redundant logic :) |
| 11:27:57 | <Rutherther[m]> | I think there is a problem with the condition... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/fb228c4458cc7fd333b75cf91828a221161eeb30>) |
| 11:28:00 | Rutherther[m] | uploaded an image: (2KiB) < https://libera.ems.host/_matrix/media/v3/download/rutherther.eu/TMhpxunMZtvIEzSEXdFeWYMQ/image.png > |
| 11:28:15 | <Rutherther[m]> | only 4 should be greenish on this monitor, one shouldn't |
| 11:30:14 | <Solid> | so 1 is not visible on some monitor? |
| 11:30:22 | <Rutherther[m]> | it is |
| 11:30:39 | <Solid> | so it should be green, no? |
| 11:32:04 | <[Leary]> | Rutherther[m]: If your original function suffices to write what you want, it looks like it should be: `... = W.lookupWorkspace s wsWindowSet == Just (W.tag wsWS)`. |
| 11:33:02 | <Solid> | oh I didn't know lookupWorkspace existed in core |
| 11:33:42 | <Solid> | should work yeah, modulo some condition to exclude the focused workspace, if that's desired |
| 11:34:13 | <Rutherther[m]> | [Leary]: thank you very much, that's it, what does that Just do btw? I was trying to do `W.lookupWorkspace s wsWindowSet == W.tag wsWS`, but the types did not match and I didn't know what to do with it |
| 11:34:37 | <[Leary]> | @src Maybe |
| 11:34:37 | <lambdabot> | data Maybe a = Nothing | Just a |
| 11:35:25 | <Rutherther[m]> | Solid: what I wanted to achieve is that it's greenish only if it is being printed on the screen where the visible workspace is, thank you for your time as as well |
| 11:35:40 | <[Leary]> | `Just` lifts a value into a data type with a context of possible failure, which would happen here if the screen you were looking up did not exist. |
| 11:37:15 | <Rutherther[m]> | [Leary]: oh that makes sense |
| 11:46:09 | <Rutherther[m]> | > <@rutherther:rutherther.eu> hi, I am using xmonad with xmobar with multi (3) monitor setup, on each monitor I have xmobar... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/56108b80c3af9c26161c1c75834f4d422eedc86b>) |
| 11:46:11 | <lambdabot> | <hint>:1:1: error: parse error on input ‘<@’ |
| 11:46:34 | <Rutherther[m]> | * in case someone wanted the same behavior (xmobar printer for visible workspace only on the screen the workspace is on), this is the final code:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/920851487398db7201763fbd27dec8feb162498f>) |
| 12:08:36 | × | jludwig quits (~justin@li657-110.members.linode.com) (Ping timeout: 268 seconds) |
| 12:09:27 | → | jludwig joins (~justin@li657-110.members.linode.com) |
| 12:46:40 | → | graham_o[m] joins (~grahamoma@2001:470:69fc:105::2:ba2f) |
| 13:05:40 | × | td_ quits (~td@83.135.9.50) (Ping timeout: 256 seconds) |
| 14:17:07 | × | [Leary] quits (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 14:17:36 | → | [Leary] joins (~Leary]@user/Leary/x-0910699) |
| 14:44:22 | <liskin> | Solid, [Leary]: these extensions you mention, when do they appear? |
| 14:45:44 | <liskin> | Solid, [Leary]: Ubuntu 20.04 is on 8.6.5 and is supported till 2025, so that's one argument for dropping just 8.4, but then Ubuntu 22.04 has been out for half a year so we could well skip straight through to 8.8 as that's in Debian stable as well |
| 14:46:13 | <liskin> | (and I have no idea about other distros but assume these to be both most conservative and also to cover the widest userbase) |
| 14:46:24 | <liskin> | and when I say conservative I mean unmaintained lol |
| 14:46:31 | <liskin> | (as in Haskell packaging) |
| 14:47:13 | <Solid> | liskin: BlockArguments, DerivingVia, and QuantifiedConstraints all appear in 8.6.1 so we're gucci :) |
| 14:48:15 | <Solid> | (I wouldn't have a problem with dropping 8.6 as well though) |
| 14:50:05 | <liskin> | yeah it's not like I know what I'm doing either, perhaps none of this matters :-) |
| 14:52:36 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 14:56:55 | <[Leary]> | I'm ambivalent on 8.6 too, but I don't see any real reason to drop it at this point. |
| 14:57:38 | <[Leary]> | *indifferent |
| 14:59:57 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 15:01:16 | × | minnie quits (~minnie@180.150.83.172) (Ping timeout: 256 seconds) |
| 15:10:46 | geekosaur | has no preferences |
| 15:11:22 | <geekosaur> | (well, if you held me to the wall I'd probably prefer people use ghcup and build xmonad from hackage or git, but I know many folks won't do that) |
| 15:28:37 | <liskin> | me being one of them :-) |
| 15:29:06 | <liskin> | I was forced to use rustup instead of rustc/cargo from Debian fairly recently, and I didn't love the experience at all |
| 15:29:37 | → | minnie joins (~minnie@159.196.202.199) |
| 15:30:52 | <liskin> | admittedly it would've been less bad if Debian itself just shipped rustup with the proxy hard/sym-links as rustup can be build-time configured to not touch these and not try to update itself and everything would then work almost perfectly, but unfortunately Debian doesn't ship stuff like this and rustup doesn't ship such deb packages either, so the end-user experience is inevitably shut |
| 15:31:15 | <liskin> | unsurpringly the situation with ghcup isn't any different so … :-/ |
| 15:31:38 | <liskin> | *shit not shut |
| 15:55:22 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.7.1) |
| 16:00:07 | × | liskin[m] quits (~liskinmat@2001:470:69fc:105::768) (Quit: You have been kicked for being idle) |
| 16:25:54 | × | noex quits (~null@user/noex) (Quit: :q!) |
| 17:20:24 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 17:57:59 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::4b68) |
| 18:05:16 | → | ft joins (~ft@p508dbd59.dip0.t-ipconnect.de) |
| 18:24:21 | → | srz joins (~srz@181.228.49.93) |
| 19:03:51 | × | c0c0 quits (~coco@85.195.206.136) (Quit: WeeChat 3.5) |
| 19:05:59 | → | td_ joins (~td@83.135.9.50) |
| 19:08:43 | × | minnie quits (~minnie@159.196.202.199) (Ping timeout: 256 seconds) |
| 19:19:10 | → | Guest47 joins (~Guest47@110.226.84.78) |
| 19:19:25 | × | Guest47 quits (~Guest47@110.226.84.78) (Client Quit) |
| 19:23:12 | → | clu joins (~clu@user/varjax) |
| 19:39:47 | × | clu quits (~clu@user/varjax) (Ping timeout: 260 seconds) |
| 19:44:20 | → | clu joins (~clu@user/varjax) |
| 19:46:57 | × | clu quits (~clu@user/varjax) (Read error: Connection reset by peer) |
| 19:53:53 | → | clu joins (~clu@user/varjax) |
| 20:50:15 | × | srz quits (~srz@181.228.49.93) (Ping timeout: 260 seconds) |
| 23:03:09 | × | redgloboli quits (~redglobol@user/redgloboli) (Quit: ...enter the matrix...) |
| 23:03:14 | → | srz joins (~srz@181.228.49.93) |
| 23:03:28 | → | redgloboli joins (~redglobol@user/redgloboli) |
| 23:04:30 | × | wonko quits (~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 240 seconds) |
| 23:05:06 | → | wonko joins (~wjc@2a0e:1c80:2:0:45:15:19:130) |
| 23:21:00 | × | mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 260 seconds) |
| 23:25:42 | × | srz quits (~srz@181.228.49.93) (Ping timeout: 268 seconds) |
| 23:42:53 | → | Guest2775 joins (~Guest27@2a02:560:55f6:f00:27b0:2f77:cd09:8a1a) |
| 23:44:21 | × | Guest2775 quits (~Guest27@2a02:560:55f6:f00:27b0:2f77:cd09:8a1a) (Client Quit) |
All times are in UTC on 2022-11-17.