2022-11-17 00:13:53 +0100 | sogens | (sogens@gateway/vpn/protonvpn/sogens) |
2022-11-17 00:15:32 +0100 | noex | (~null@user/noex) |
2022-11-17 00:31:29 +0100 | sogens | (sogens@gateway/vpn/protonvpn/sogens) (Ping timeout: 260 seconds) |
2022-11-17 00:39:31 +0100 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) |
2022-11-17 00:52:34 +0100 | justache | justGrit |
2022-11-17 01:06:42 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
2022-11-17 01:06:53 +0100 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 256 seconds) |
2022-11-17 01:11:52 +0100 | minnie | (~minnie@180.150.83.172) |
2022-11-17 01:21:31 +0100 | aliosablack | (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds) |
2022-11-17 02:20:56 +0100 | sogens | (~sogens@pa49-182-32-204.pa.qld.optusnet.com.au) |
2022-11-17 02:26:24 +0100 | sogens | (~sogens@pa49-182-32-204.pa.qld.optusnet.com.au) (Ping timeout: 256 seconds) |
2022-11-17 02:27:16 +0100 | sogens | (sogens@gateway/vpn/protonvpn/sogens) |
2022-11-17 02:41:50 +0100 | srz | (~srz@179.36.80.14) |
2022-11-17 02:42:33 +0100 | srz | (~srz@179.36.80.14) (Remote host closed the connection) |
2022-11-17 02:42:52 +0100 | srz | (~srz@179.36.80.14) |
2022-11-17 03:33:30 +0100 | sogens | (sogens@gateway/vpn/protonvpn/sogens) (Ping timeout: 240 seconds) |
2022-11-17 03:33:47 +0100 | srz | (~srz@179.36.80.14) (Remote host closed the connection) |
2022-11-17 03:34:01 +0100 | srz | (~srz@179.36.80.14) |
2022-11-17 03:35:37 +0100 | srz | (~srz@179.36.80.14) (Remote host closed the connection) |
2022-11-17 03:36:01 +0100 | srz | (~srz@179.36.80.14) |
2022-11-17 03:37:37 +0100 | srz | (~srz@179.36.80.14) (Remote host closed the connection) |
2022-11-17 03:38:00 +0100 | srz | (~srz@179.36.80.14) |
2022-11-17 03:45:11 +0100 | srz | (~srz@179.36.80.14) (Remote host closed the connection) |
2022-11-17 04:04:51 +0100 | banc | (banc@gateway/vpn/airvpn/banc) (Ping timeout: 260 seconds) |
2022-11-17 04:09:21 +0100 | td_ | (~td@83.135.9.43) (Ping timeout: 256 seconds) |
2022-11-17 04:11:13 +0100 | td_ | (~td@83.135.9.50) |
2022-11-17 04:23:41 +0100 | banc | (banc@gateway/vpn/airvpn/banc) |
2022-11-17 04:33:18 +0100 | sogens | (~sogens@pa49-197-35-32.pa.qld.optusnet.com.au) |
2022-11-17 04:38:26 +0100 | sogens | (~sogens@pa49-197-35-32.pa.qld.optusnet.com.au) (Ping timeout: 256 seconds) |
2022-11-17 04:39:38 +0100 | sogens | (sogens@gateway/vpn/protonvpn/sogens) |
2022-11-17 07:36:35 +0100 | rieper | (~riepernet@webmirror.geo.uni-leipzig.de) (Remote host closed the connection) |
2022-11-17 07:37:43 +0100 | rieper | (~riepernet@webmirror.geo.uni-leipzig.de) |
2022-11-17 08:18:32 +0100 | cfricke | (~cfricke@user/cfricke) |
2022-11-17 08:21:31 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
2022-11-17 08:24:33 +0100 | mvk | (~mvk@2607:fea8:5ce3:8500::4b68) (Quit: Going elsewhere) |
2022-11-17 09:25:38 +0100 | mncheck | (~mncheck@193.224.205.254) |
2022-11-17 09:44:44 +0100 | aliosablack | (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) |
2022-11-17 09:49:21 +0100 | <Solid> | JulioBorjaBarra[: in this case it's really a verbatim replacement of `namedScratchpadFilterOutWorkspace` by `filterOutWs [scratchpadWorkspaceTag]` |
2022-11-17 09:49:48 +0100 | <Solid> | (`WorkspaceSort` is just an alias for `[WindowSpace] -> [WindowSpace]`) |
2022-11-17 09:59:03 +0100 | ft | (~ft@p508dbd59.dip0.t-ipconnect.de) (Quit: leaving) |
2022-11-17 10:00:17 +0100 | liskin[m] | (~liskinmat@2001:470:69fc:105::768) (Quit: You have been kicked for being idle) |
2022-11-17 10:07:18 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.7.1) |
2022-11-17 10:12:14 +0100 | kaskal | (~kaskal@89.144.223.95) (Ping timeout: 268 seconds) |
2022-11-17 10:12:33 +0100 | kaskal | (~kaskal@213-225-13-82.nat.highway.a1.net) |
2022-11-17 10:13:28 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 268 seconds) |
2022-11-17 10:16:19 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
2022-11-17 10:53:28 +0100 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) |
2022-11-17 11:03:54 +0100 | srk | (~sorki@user/srk) |
2022-11-17 11:27:29 +0100 | <liskin> | Oh, new Stackage out there with GHC 9.2 |
2022-11-17 11:27:42 +0100 | liskin[m] | (~liskinmat@2001:470:69fc:105::768) |
2022-11-17 11:27:50 +0100 | <liskin> | Is this a good time to drop 8.4? |
2022-11-17 11:28:21 +0100 | <liskin> | (and by "this" and "time" I don't really mean today nor this week because life :-)) |
2022-11-17 11:32:46 +0100 | <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'. |
2022-11-17 11:35:37 +0100 | <[Leary]> | liskin: Honestly I think it's well past time; 8.4 is ancient and I crave BlockArguments. |
2022-11-17 11:37:38 +0100 | <Solid> | liskin: yes! I've been eyeing DerivigVia for a long time to clean up some type class instances in core :) |
2022-11-17 11:37:44 +0100 | <[Leary]> | JulioBorjaBarra[: That's an "operator section" with the composition operator. `(. f) = \g -> g . f = \g -> \x -> g (f x)`. |
2022-11-17 11:38:44 +0100 | <[Leary]> | liskin: I also have some possible contrib modules sitting around that need QuantifiedConstraints. Lotsa good reasons. |
2022-11-17 11:42:27 +0100 | cfricke | (~cfricke@user/cfricke) |
2022-11-17 11:49:42 +0100 | <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/71fe8b41ce02a265ad043ebd09ef164216c4…>) |
2022-11-17 11:49:43 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘<@’ |
2022-11-17 11:51:31 +0100 | <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/31193b975fd1d391ec5ed33e0ab347dac99e…>) |
2022-11-17 11:51:33 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘<@’ |
2022-11-17 11:55:33 +0100 | aliosablack | (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
2022-11-17 12:10:00 +0100 | <Solid> | Rutherther[m]: try something like http://ix.io/4g7k |
2022-11-17 12:10:22 +0100 | <Solid> | this should test for the screen being visible, but not focused |
2022-11-17 12:10:47 +0100 | <Solid> | (not tested, nor type-checked) |
2022-11-17 12:14:03 +0100 | <Rutherther[m]> | hm, seems to match every workspace on screen I don't have focus on |
2022-11-17 12:16:42 +0100 | Rutherther[m] | uploaded an image: (2KiB) < https://libera.ems.host/_matrix/media/v3/download/rutherther.eu/OjAAGBEgiRxXoYDjVVFvUbzh/image.png > |
2022-11-17 12:16:44 +0100 | <Rutherther[m]> | to be more specific: |
2022-11-17 12:17:07 +0100 | <Rutherther[m]> | on monitor I don't have focused I see this, this color indicates isVisibleCurrentScreen returned true |
2022-11-17 12:18:54 +0100 | <[Leary]> | Rutherther[m]: you probably want `W.lookupWorkspace`; that's the pure variant of `screenWorkspace`. |
2022-11-17 12:23:28 +0100 | <Solid> | Rutherther[m]: maybe something like http://ix.io/4g7p |
2022-11-17 12:23:48 +0100 | <Solid> | (this probably contains redundant logic :) |
2022-11-17 12:27:57 +0100 | <Rutherther[m]> | I think there is a problem with the condition... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/fb228c4458cc7fd333b75cf91828a221161e…>) |
2022-11-17 12:28:00 +0100 | Rutherther[m] | uploaded an image: (2KiB) < https://libera.ems.host/_matrix/media/v3/download/rutherther.eu/TMhpxunMZtvIEzSEXdFeWYMQ/image.png > |
2022-11-17 12:28:15 +0100 | <Rutherther[m]> | only 4 should be greenish on this monitor, one shouldn't |
2022-11-17 12:30:14 +0100 | <Solid> | so 1 is not visible on some monitor? |
2022-11-17 12:30:22 +0100 | <Rutherther[m]> | it is |
2022-11-17 12:30:39 +0100 | <Solid> | so it should be green, no? |
2022-11-17 12:32:04 +0100 | <[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)`. |
2022-11-17 12:33:02 +0100 | <Solid> | oh I didn't know lookupWorkspace existed in core |
2022-11-17 12:33:42 +0100 | <Solid> | should work yeah, modulo some condition to exclude the focused workspace, if that's desired |
2022-11-17 12:34:13 +0100 | <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 |
2022-11-17 12:34:37 +0100 | <[Leary]> | @src Maybe |
2022-11-17 12:34:37 +0100 | <lambdabot> | data Maybe a = Nothing | Just a |
2022-11-17 12:35:25 +0100 | <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 |
2022-11-17 12:35:40 +0100 | <[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. |
2022-11-17 12:37:15 +0100 | <Rutherther[m]> | [Leary]: oh that makes sense |
2022-11-17 12:46:09 +0100 | <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/56108b80c3af9c26161c1c75834f4d422eed…>) |
2022-11-17 12:46:11 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘<@’ |
2022-11-17 12:46:34 +0100 | <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/920851487398db7201763fbd27dec8feb162…>) |
2022-11-17 13:08:36 +0100 | jludwig | (~justin@li657-110.members.linode.com) (Ping timeout: 268 seconds) |
2022-11-17 13:09:27 +0100 | jludwig | (~justin@li657-110.members.linode.com) |
2022-11-17 13:46:40 +0100 | graham_o[m] | (~grahamoma@2001:470:69fc:105::2:ba2f) |
2022-11-17 14:05:40 +0100 | td_ | (~td@83.135.9.50) (Ping timeout: 256 seconds) |
2022-11-17 15:17:07 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
2022-11-17 15:17:36 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) |
2022-11-17 15:44:22 +0100 | <liskin> | Solid, [Leary]: these extensions you mention, when do they appear? |
2022-11-17 15:45:44 +0100 | <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 |
2022-11-17 15:46:13 +0100 | <liskin> | (and I have no idea about other distros but assume these to be both most conservative and also to cover the widest userbase) |
2022-11-17 15:46:24 +0100 | <liskin> | and when I say conservative I mean unmaintained lol |
2022-11-17 15:46:31 +0100 | <liskin> | (as in Haskell packaging) |
2022-11-17 15:47:13 +0100 | <Solid> | liskin: BlockArguments, DerivingVia, and QuantifiedConstraints all appear in 8.6.1 so we're gucci :) |
2022-11-17 15:48:15 +0100 | <Solid> | (I wouldn't have a problem with dropping 8.6 as well though) |
2022-11-17 15:50:05 +0100 | <liskin> | yeah it's not like I know what I'm doing either, perhaps none of this matters :-) |
2022-11-17 15:52:36 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2022-11-17 15:56:55 +0100 | <[Leary]> | I'm ambivalent on 8.6 too, but I don't see any real reason to drop it at this point. |
2022-11-17 15:57:38 +0100 | <[Leary]> | *indifferent |
2022-11-17 15:59:57 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
2022-11-17 16:01:16 +0100 | minnie | (~minnie@180.150.83.172) (Ping timeout: 256 seconds) |
2022-11-17 16:10:46 +0100 | geekosaur | has no preferences |
2022-11-17 16:11:22 +0100 | <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) |
2022-11-17 16:28:37 +0100 | <liskin> | me being one of them :-) |
2022-11-17 16:29:06 +0100 | <liskin> | I was forced to use rustup instead of rustc/cargo from Debian fairly recently, and I didn't love the experience at all |
2022-11-17 16:29:37 +0100 | minnie | (~minnie@159.196.202.199) |
2022-11-17 16:30:52 +0100 | <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 |
2022-11-17 16:31:15 +0100 | <liskin> | unsurpringly the situation with ghcup isn't any different so … :-/ |
2022-11-17 16:31:38 +0100 | <liskin> | *shit not shut |
2022-11-17 16:55:22 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.7.1) |
2022-11-17 17:00:07 +0100 | liskin[m] | (~liskinmat@2001:470:69fc:105::768) (Quit: You have been kicked for being idle) |
2022-11-17 17:25:54 +0100 | noex | (~null@user/noex) (Quit: :q!) |
2022-11-17 18:20:24 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-11-17 18:57:59 +0100 | mvk | (~mvk@2607:fea8:5ce3:8500::4b68) |
2022-11-17 19:05:16 +0100 | ft | (~ft@p508dbd59.dip0.t-ipconnect.de) |
2022-11-17 19:24:21 +0100 | srz | (~srz@181.228.49.93) |
2022-11-17 20:03:51 +0100 | c0c0 | (~coco@85.195.206.136) (Quit: WeeChat 3.5) |
2022-11-17 20:05:59 +0100 | td_ | (~td@83.135.9.50) |
2022-11-17 20:08:43 +0100 | minnie | (~minnie@159.196.202.199) (Ping timeout: 256 seconds) |
2022-11-17 20:19:10 +0100 | Guest47 | (~Guest47@110.226.84.78) |
2022-11-17 20:19:25 +0100 | Guest47 | (~Guest47@110.226.84.78) (Client Quit) |
2022-11-17 20:23:12 +0100 | clu | (~clu@user/varjax) |
2022-11-17 20:39:47 +0100 | clu | (~clu@user/varjax) (Ping timeout: 260 seconds) |
2022-11-17 20:44:20 +0100 | clu | (~clu@user/varjax) |
2022-11-17 20:46:57 +0100 | clu | (~clu@user/varjax) (Read error: Connection reset by peer) |
2022-11-17 20:53:53 +0100 | clu | (~clu@user/varjax) |
2022-11-17 21:50:15 +0100 | srz | (~srz@181.228.49.93) (Ping timeout: 260 seconds) |