Logs: liberachat/#xmonad
| 2022-11-16 21:41:37 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 2022-11-16 21:44:41 | → | sogens joins (~sogens@pa49-182-32-204.pa.qld.optusnet.com.au) |
| 2022-11-16 21:48:40 | × | sogens quits (~sogens@pa49-182-32-204.pa.qld.optusnet.com.au) (Read error: Connection reset by peer) |
| 2022-11-16 22:14:41 | × | blaa quits (~bla@79.191.33.40.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds) |
| 2022-11-16 22:16:48 | → | bla joins (~bla@79.191.33.40.ipv4.supernova.orange.pl) |
| 2022-11-16 23:13:53 | → | sogens joins (sogens@gateway/vpn/protonvpn/sogens) |
| 2022-11-16 23:15:32 | → | noex joins (~null@user/noex) |
| 2022-11-16 23:31:29 | × | sogens quits (sogens@gateway/vpn/protonvpn/sogens) (Ping timeout: 260 seconds) |
| 2022-11-16 23:39:31 | → | wonko joins (~wjc@2a0e:1c80:2:0:45:15:19:130) |
| 2022-11-16 23:52:34 | justache | is now known as justGrit |
| 2022-11-17 00:06:42 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2022-11-17 00:06:53 | × | wonko quits (~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 256 seconds) |
| 2022-11-17 00:11:52 | → | minnie joins (~minnie@180.150.83.172) |
| 2022-11-17 00:21:31 | × | aliosablack quits (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds) |
| 2022-11-17 01:20:56 | → | sogens joins (~sogens@pa49-182-32-204.pa.qld.optusnet.com.au) |
| 2022-11-17 01:26:24 | × | sogens quits (~sogens@pa49-182-32-204.pa.qld.optusnet.com.au) (Ping timeout: 256 seconds) |
| 2022-11-17 01:27:16 | → | sogens joins (sogens@gateway/vpn/protonvpn/sogens) |
| 2022-11-17 01:41:50 | → | srz joins (~srz@179.36.80.14) |
| 2022-11-17 01:42:33 | × | srz quits (~srz@179.36.80.14) (Remote host closed the connection) |
| 2022-11-17 01:42:52 | → | srz joins (~srz@179.36.80.14) |
| 2022-11-17 02:33:30 | × | sogens quits (sogens@gateway/vpn/protonvpn/sogens) (Ping timeout: 240 seconds) |
| 2022-11-17 02:33:47 | × | srz quits (~srz@179.36.80.14) (Remote host closed the connection) |
| 2022-11-17 02:34:01 | → | srz joins (~srz@179.36.80.14) |
| 2022-11-17 02:35:37 | × | srz quits (~srz@179.36.80.14) (Remote host closed the connection) |
| 2022-11-17 02:36:01 | → | srz joins (~srz@179.36.80.14) |
| 2022-11-17 02:37:37 | × | srz quits (~srz@179.36.80.14) (Remote host closed the connection) |
| 2022-11-17 02:38:00 | → | srz joins (~srz@179.36.80.14) |
| 2022-11-17 02:45:11 | × | srz quits (~srz@179.36.80.14) (Remote host closed the connection) |
| 2022-11-17 03:04:51 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 260 seconds) |
| 2022-11-17 03:09:21 | × | td_ quits (~td@83.135.9.43) (Ping timeout: 256 seconds) |
| 2022-11-17 03:11:13 | → | td_ joins (~td@83.135.9.50) |
| 2022-11-17 03:23:41 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 2022-11-17 03:33:18 | → | sogens joins (~sogens@pa49-197-35-32.pa.qld.optusnet.com.au) |
| 2022-11-17 03:38:26 | × | sogens quits (~sogens@pa49-197-35-32.pa.qld.optusnet.com.au) (Ping timeout: 256 seconds) |
| 2022-11-17 03:39:38 | → | sogens joins (sogens@gateway/vpn/protonvpn/sogens) |
| 2022-11-17 06:36:35 | × | rieper quits (~riepernet@webmirror.geo.uni-leipzig.de) (Remote host closed the connection) |
| 2022-11-17 06:37:43 | → | rieper joins (~riepernet@webmirror.geo.uni-leipzig.de) |
| 2022-11-17 07:18:32 | → | cfricke joins (~cfricke@user/cfricke) |
| 2022-11-17 07:21:31 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-11-17 07:24:33 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::4b68) (Quit: Going elsewhere) |
| 2022-11-17 08:25:38 | → | mncheck joins (~mncheck@193.224.205.254) |
| 2022-11-17 08:44:44 | → | aliosablack joins (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) |
| 2022-11-17 08:49:21 | <Solid> | JulioBorjaBarra[: in this case it's really a verbatim replacement of `namedScratchpadFilterOutWorkspace` by `filterOutWs [scratchpadWorkspaceTag]` |
| 2022-11-17 08:49:48 | <Solid> | (`WorkspaceSort` is just an alias for `[WindowSpace] -> [WindowSpace]`) |
| 2022-11-17 08:59:03 | × | ft quits (~ft@p508dbd59.dip0.t-ipconnect.de) (Quit: leaving) |
| 2022-11-17 09:00:17 | × | liskin[m] quits (~liskinmat@2001:470:69fc:105::768) (Quit: You have been kicked for being idle) |
| 2022-11-17 09:07:18 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.7.1) |
| 2022-11-17 09:12:14 | × | kaskal quits (~kaskal@89.144.223.95) (Ping timeout: 268 seconds) |
| 2022-11-17 09:12:33 | → | kaskal joins (~kaskal@213-225-13-82.nat.highway.a1.net) |
| 2022-11-17 09:13:28 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 268 seconds) |
| 2022-11-17 09:16:19 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 2022-11-17 09:53:28 | → | wonko joins (~wjc@2a0e:1c80:2:0:45:15:19:130) |
| 2022-11-17 10:03:54 | → | srk joins (~sorki@user/srk) |
| 2022-11-17 10:27:29 | <liskin> | Oh, new Stackage out there with GHC 9.2 |
| 2022-11-17 10:27:42 | → | liskin[m] joins (~liskinmat@2001:470:69fc:105::768) |
| 2022-11-17 10:27:50 | <liskin> | Is this a good time to drop 8.4? |
| 2022-11-17 10:28:21 | <liskin> | (and by "this" and "time" I don't really mean today nor this week because life :-)) |
| 2022-11-17 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'. |
| 2022-11-17 10:35:37 | <[Leary]> | liskin: Honestly I think it's well past time; 8.4 is ancient and I crave BlockArguments. |
| 2022-11-17 10:37:38 | <Solid> | liskin: yes! I've been eyeing DerivigVia for a long time to clean up some type class instances in core :) |
| 2022-11-17 10:37:44 | <[Leary]> | JulioBorjaBarra[: That's an "operator section" with the composition operator. `(. f) = \g -> g . f = \g -> \x -> g (f x)`. |
| 2022-11-17 10:38:44 | <[Leary]> | liskin: I also have some possible contrib modules sitting around that need QuantifiedConstraints. Lotsa good reasons. |
| 2022-11-17 10:42:27 | → | cfricke joins (~cfricke@user/cfricke) |
| 2022-11-17 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>) |
| 2022-11-17 10:49:43 | <lambdabot> | <hint>:1:1: error: parse error on input ‘<@’ |
| 2022-11-17 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>) |
| 2022-11-17 10:51:33 | <lambdabot> | <hint>:1:1: error: parse error on input ‘<@’ |
| 2022-11-17 10:55:33 | × | aliosablack quits (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 2022-11-17 11:10:00 | <Solid> | Rutherther[m]: try something like http://ix.io/4g7k |
| 2022-11-17 11:10:22 | <Solid> | this should test for the screen being visible, but not focused |
| 2022-11-17 11:10:47 | <Solid> | (not tested, nor type-checked) |
| 2022-11-17 11:14:03 | <Rutherther[m]> | hm, seems to match every workspace on screen I don't have focus on |
| 2022-11-17 11:16:42 | Rutherther[m] | uploaded an image: (2KiB) < https://libera.ems.host/_matrix/media/v3/download/rutherther.eu/OjAAGBEgiRxXoYDjVVFvUbzh/image.png > |
| 2022-11-17 11:16:44 | <Rutherther[m]> | to be more specific: |
| 2022-11-17 11:17:07 | <Rutherther[m]> | on monitor I don't have focused I see this, this color indicates isVisibleCurrentScreen returned true |
| 2022-11-17 11:18:54 | <[Leary]> | Rutherther[m]: you probably want `W.lookupWorkspace`; that's the pure variant of `screenWorkspace`. |
| 2022-11-17 11:23:28 | <Solid> | Rutherther[m]: maybe something like http://ix.io/4g7p |
| 2022-11-17 11:23:48 | <Solid> | (this probably contains redundant logic :) |
| 2022-11-17 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>) |
| 2022-11-17 11:28:00 | Rutherther[m] | uploaded an image: (2KiB) < https://libera.ems.host/_matrix/media/v3/download/rutherther.eu/TMhpxunMZtvIEzSEXdFeWYMQ/image.png > |
| 2022-11-17 11:28:15 | <Rutherther[m]> | only 4 should be greenish on this monitor, one shouldn't |
| 2022-11-17 11:30:14 | <Solid> | so 1 is not visible on some monitor? |
| 2022-11-17 11:30:22 | <Rutherther[m]> | it is |
| 2022-11-17 11:30:39 | <Solid> | so it should be green, no? |
| 2022-11-17 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)`. |
| 2022-11-17 11:33:02 | <Solid> | oh I didn't know lookupWorkspace existed in core |
| 2022-11-17 11:33:42 | <Solid> | should work yeah, modulo some condition to exclude the focused workspace, if that's desired |
| 2022-11-17 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 |
| 2022-11-17 11:34:37 | <[Leary]> | @src Maybe |
| 2022-11-17 11:34:37 | <lambdabot> | data Maybe a = Nothing | Just a |
| 2022-11-17 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 |
| 2022-11-17 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. |
| 2022-11-17 11:37:15 | <Rutherther[m]> | [Leary]: oh that makes sense |
| 2022-11-17 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>) |
| 2022-11-17 11:46:11 | <lambdabot> | <hint>:1:1: error: parse error on input ‘<@’ |
| 2022-11-17 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>) |
| 2022-11-17 12:08:36 | × | jludwig quits (~justin@li657-110.members.linode.com) (Ping timeout: 268 seconds) |
| 2022-11-17 12:09:27 | → | jludwig joins (~justin@li657-110.members.linode.com) |
| 2022-11-17 12:46:40 | → | graham_o[m] joins (~grahamoma@2001:470:69fc:105::2:ba2f) |
| 2022-11-17 13:05:40 | × | td_ quits (~td@83.135.9.50) (Ping timeout: 256 seconds) |
All times are in UTC.