Logs: liberachat/#haskell
| 2021-08-28 05:09:16 | <arahael> | Hmm, seems to be trying to establish a secure connection, but I didn't specify the certificates. |
| 2021-08-28 05:09:36 | <arahael> | Yeah, but my dev system is on my server, and I want to access all that stuff from the laptop. |
| 2021-08-28 05:12:55 | <arahael> | Ok, it seems that https is mandatory for some reason. |
| 2021-08-28 05:14:20 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-28 05:14:40 | × | azeem quits (~azeem@5.168.235.73) (Ping timeout: 240 seconds) |
| 2021-08-28 05:15:38 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:9004:d4f8:82b6:f105) () |
| 2021-08-28 05:16:21 | → | mikoto-chan joins (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-08-28 05:18:58 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-08-28 05:22:08 | → | azeem joins (~azeem@5.168.235.73) |
| 2021-08-28 05:27:24 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 2021-08-28 05:31:36 | × | argento quits (~argent0@168-227-96-26.ptr.westnet.com.ar) (Remote host closed the connection) |
| 2021-08-28 05:33:08 | → | falafel joins (~falafel@74.214.230.170) |
| 2021-08-28 05:34:14 | <arahael> | Ok, and for some weird reason hoogle server's completely broken now. I think I'll make do with the command line hoogle. |
| 2021-08-28 05:40:51 | × | zebrag quits (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-08-28 05:41:10 | × | azeem quits (~azeem@5.168.235.73) (Ping timeout: 240 seconds) |
| 2021-08-28 05:41:23 | → | azeem joins (~azeem@5.168.235.73) |
| 2021-08-28 05:45:05 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 248 seconds) |
| 2021-08-28 05:45:25 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-08-28 05:50:10 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2021-08-28 05:51:36 | → | markpythonicbtc joins (~textual@2601:647:5a00:35:15d1:827c:596e:b228) |
| 2021-08-28 05:59:07 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 250 seconds) |
| 2021-08-28 05:59:27 | × | azeem quits (~azeem@5.168.235.73) (Ping timeout: 240 seconds) |
| 2021-08-28 06:00:11 | → | azeem joins (~azeem@5.168.235.73) |
| 2021-08-28 06:02:02 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-28 06:02:02 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-08-28 06:02:02 | → | wroathe joins (~wroathe@user/wroathe) |
| 2021-08-28 06:02:56 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-08-28 06:02:58 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-28 06:06:40 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2021-08-28 06:09:53 | × | markpythonicbtc quits (~textual@2601:647:5a00:35:15d1:827c:596e:b228) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-28 06:22:30 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-28 06:24:25 | × | azeem quits (~azeem@5.168.235.73) (Ping timeout: 252 seconds) |
| 2021-08-28 06:24:54 | → | azeem joins (~azeem@5.168.235.73) |
| 2021-08-28 06:24:54 | × | DJ_Ikstra quits (~mike@174.127.249.180) (Quit: leaving) |
| 2021-08-28 06:25:28 | → | AlistairB joins (~AlistairB@121-200-5-212.79c805.syd.nbn.aussiebb.net) |
| 2021-08-28 06:28:53 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-08-28 06:32:23 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-28 06:32:23 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-08-28 06:32:23 | → | wroathe joins (~wroathe@user/wroathe) |
| 2021-08-28 06:32:48 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2021-08-28 06:33:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-08-28 06:33:46 | → | Gurkenglas joins (~Gurkengla@dslb-088-064-053-140.088.064.pools.vodafone-ip.de) |
| 2021-08-28 06:37:37 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2021-08-28 06:38:44 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 2021-08-28 06:43:38 | → | vysn joins (~vysn@user/vysn) |
| 2021-08-28 06:52:19 | × | mikoto-chan quits (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Quit: mikoto-chan) |
| 2021-08-28 06:59:13 | × | azeem quits (~azeem@5.168.235.73) (Ping timeout: 248 seconds) |
| 2021-08-28 06:59:23 | → | azeem joins (~azeem@5.168.235.73) |
| 2021-08-28 07:00:10 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
| 2021-08-28 07:05:13 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-28 07:06:11 | → | Cajun joins (~Cajun@user/cajun) |
| 2021-08-28 07:08:27 | × | mud quits (~mud@user/kadoban) (Ping timeout: 250 seconds) |
| 2021-08-28 07:08:43 | → | fendor joins (~fendor@77.119.210.198.wireless.dyn.drei.com) |
| 2021-08-28 07:10:37 | × | azeem quits (~azeem@5.168.235.73) (Ping timeout: 252 seconds) |
| 2021-08-28 07:11:07 | → | azeem joins (~azeem@5.168.235.73) |
| 2021-08-28 07:13:28 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-08-28 07:14:45 | × | AlistairB quits (~AlistairB@121-200-5-212.79c805.syd.nbn.aussiebb.net) (Quit: Client closed) |
| 2021-08-28 07:20:10 | × | azeem quits (~azeem@5.168.235.73) (Ping timeout: 240 seconds) |
| 2021-08-28 07:20:28 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 250 seconds) |
| 2021-08-28 07:20:52 | → | azeem joins (~azeem@5.168.235.73) |
| 2021-08-28 07:22:53 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-08-28 07:31:51 | × | azeem quits (~azeem@5.168.235.73) (Ping timeout: 250 seconds) |
| 2021-08-28 07:33:05 | → | azeem joins (~azeem@62.18.164.196) |
| 2021-08-28 07:37:34 | × | azeem quits (~azeem@62.18.164.196) (Ping timeout: 252 seconds) |
| 2021-08-28 07:37:57 | → | azeem joins (~azeem@62.18.164.196) |
| 2021-08-28 07:41:39 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-28 07:42:08 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 250 seconds) |
| 2021-08-28 07:49:38 | → | acidjnk_new joins (~acidjnk@p200300d0c72b95925da55fe159cc0756.dip0.t-ipconnect.de) |
| 2021-08-28 07:49:40 | × | azeem quits (~azeem@62.18.164.196) (Ping timeout: 240 seconds) |
| 2021-08-28 07:50:49 | × | eggplant_ quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-28 07:51:23 | → | azeem joins (~azeem@62.18.164.196) |
| 2021-08-28 07:51:52 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-08-28 07:57:30 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-08-28 07:59:07 | × | redeveder quits (~user@221.232.105.47) (Ping timeout: 240 seconds) |
| 2021-08-28 08:02:09 | × | falafel quits (~falafel@74.214.230.170) (Ping timeout: 248 seconds) |
| 2021-08-28 08:05:13 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-08-28 08:08:27 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 276 seconds) |
| 2021-08-28 08:09:15 | × | maerwald quits (~maerwald@user/maerwald) (Quit: gone) |
| 2021-08-28 08:10:30 | → | maerwald joins (~maerwald@mail.hasufell.de) |
| 2021-08-28 08:11:50 | × | maerwald quits (~maerwald@mail.hasufell.de) (Changing host) |
| 2021-08-28 08:11:50 | → | maerwald joins (~maerwald@user/maerwald) |
| 2021-08-28 08:12:40 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2021-08-28 08:13:40 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-28 08:14:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-08-28 08:16:32 | <tomsmeding> | in ghcup tui, is the "show all tools" button supposed to do anything? It doesn't change the list of displayed tools at all for me :) |
| 2021-08-28 08:16:47 | → | qbt joins (~edun@user/edun) |
| 2021-08-28 08:17:10 | <maerwald> | tomsmeding: initially, stack was in the list of tools to be hidden by default |
| 2021-08-28 08:17:13 | <maerwald> | now it's empty |
| 2021-08-28 08:17:17 | <tomsmeding> | ah |
| 2021-08-28 08:17:39 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-28 08:17:39 | <maerwald> | https://gitlab.haskell.org/haskell/ghcup-hs/-/blob/1fb048777c099ef6c0caa7619387513e5ee63888/app/ghcup/BrickMain.hs#L58 |
| 2021-08-28 08:17:39 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-28 08:17:42 | allbery_b | is now known as geekosaur |
| 2021-08-28 08:17:48 | <tomsmeding> | heh |
| 2021-08-28 08:18:13 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 250 seconds) |
| 2021-08-28 08:18:25 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-08-28 08:18:25 | <maerwald> | there was a distant idea of maybe distributing more than just basic toolchain (e.g. hlint, etc?) |
| 2021-08-28 08:18:39 | <maerwald> | but I'm not sure that's going to happen |
| 2021-08-28 08:19:07 | <tomsmeding> | in any case I'm not sure if putting tools like that in a hidden list is optimal UI |
| 2021-08-28 08:19:33 | <tomsmeding> | but I guess that's an issue that only needs to be discussed if those tools indeed get added to ghcup :) |
All times are in UTC.