Logs: freenode/#xmonad
| 2021-04-04 16:47:58 | × | thc202 quits (~thc202@unaffiliated/thc202) (Read error: Connection reset by peer) |
| 2021-04-04 16:53:07 | × | notis quits (~notis@185.51.134.222) (Ping timeout: 260 seconds) |
| 2021-04-04 16:54:41 | → | notis joins (~notis@85.203.44.202) |
| 2021-04-04 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. |
| 2021-04-04 17:50:01 | <Liskni_si> | dmwit: what do you use these days if you don't me asking? |
| 2021-04-04 17:50:15 | <dmwit> | Something that I cannot spend time configuring. ^_^ |
| 2021-04-04 17:50:26 | <Liskni_si> | dmwit: also, you ok with me doing the X11-0.10 release? |
| 2021-04-04 17:50:51 | <dmwit> | Yes, sure. I made you a maintainer for a reason. |
| 2021-04-04 17:51:02 | <Liskni_si> | okay, cool |
| 2021-04-04 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. |
| 2021-04-04 17:51:48 | <Liskni_si> | I don't think I need anything extra, because Brent added me :-) |
| 2021-04-04 17:52:59 | <dmwit> | Aha! Yet a third possibility. In this case Brent made you a maintainer for a reason. |
| 2021-04-04 17:53:11 | <Liskni_si> | :-) |
| 2021-04-04 18:11:48 | <dmwit> | Errr... some of my comments got lost when I hit submit?? |
| 2021-04-04 18:12:45 | → | mc47 joins (~yecinem@196.179.170.230) |
| 2021-04-04 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. |
| 2021-04-04 18:37:39 | × | mc47 quits (~yecinem@196.179.170.230) (Ping timeout: 260 seconds) |
| 2021-04-04 18:49:33 | → | mc47 joins (~yecinem@196.179.170.230) |
| 2021-04-04 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 |
| 2021-04-04 19:19:00 | × | mc47 quits (~yecinem@196.179.170.230) (Ping timeout: 265 seconds) |
| 2021-04-04 19:30:36 | → | mc47 joins (~yecinem@102.171.124.91) |
| 2021-04-04 19:57:54 | × | mc47 quits (~yecinem@102.171.124.91) (Remote host closed the connection) |
| 2021-04-04 20:23:20 | × | notis quits (~notis@85.203.44.202) (Ping timeout: 246 seconds) |
| 2021-04-04 20:27:05 | → | notis joins (~notis@213.16.157.14.dsl.dyn.forthnet.gr) |
| 2021-04-04 20:53:01 | → | mc47 joins (~yecinem@196.179.170.230) |
| 2021-04-04 20:59:00 | <mc47> | Regarding my PR on dynamic status bars, should we also drop the IO around StatusBarConfig? |
| 2021-04-04 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 |
| 2021-04-04 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 = … |
| 2021-04-04 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 :-) |
| 2021-04-04 21:14:07 | <Liskni_si> | not sure if it's useful though |
| 2021-04-04 21:14:13 | <mc47> | huh |
| 2021-04-04 21:14:49 | <mc47> | I think X (ScreenId -> StatusBarConfig) and a conveniency function that uses it might be the best UX |
| 2021-04-04 21:15:08 | <mc47> | like |
| 2021-04-04 21:15:16 | <mc47> | dynamicSBs' :: X (ScreenId -> StatusBarConfig) -> XConfig l -> XConfig l and dynamicSBs = dynamicSBs' . pure |
| 2021-04-04 21:16:11 | <mc47> | so if you absolutely have to use pipes, you can, but it ain't that pretty |
| 2021-04-04 21:16:11 | <mc47> | ain't that bad either tbh |
| 2021-04-04 21:19:07 | <mc47> | (gtg, I'll check the comments later/tomorrow and update the PR) |
| 2021-04-04 21:19:16 | × | mc47 quits (~yecinem@196.179.170.230) (Remote host closed the connection) |
| 2021-04-04 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) ? |
| 2021-04-04 21:25:38 | <Liskni_si> | (without using unsafeInterleaveIO) |
| 2021-04-04 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 :-) |
| 2021-04-04 22:14:26 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 240 seconds) |
| 2021-04-04 22:16:30 | → | Shadorain joins (uid453914@gateway/web/irccloud.com/x-tbpuzlwltkoofiff) |
| 2021-04-04 22:27:32 | → | mc47 joins (~yecinem@196.179.170.230) |
| 2021-04-04 22:29:28 | <mc47> | Not sure I follow |
| 2021-04-04 22:29:35 | × | notis quits (~notis@213.16.157.14.dsl.dyn.forthnet.gr) (Ping timeout: 260 seconds) |
| 2021-04-04 22:42:33 | × | seschwar quits (~seschwar@unaffiliated/seschwar) (Quit: :wq) |
| 2021-04-04 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 |
| 2021-04-04 23:34:14 | <mc47> | and I'm tempted to make statusBarPipe return X StatusBarConfig instead of IO StatusBarConfig |
| 2021-04-04 23:35:44 | <Liskni_si> | if statusBarPipe returns X something, it becomes unusable with withSB |
| 2021-04-04 23:36:09 | <mc47> | Oh, right, I forgot about that |
| 2021-04-04 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 |
| 2021-04-04 23:38:01 | × | mc47 quits (~yecinem@196.179.170.230) (Remote host closed the connection) |
| 2021-04-05 00:06:13 | <Liskni_si> | mc47[m]: re "Not sure I follow", try using dynamicSBs' together with statusBarPipe and let me know what it looks like, because I think it's impossible but I may be missing something |
| 2021-04-05 01:23:26 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-05 01:28:13 | → | gazler_ joins (~gazler@195.107.2.81.in-addr.arpa) |
| 2021-04-05 01:30:41 | × | gazler quits (~gazler@195.107.2.81.in-addr.arpa) (Ping timeout: 265 seconds) |
| 2021-04-05 01:51:03 | × | ryjm quits (sid383513@gateway/web/irccloud.com/x-ecnvpidnhgfkefiv) (Ping timeout: 258 seconds) |
| 2021-04-05 01:51:09 | × | lally quits (sid388228@gateway/web/irccloud.com/x-osbzlupikvuseetb) (Ping timeout: 250 seconds) |
| 2021-04-05 01:51:36 | × | Shadorain quits (uid453914@gateway/web/irccloud.com/x-tbpuzlwltkoofiff) (Ping timeout: 246 seconds) |
| 2021-04-05 01:55:59 | → | Shadorain joins (uid453914@gateway/web/irccloud.com/x-fdlnxikdrtefhrju) |
| 2021-04-05 01:56:19 | → | ryjm joins (sid383513@gateway/web/irccloud.com/x-rytbgkxcijotxbrx) |
| 2021-04-05 01:56:28 | → | lally joins (sid388228@gateway/web/irccloud.com/x-gbqjirenobjcbvnf) |
| 2021-04-05 02:26:06 | × | Shadorain quits (uid453914@gateway/web/irccloud.com/x-fdlnxikdrtefhrju) (Quit: Connection closed for inactivity) |
| 2021-04-05 02:42:31 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-04-05 02:44:51 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2021-04-05 02:54:59 | × | theDon quits (~td@94.134.91.193) (Ping timeout: 246 seconds) |
| 2021-04-05 02:57:10 | → | theDon joins (~td@muedsl-82-207-238-169.citykom.de) |
| 2021-04-05 03:23:21 | → | materiyolo joins (~materiyol@112.204.174.249) |
| 2021-04-05 03:39:01 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 2021-04-05 04:25:08 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-04-05 04:39:56 | × | wagle quits (~wagle@quassel.wagle.io) (Ping timeout: 245 seconds) |
| 2021-04-05 04:40:32 | → | wagle joins (~wagle@quassel.wagle.io) |
| 2021-04-05 05:14:31 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 2021-04-05 05:51:26 | → | palo1 joins (~weechat@c-base/crew/palo) |
| 2021-04-05 05:51:55 | × | materiyolo quits (~materiyol@112.204.174.249) (Ping timeout: 252 seconds) |
| 2021-04-05 05:53:12 | → | ChubaDuba joins (~ChubaDuba@46.147.209.98) |
| 2021-04-05 05:54:11 | × | palo quits (~weechat@c-base/crew/palo) (Ping timeout: 240 seconds) |
| 2021-04-05 05:54:11 | palo1 | is now known as palo |
| 2021-04-05 06:12:28 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-05 07:18:24 | gazler_ | is now known as gazler |
| 2021-04-05 08:01:54 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-04-05 08:03:42 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-04-05 08:24:25 | → | materiyolo joins (~materiyol@112.204.174.249) |
| 2021-04-05 08:38:12 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-04-05 08:40:33 | <mc47[m]> | Oh, I see your point now |
| 2021-04-05 08:40:50 | <mc47[m]> | I guess I was too tired yesterday to think straight |
| 2021-04-05 08:41:46 | <mc47[m]> | It'll only work with IORef, the way we're doing it now is problematic |
| 2021-04-05 08:53:57 | → | mc47 joins (~yecinem@196.179.170.230) |
| 2021-04-05 09:02:48 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 2021-04-05 09:16:01 | × | seschwar quits (~seschwar@unaffiliated/seschwar) (Quit: :wq) |
| 2021-04-05 09:18:47 | × | mc47 quits (~yecinem@196.179.170.230) (Remote host closed the connection) |
| 2021-04-05 09:19:07 | → | mc47 joins (~yecinem@196.179.170.230) |
| 2021-04-05 09:25:32 | → | ajc__ joins (~ajc@69.231.232.79) |
| 2021-04-05 09:27:38 | × | ajc_ quits (~ajc@69.231.232.79) (Ping timeout: 240 seconds) |
| 2021-04-05 09:33:47 | × | mc47 quits (~yecinem@196.179.170.230) (Remote host closed the connection) |
| 2021-04-05 09:34:04 | → | mc47 joins (~yecinem@196.179.170.230) |
| 2021-04-05 09:40:20 | <Liskni_si> | if by IORef you mean IORef (Map ScreenId something) then maybe :-) |
| 2021-04-05 09:40:38 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 2021-04-05 09:41:09 | <Liskni_si> | unrelated rant: #501 is such a massive waste of everybody's time :-( |
All times are in UTC.