Logs on 2021-04-04 (freenode/#xmonad)
| 00:48:41 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 240 seconds) |
| 00:52:54 | → | gazler joins (~gazler@195.107.2.81.in-addr.arpa) |
| 00:54:46 | × | gazler__ quits (~gazler@195.107.2.81.in-addr.arpa) (Ping timeout: 240 seconds) |
| 01:05:11 | × | mniip quits (mniip@freenode/staff/mniip) (Ping timeout: 615 seconds) |
| 02:23:34 | → | ajc_ joins (~ajc@69.231.232.79) |
| 02:24:55 | × | thaumavorio quits (~thaumavor@thaumavor.io) (*.net *.split) |
| 02:24:56 | × | ormiret quits (sid314108@gateway/web/irccloud.com/x-vlhueawytbgmezxe) (*.net *.split) |
| 02:25:37 | → | ormiret joins (sid314108@gateway/web/irccloud.com/x-prffjbshamavxtim) |
| 02:25:45 | → | thaumavorio joins (~thaumavor@thaumavor.io) |
| 02:25:57 | × | ajc quits (~ajc@69.231.232.79) (Ping timeout: 252 seconds) |
| 02:55:54 | × | theDon quits (~td@muedsl-82-207-238-112.citykom.de) (Ping timeout: 265 seconds) |
| 02:57:24 | → | theDon joins (~td@94.134.91.193) |
| 03:16:45 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 03:19:40 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 03:23:15 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 03:23:35 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 03:44:43 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:4c29:bb07:9985:fb29) (Ping timeout: 250 seconds) |
| 03:57:49 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:b427:466b:a007:50eb) |
| 05:10:17 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 05:11:58 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 240 seconds) |
| 05:13:59 | → | s00pcan joins (~chris@107.181.165.217) |
| 05:52:12 | → | palo1 joins (~weechat@c-base/crew/palo) |
| 05:55:11 | × | palo quits (~weechat@c-base/crew/palo) (Ping timeout: 240 seconds) |
| 05:55:11 | palo1 | is now known as palo |
| 06:14:44 | × | growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 07:20:22 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:b427:466b:a007:50eb) (Ping timeout: 246 seconds) |
| 07:25:52 | → | materiyolo joins (~materiyol@112.204.174.249) |
| 07:33:04 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:9c78:153a:cced:11e8) |
| 07:50:29 | → | notis joins (~notis@185.51.134.222) |
| 08:36:48 | <Solid> | mc47[m]: I suppose so :P |
| 08:37:14 | <Solid> | in either case I don't feel comfortable to merge this until someone who at least uses IndependentScreens has given an opinion |
| 08:46:48 | <Liskni_si> | we'd need someone who uses both IndependentScreens and CopyWindow, I'm afraid |
| 08:47:09 | <Liskni_si> | pretty unlikely we'd find one, I think |
| 08:48:47 | <Liskni_si> | when the commit message becomes meaningful and the marshallSort docs become clear, I think it'd be fine to merge it |
| 08:54:47 | <Solid> | mh fair enough |
| 08:55:22 | <Solid> | I planned on just taking care of the commit message but since they seem eager to perhaps contribute more maybe it's better to let them sort it out themselves |
| 08:55:26 | <Solid> | good thinking :) |
| 09:22:20 | → | ADG1089 joins (~aditya@223.235.216.238) |
| 09:25:50 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 10:30:53 | × | ADG1089 quits (~aditya@223.235.216.238) (Quit: Konversation terminated!) |
| 10:57:28 | → | qbit2821 joins (~qbit2821@94-255-133-216.cust.bredband2.com) |
| 11:14:15 | → | azg256 joins (~azg256@78-56-98-5.static.zebra.lt) |
| 11:17:14 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:9c78:153a:cced:11e8) (Ping timeout: 258 seconds) |
| 11:29:30 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:3c1:b586:27b7:7153) |
| 11:37:03 | × | qbit2821 quits (~qbit2821@94-255-133-216.cust.bredband2.com) (Quit: WeeChat 3.1) |
| 11:37:39 | → | qbit2821 joins (~qbit2821@94-255-133-216.cust.bredband2.com) |
| 12:05:54 | × | azg256 quits (~azg256@78-56-98-5.static.zebra.lt) (Quit: leaving) |
| 12:36:42 | → | mniip joins (mniip@freenode/staff/mniip) |
| 13:28:12 | → | azg256 joins (~azg256@78-56-98-5.static.zebra.lt) |
| 13:31:17 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 13:50:41 | × | qbit2821 quits (~qbit2821@94-255-133-216.cust.bredband2.com) (Quit: WeeChat 3.1) |
| 14:15:01 | × | azg256 quits (~azg256@78-56-98-5.static.zebra.lt) (Quit: leaving) |
| 14:40:31 | × | deebo quits (~deebo@stonebay32.com) (Quit: Reconnecting) |
| 14:40:43 | → | deebo joins (~deebo@stonebay32.com) |
| 14:54:41 | × | notis quits (~notis@185.51.134.222) (Ping timeout: 240 seconds) |
| 14:56:45 | → | notis joins (~notis@185.51.134.222) |
| 14:58:42 | × | davemq quits (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) (Read error: Connection reset by peer) |
| 15:00:57 | → | davemq joins (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) |
| 15:04:46 | × | s00pcan quits (~chris@107.181.165.217) (Ping timeout: 265 seconds) |
| 15:06:34 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 15:12:50 | × | davemq quits (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) (Read error: Connection reset by peer) |
| 15:14:26 | → | davemq joins (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) |
| 15:15:49 | × | davemq quits (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) (Read error: Connection reset by peer) |
| 15:16:56 | → | davemq joins (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) |
| 15:43:55 | × | kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 15:53:23 | × | materiyolo quits (~materiyol@112.204.174.249) (Read error: Connection reset by peer) |
| 16:47:58 | × | thc202 quits (~thc202@unaffiliated/thc202) (Read error: Connection reset by peer) |
| 16:53:07 | × | notis quits (~notis@185.51.134.222) (Ping timeout: 260 seconds) |
| 16:54:41 | → | notis joins (~notis@85.203.44.202) |
| 16:56:13 | <dmwit> | I can take a look. I don't use xmonad any more but I was the originally IndependentScreens author and used it for many years. |
| 17:50:01 | <Liskni_si> | dmwit: what do you use these days if you don't me asking? |
| 17:50:15 | <dmwit> | Something that I cannot spend time configuring. ^_^ |
| 17:50:26 | <Liskni_si> | dmwit: also, you ok with me doing the X11-0.10 release? |
| 17:50:51 | <dmwit> | Yes, sure. I made you a maintainer for a reason. |
| 17:51:02 | <Liskni_si> | okay, cool |
| 17:51:20 | <dmwit> | ...unless I didn't. In which case I'm still ok with it but you should tell me what extra permissions you need. |
| 17:51:48 | <Liskni_si> | I don't think I need anything extra, because Brent added me :-) |
| 17:52:59 | <dmwit> | Aha! Yet a third possibility. In this case Brent made you a maintainer for a reason. |
| 17:53:11 | <Liskni_si> | :-) |
| 18:11:48 | <dmwit> | Errr... some of my comments got lost when I hit submit?? |
| 18:12:45 | → | mc47 joins (~yecinem@196.179.170.230) |
| 18:15:29 | <dmwit> | IDK. I'm too lazy to try to work out what happened. I think most of the important stuff is there anyway. |
| 18:37:39 | × | mc47 quits (~yecinem@196.179.170.230) (Ping timeout: 260 seconds) |
| 18:49:33 | → | mc47 joins (~yecinem@196.179.170.230) |
| 18:49:41 | <Solid> | I think some of it was on old commits that since got revised and so it doesn't show when you visit the file |
| 19:19:00 | × | mc47 quits (~yecinem@196.179.170.230) (Ping timeout: 265 seconds) |
| 19:30:36 | → | mc47 joins (~yecinem@102.171.124.91) |
| 19:57:54 | × | mc47 quits (~yecinem@102.171.124.91) (Remote host closed the connection) |
| 20:23:20 | × | notis quits (~notis@85.203.44.202) (Ping timeout: 246 seconds) |
| 20:27:05 | → | notis joins (~notis@213.16.157.14.dsl.dyn.forthnet.gr) |
| 20:53:01 | → | mc47 joins (~yecinem@196.179.170.230) |
| 20:59:00 | <mc47> | Regarding my PR on dynamic status bars, should we also drop the IO around StatusBarConfig? |
| 21:01:06 | <mc47> | It would be also possible to go from `(ScreenId -> IO StatusBarConfig) -> XConfig l -> XConfig l` to `X (ScreenId -> StatusBarConfig) -> XConfig l -> XConfig l` so we don't make the life of those using pipe-logging hard |
| 21:12:55 | <Liskni_si> | you can try and see what the UX is like, but I'm afraid X (ScreenId -> StatusBarConfig) will destroy that nice pattern of barSpawner 0 = … |
| 21:13:53 | <Liskni_si> | it just occurred to me that with ScreenId -> IO StatusBarConfig, one can do wild stuff like dynamically generating xmobar configs :-) |
| 21:14:07 | <Liskni_si> | not sure if it's useful though |
| 21:14:13 | <mc47> | huh |
| 21:14:49 | <mc47> | I think X (ScreenId -> StatusBarConfig) and a conveniency function that uses it might be the best UX |
| 21:15:08 | <mc47> | like |
| 21:15:16 | <mc47> | dynamicSBs' :: X (ScreenId -> StatusBarConfig) -> XConfig l -> XConfig l and dynamicSBs = dynamicSBs' . pure |
| 21:16:11 | <mc47> | so if you absolutely have to use pipes, you can, but it ain't that pretty |
| 21:16:11 | <mc47> | ain't that bad either tbh |
| 21:19:07 | <mc47> | (gtg, I'll check the comments later/tomorrow and update the PR) |
| 21:19:16 | × | mc47 quits (~yecinem@196.179.170.230) (Remote host closed the connection) |
| 21:24:19 | <Liskni_si> | if we're going to have two dynamicSBs functions, then what's the point of having X (ScreenId -> StatusBarConfig)? is it even possible to turn ScreenId -> IO StatusBarConfig into X (ScreenId -> StatusBarConfig) ? |
| 21:25:38 | <Liskni_si> | (without using unsafeInterleaveIO) |
| 21:27:50 | <Liskni_si> | anyway, I don't really like the idea of having two dynamicSBs, it seems unnecessarily complicated, but maybe I'm not seeing the whole picture, so if you want to go ahead and try what it'll look like, absolutely feel free to do so :-) |
| 22:14:26 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 240 seconds) |
| 22:16:30 | → | Shadorain joins (uid453914@gateway/web/irccloud.com/x-tbpuzlwltkoofiff) |
| 22:27:32 | → | mc47 joins (~yecinem@196.179.170.230) |
| 22:29:28 | <mc47> | Not sure I follow |
| 22:29:35 | × | notis quits (~notis@213.16.157.14.dsl.dyn.forthnet.gr) (Ping timeout: 260 seconds) |
| 22:42:33 | × | seschwar quits (~seschwar@unaffiliated/seschwar) (Quit: :wq) |
| 23:34:14 | <mc47> | Anyway, I pushed a two-function version so we know how it would look like and we can decide what's more suitable |
| 23:34:14 | <mc47> | and I'm tempted to make statusBarPipe return X StatusBarConfig instead of IO StatusBarConfig |
| 23:35:44 | <Liskni_si> | if statusBarPipe returns X something, it becomes unusable with withSB |
| 23:36:09 | <mc47> | Oh, right, I forgot about that |
| 23:37:00 | <mc47> | yep now I remember that I had X in the very first version and then found out that it won't work |
| 23:38:01 | × | mc47 quits (~yecinem@196.179.170.230) (Remote host closed the connection) |
All times are in UTC on 2021-04-04.