Logs: liberachat/#haskell
| 2021-08-02 15:23:51 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Read error: Connection reset by peer) |
| 2021-08-02 15:25:26 | × | acidjnk_new quits (~acidjnk@p5487d90a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2021-08-02 15:26:38 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 2021-08-02 15:33:02 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 272 seconds) |
| 2021-08-02 15:34:30 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-08-02 15:34:46 | → | azeem joins (~azeem@176.200.220.247) |
| 2021-08-02 15:39:43 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-02 15:44:22 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 2021-08-02 15:46:36 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:ce6e:8d5b:412c:109f) (Quit: WeeChat 2.8) |
| 2021-08-02 15:46:54 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 272 seconds) |
| 2021-08-02 15:47:01 | <lechner> | sm: Hi, I may try to migrate the Debian Wiki from MoinMoin. Have you kept up, by ony chance, on the best work-around for the missing pandoc reader? Thanks! https://github.com/jgm/pandoc/issues/185 |
| 2021-08-02 15:47:22 | × | doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2021-08-02 15:48:16 | <merijn> | FML |
| 2021-08-02 15:48:31 | <merijn> | Apparently 8.0 doesn't yet support "-Wwarn=" >.> |
| 2021-08-02 15:48:41 | → | mei joins (~mei@user/mei) |
| 2021-08-02 15:50:04 | → | azeem joins (~azeem@176.200.220.247) |
| 2021-08-02 15:53:06 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2) |
| 2021-08-02 15:53:28 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-02 15:53:55 | × | mei quits (~mei@user/mei) (Quit: mei) |
| 2021-08-02 15:54:12 | → | myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-08-02 15:55:09 | <myShoggoth> | I will be streaming HF Office Hours in a few minutes! https://www.twitch.tv/myshoggoth |
| 2021-08-02 15:55:17 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2021-08-02 15:55:33 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-02 16:01:40 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2) |
| 2021-08-02 16:01:53 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-02 16:02:36 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 276 seconds) |
| 2021-08-02 16:03:20 | → | doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net) |
| 2021-08-02 16:06:06 | → | azeem joins (~azeem@176.200.220.247) |
| 2021-08-02 16:06:45 | → | euouae joins (~euouae@user/euouae) |
| 2021-08-02 16:07:05 | <euouae> | Hello is cabal using nix style module system now ? |
| 2021-08-02 16:07:15 | <euouae> | my cabal is about a year old and I want to update |
| 2021-08-02 16:07:47 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2) |
| 2021-08-02 16:08:30 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-02 16:08:34 | × | markpythonicbitc quits (~textual@50.228.44.6) (Ping timeout: 240 seconds) |
| 2021-08-02 16:09:09 | <davean> | euouae: Uh, has for years? |
| 2021-08-02 16:09:26 | <davean> | since 2016? |
| 2021-08-02 16:09:33 | <euouae> | By default now, right ? My man pages say it’s experimental |
| 2021-08-02 16:09:43 | <euouae> | I was reading my man pages to learn some cabal |
| 2021-08-02 16:09:49 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2021-08-02 16:10:17 | <euouae> | Is there a way to download docs for offline reading for cabal ? |
| 2021-08-02 16:10:55 | <davean> | Think that was more like 2 years ago, not sure the exact date. What version are you on? And what docs do you want? |
| 2021-08-02 16:11:31 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-02 16:11:37 | <davean> | Yah, looks like nix stuff went default in Aug 2019 |
| 2021-08-02 16:12:03 | <euouae> | Right now my laptop is turned off |
| 2021-08-02 16:12:22 | <euouae> | I want the latest cabal version and docs |
| 2021-08-02 16:12:45 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2021-08-02 16:13:02 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 245 seconds) |
| 2021-08-02 16:13:15 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-02 16:13:15 | <davean> | https://www.haskell.org/cabal/download.html but you can generally just do "cabal install cabal-install" |
| 2021-08-02 16:13:50 | <sclv> | for docs: https://readthedocs.org/projects/cabal/downloads/ |
| 2021-08-02 16:14:16 | <sclv> | i note there's no downloads for the 3.4 tag tho, not sure how those are created! |
| 2021-08-02 16:14:55 | <euouae> | That’s okay thank you |
| 2021-08-02 16:15:17 | <euouae> | Can I ask cabal with the dry run to tell me the total MB to be downloaded. |
| 2021-08-02 16:15:19 | <euouae> | ? |
| 2021-08-02 16:15:31 | <sclv> | no |
| 2021-08-02 16:15:33 | → | gambpang joins (~ian@207.181.230.156) |
| 2021-08-02 16:15:44 | → | delYsid joins (~user@84-115-55-45.cable.dynamic.surfer.at) |
| 2021-08-02 16:15:53 | <sclv> | dry run is an offline mode -- to know how much it would need to download it would need to query sizes |
| 2021-08-02 16:16:51 | → | IgorZhiltsov joins (~IgorZhilt@109-252-65-176.nat.spd-mgts.ru) |
| 2021-08-02 16:17:02 | <euouae> | Oh ok, but can I query otherwise ? |
| 2021-08-02 16:17:51 | <sclv> | there's no feature that tells you ahead of time how much it will download |
| 2021-08-02 16:17:56 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-08-02 16:18:05 | <euouae> | Hmm okay |
| 2021-08-02 16:18:45 | <euouae> | For a year old installation what can I expect? One GB? |
| 2021-08-02 16:19:15 | <sclv> | what do you mean, if you type `cabal install cabal-install`? |
| 2021-08-02 16:19:15 | → | pavonia joins (~user@user/siracusa) |
| 2021-08-02 16:19:37 | <sclv> | cabal packages are just source, they're tiny |
| 2021-08-02 16:19:47 | <sclv> | the cost will largely be in terms of what's generated by ghc in binary size |
| 2021-08-02 16:20:02 | → | econo joins (uid147250@user/econo) |
| 2021-08-02 16:20:08 | <sclv> | i'd estimate far less than a gig, on the order of a few hundred megs, but its a guess |
| 2021-08-02 16:20:25 | <sclv> | or you can just download the binary itself from the link davean gave, which is tiny, and involves no additional footprint |
| 2021-08-02 16:20:25 | <euouae> | Nice thank you |
| 2021-08-02 16:22:03 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-02 16:22:14 | <davean> | euouae: Yah, you're talking single digit MiB on the high side |
| 2021-08-02 16:22:26 | <davean> | euouae: I don't think anyone wrote that because no one cared to check :) |
| 2021-08-02 16:22:33 | <euouae> | Hehe ooh okay |
| 2021-08-02 16:22:57 | <euouae> | Yeah Internet can be expensive in the absence of competition |
| 2021-08-02 16:23:39 | <davean> | Understood, Infact I've had that problem, so I actually did a thing to download all of hackage - everything you might install with cabal install - in 1.4GiB |
| 2021-08-02 16:23:54 | → | pschorf joins (~user@c-73-77-28-188.hsd1.tx.comcast.net) |
| 2021-08-02 16:23:58 | <davean> | Mine is more expensive in non-monitary cost - access can be limited |
| 2021-08-02 16:24:13 | <euouae> | I see |
| 2021-08-02 16:24:44 | <euouae> | Ok if all of hackage is that much then I think I’m good hehe |
| 2021-08-02 16:25:30 | <davean> | Well I do a lot of compression, but I also include the ancient versions, so its not a bad estimate of how large what you'd touch of it without hte compression is |
| 2021-08-02 16:25:39 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2021-08-02 16:25:39 | <davean> | (If you did a LOT of Haskell) |
| 2021-08-02 16:25:52 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-02 16:26:36 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2021-08-02 16:26:54 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-02 16:26:58 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2021-08-02 16:27:30 | × | deejaytee quits (~deejaytee@193.46-255-62.static.virginmediabusiness.co.uk) (Ping timeout: 272 seconds) |
| 2021-08-02 16:29:31 | × | IgorZhiltsov quits (~IgorZhilt@109-252-65-176.nat.spd-mgts.ru) (Quit: Client closed) |
| 2021-08-02 16:30:15 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-02 16:32:58 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2021-08-02 16:33:11 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-02 16:33:12 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-08-02 16:34:18 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2021-08-02 16:34:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-08-02 16:34:31 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-02 16:34:48 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-02 16:34:53 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 252 seconds) |
All times are in UTC.