Logs on 2021-04-03 (freenode/#xmonad)
| 00:12:24 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:8e7d:1650:be7b:bbf2) (Ping timeout: 246 seconds) |
| 00:21:03 | × | mc47 quits (~yecinem@196.179.170.230) (Remote host closed the connection) |
| 00:24:47 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:38ef:e5ed:8c96:cda5) |
| 00:34:25 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 00:36:10 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 00:51:06 | × | notis quits (~notis@185.51.134.222) (Ping timeout: 240 seconds) |
| 01:00:02 | → | gazler__ joins (~gazler@195.107.2.81.in-addr.arpa) |
| 01:02:51 | × | gazler_ quits (~gazler@195.107.2.81.in-addr.arpa) (Ping timeout: 268 seconds) |
| 02:07:19 | → | growpotk- joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 02:35:34 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Read error: Connection reset by peer) |
| 02:35:56 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 02:50:02 | × | Shadorain quits (uid453914@gateway/web/irccloud.com/x-vkkeirbfznabxptu) (Quit: Connection closed for inactivity) |
| 02:53:50 | × | growpotk- quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Ping timeout: 268 seconds) |
| 02:57:14 | × | theDon quits (~td@muedsl-82-207-238-162.citykom.de) (Ping timeout: 260 seconds) |
| 02:58:42 | → | theDon joins (~td@muedsl-82-207-238-112.citykom.de) |
| 03:05:54 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 03:37:34 | × | ajc quits (~ajc@69.231.232.79) (Remote host closed the connection) |
| 03:37:58 | → | ajc joins (~ajc@69.231.232.79) |
| 03:44:09 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:38ef:e5ed:8c96:cda5) (Ping timeout: 246 seconds) |
| 03:57:21 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:d0a0:d77a:4eaa:16c) |
| 04:25:06 | × | coldpress quits (~coldpress@128.9.105.34.bc.googleusercontent.com) (Ping timeout: 240 seconds) |
| 04:52:00 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 04:53:59 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 04:54:35 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 04:56:11 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 04:57:15 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 04:58:12 | → | coldpress joins (~coldpress@128.9.105.34.bc.googleusercontent.com) |
| 05:19:19 | × | growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 05:23:27 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Quit: rcirc on GNU Emacs 27.2) |
| 05:24:15 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 05:52:50 | <Solid> | I probably missed the discussions around this, but why does `statusBarProp' take an 'X PP` and return something in IO? |
| 05:52:58 | → | palo1 joins (~weechat@c-base/crew/palo) |
| 05:52:59 | <Solid> | this makes composition kind of awkward |
| 05:53:19 | <Solid> | well, in my case anyways |
| 05:53:28 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 05:56:20 | × | palo quits (~weechat@c-base/crew/palo) (Ping timeout: 265 seconds) |
| 05:56:20 | palo1 | is now known as palo |
| 06:26:21 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 06:29:07 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 06:34:15 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 06:36:08 | × | davemq quits (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) (Read error: Connection reset by peer) |
| 06:37:02 | → | davemq joins (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) |
| 06:38:03 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 06:47:47 | → | thoros joins (~thoros@194-166-47-167.hdsl.highway.telekom.at) |
| 06:50:01 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 268 seconds) |
| 08:09:51 | <mc47[m]> | How so? That way all the statusBar functions have the same interface (at least with respect to the return type and the PP) |
| 08:32:38 | <Liskni_si> | on the other hand if we make statsuBarProp pure, it becomes easier to use than statusBarPipe which may nudge users towards not using pipes :-) |
| 08:33:37 | <Liskni_si> | anyway I just realized that withSB and withEasySB are unnecessarily IO, which would make composition awkward in my config :-) |
| 08:37:08 | → | materiyolo joins (~materiyol@112.204.174.249) |
| 08:45:07 | <Liskni_si> | hm, but by making statusBarProp pure, we'll be quite limited in what we can do there: it might be a good idea to identify dynamic status bars via Data.Unique rather than the command line, for example |
| 08:46:31 | <Liskni_si> | oh and since dynamicSBs is pure, withSB should definitely also be pure |
| 08:46:54 | <Liskni_si> | (and we might want to be consistent in the SB vs SBs thing too) |
| 08:47:29 | <Solid> | mc47[m]: http://ix.io/2UT2 |
| 08:47:53 | <Solid> | maybe it's just my use-case, I don't know |
| 08:49:57 | <Liskni_si> | does <> work for Monoid a => IO a ? |
| 08:51:39 | <Solid> | IO has a Monoid a => Monoid (IO a) instance |
| 08:51:48 | <Solid> | I would guess it's just liftA2'ing (<>) |
| 08:52:06 | <Liskni_si> | then it'd probably be acceptable, yeah |
| 08:52:14 | <Liskni_si> | the relevant discussion was here: https://github.com/xmonad/xmonad-contrib/pull/443#discussion_r566106540 |
| 08:53:02 | <Liskni_si> | and we apparently ended up somewhere in the middle: doesn't evaluate the SBC argument but still returns IO |
| 08:54:13 | <Liskni_si> | I'd personally prefer the variant that doesn't evaluate and doesn't return IO as I (intend to) compose withSB with docks and ewmh and withUrgency and other XConfig combinators |
| 08:54:29 | <Liskni_si> | but your config would benefit from the other variant |
| 08:56:54 | <Liskni_si> | (actually, I don't intend to use withSB at all, I'll have dynamicSBs the type of which is perfect now: evaluates but still manages to be pure to compose with other XConfig → XConfig stuff) |
| 08:56:55 | <Solid> | would it? something that takes a `PP` instead of an `X PP` and that doesn't return IO sounds exactly like what I want |
| 08:57:22 | <Solid> | or do you mean withSB shouldn't return IO |
| 08:57:24 | <Liskni_si> | it'd have to be X PP still but that's a minor detail |
| 08:57:39 | <Solid> | yeah that's not too bothersome |
| 08:58:06 | <Liskni_si> | oh, I think I was talking about withSB the whole time |
| 08:58:15 | <Liskni_si> | whereas you're talking about statusBarProp, sorry |
| 08:59:07 | <Solid> | ah I see |
| 08:59:34 | <Solid> | I have no opinion about withSB; for me that's just a matter of =<< vs. <$> |
| 09:00:33 | <Liskni_si> | well the idea was that if withSB is IO StatusBarConfig -> XConfig -> IO XConfig, your last config works as well |
| 09:00:46 | <mc47[m]> | Well I see your points, it would be better if we return a pure value in the statusBarProp |
| 09:01:10 | <mc47[m]> | It just wouldn't be usable the same way as |
| 09:01:48 | <mc47[m]> | statusBarPipe, which might be okay so users are nudged to the better alternative |
| 09:02:30 | <mc47[m]> | The IO in withSB is unnecessary, I forgot why I had it that way |
| 09:04:34 | <mc47[m]> | Liskin_si the problem with Data.Unique is that it doesn't have a Show instance, which means we can't persist it between restarts |
| 09:05:04 | <Liskni_si> | mc47[m]: oh |
| 09:13:09 | <mc47[m]> | I still think that we should keep X PP though |
| 09:14:39 | <Liskni_si> | we absolutely have to keep X PP |
| 09:15:13 | <Solid> | you can probably abuse Data.Unique.hashUnique and store that Int instead |
| 09:15:22 | <Liskni_si> | none of those clickablePP, dynamicIconsPP, workspaceNamesPP would work without X PP |
| 09:15:40 | <Solid> | you'll have a problem when the Ints wrap around but that's probably not going to be an issue for xmonad |
| 09:16:03 | <Solid> | oh but you can't construct back a unique |
| 09:16:04 | <Solid> | meh |
| 09:16:42 | <Liskni_si> | we don't really need an actual Unique, any global counter would be fine |
| 09:17:10 | <mc47[m]> | If people really need to launch the same command, they can always add a space to the end |
| 09:18:19 | <Liskni_si> | yeah, that's a good point |
| 09:38:17 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 09:44:10 | × | materiyolo quits (~materiyol@112.204.174.249) (Read error: Connection reset by peer) |
| 09:46:26 | → | lchapoguzman joins (~manjaro-i@172.56.17.65) |
| 09:50:27 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Quit: Leaving) |
| 09:57:09 | → | mc47 joins (~yecinem@196.179.170.230) |
| 10:01:33 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:d0a0:d77a:4eaa:16c) (Ping timeout: 258 seconds) |
| 10:09:11 | <mc47> | I'll push a PR so we have something concrete to evaluate |
| 10:13:33 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:4487:11af:62b0:68c1) |
| 11:03:05 | → | azg256 joins (~azg256@78-56-98-5.static.zebra.lt) |
| 11:32:26 | × | lchapoguzman quits (~manjaro-i@172.56.17.65) (Remote host closed the connection) |
| 11:33:02 | → | geekosaur joins (ac3a5331@172.58.83.49) |
| 11:53:11 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 12:51:29 | <psibi[m]> | Solid: Thanks for the org mode support, I'm already finding it quite handy! |
| 13:07:54 | × | azg256 quits (~azg256@78-56-98-5.static.zebra.lt) (Quit: leaving) |
| 13:09:10 | → | azg256 joins (~azg256@78-56-98-5.static.zebra.lt) |
| 13:21:23 | → | materiyolo joins (~materiyol@112.204.174.249) |
| 13:30:29 | <Solid> | psibi[m]: awesome! I'm glad you like it :) |
| 13:30:43 | × | mc47 quits (~yecinem@196.179.170.230) (Remote host closed the connection) |
| 13:30:51 | → | mc47 joins (~yecinem@196.179.170.230) |
| 13:35:57 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 240 seconds) |
| 13:35:57 | × | srk quits (~sorki@gateway/tor-sasl/sorki) (Ping timeout: 240 seconds) |
| 13:50:28 | × | geekosaur quits (ac3a5331@172.58.83.49) (Quit: Connection closed) |
| 13:57:06 | × | seschwar quits (~seschwar@unaffiliated/seschwar) (Quit: :wq) |
| 13:57:37 | × | azg256 quits (~azg256@78-56-98-5.static.zebra.lt) (Quit: leaving) |
| 13:58:28 | → | azg256 joins (~azg256@78-56-98-5.static.zebra.lt) |
| 14:09:36 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:4487:11af:62b0:68c1) (Ping timeout: 246 seconds) |
| 14:14:07 | → | Shadorain joins (uid453914@gateway/web/irccloud.com/x-cpxcxkqoopjeuddr) |
| 14:21:59 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:7445:6b92:4b01:cfc6) |
| 14:34:55 | × | mc47 quits (~yecinem@196.179.170.230) (Remote host closed the connection) |
| 14:38:40 | × | azg256 quits (~azg256@78-56-98-5.static.zebra.lt) (Quit: leaving) |
| 14:40:56 | → | azg256 joins (~azg256@78-56-98-5.static.zebra.lt) |
| 14:51:30 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 15:04:22 | × | azg256 quits (~azg256@78-56-98-5.static.zebra.lt) (Quit: leaving) |
| 15:05:02 | → | azg256 joins (~azg256@78-56-98-5.static.zebra.lt) |
| 15:18:26 | × | _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection) |
| 15:22:29 | → | _ashbreeze_ joins (~mark@64.85.214.234.reverse.socket.net) |
| 15:29:04 | × | azg256 quits (~azg256@78-56-98-5.static.zebra.lt) (Quit: leaving) |
| 15:29:54 | → | azg256 joins (~azg256@78-56-98-5.static.zebra.lt) |
| 15:49:59 | → | Buliarous joins (~gypsydang@unaffiliated/buliarous) |
| 16:11:35 | → | qbit2821 joins (~qbit2821@94-255-133-216.cust.bredband2.com) |
| 16:13:15 | × | qbit2821 quits (~qbit2821@94-255-133-216.cust.bredband2.com) (Client Quit) |
| 16:17:02 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 16:55:56 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:7445:6b92:4b01:cfc6) (Ping timeout: 258 seconds) |
| 16:59:51 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Quit: WeeChat 3.1) |
| 17:02:39 | × | thoros quits (~thoros@194-166-47-167.hdsl.highway.telekom.at) (Quit: WeeChat 3.0.1) |
| 17:07:46 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:1b1e:6b9b:245f:d5e2) |
| 17:22:13 | × | materiyolo quits (~materiyol@112.204.174.249) (Quit: WeeChat 3.0.1) |
| 17:31:40 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 17:34:17 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Client Quit) |
| 17:45:42 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 17:59:13 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 18:21:54 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 18:23:41 | <Liskni_si> | Solid: although #501 is significantly less crap than it was at start, it's still way below our standard I'd say |
| 18:25:21 | <Liskni_si> | oh fuck I commented on some previous version of it |
| 18:25:24 | <Liskni_si> | fuck |
| 18:37:21 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 246 seconds) |
| 18:40:30 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 18:41:36 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 18:48:09 | <Solid> | Liskni_si: well I did miss some obvious bits |
| 18:48:15 | <Solid> | like ScreenId having an Integral instance |
| 18:48:51 | <Solid> | that's rather embarrassing |
| 18:50:21 | → | growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 18:52:07 | <Solid> | and yes it's still pretty bad |
| 18:52:54 | <Solid> | but someone once told me something about how first-time contributors benefit from having their first pr merged quickly-ish :P |
| 19:44:02 | <Liskni_si> | yeah it's a difficult trade-off, I still don't really know how to get it right :-/ |
| 19:50:42 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 19:54:59 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 245 seconds) |
| 19:56:38 | <mc47[m]> | Solid: in general, but in this case they'll learn that they should take it slowly and write smaller first PRs :p |
| 19:57:11 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 20:08:51 | × | azg256 quits (~azg256@78-56-98-5.static.zebra.lt) (Quit: leaving) |
| 20:13:27 | × | seschwar quits (~seschwar@unaffiliated/seschwar) (Quit: :wq) |
| 20:18:49 | → | notis joins (~notis@185.51.134.222) |
| 20:23:49 | × | Shadorain quits (uid453914@gateway/web/irccloud.com/x-cpxcxkqoopjeuddr) (Quit: Connection closed for inactivity) |
| 20:49:31 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 21:35:10 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:1b1e:6b9b:245f:d5e2) (Ping timeout: 246 seconds) |
| 21:47:47 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:4c29:bb07:9985:fb29) |
| 21:50:51 | → | ADG1089 joins (~aditya@223.235.216.238) |
| 21:51:28 | → | mc47 joins (~yecinem@196.179.170.230) |
| 22:14:06 | × | ADG1089 quits (~aditya@223.235.216.238) (Remote host closed the connection) |
| 23:13:23 | × | mc47 quits (~yecinem@196.179.170.230) (Remote host closed the connection) |
| 23:24:00 | × | notis quits (~notis@185.51.134.222) (Read error: Connection reset by peer) |
All times are in UTC on 2021-04-03.