Logs: liberachat/#haskell
| 2021-08-10 09:36:45 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-10 09:41:12 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-08-10 09:41:40 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2021-08-10 09:42:04 | × | Guest45 quits (~Guest45@2001:8004:2728:3231:22e8:8df9:c65:5ea) (Ping timeout: 246 seconds) |
| 2021-08-10 10:00:24 | × | fm quits (~fm@user/fm) (Quit: fm) |
| 2021-08-10 10:00:41 | → | viluon joins (uid453725@id-453725.brockwell.irccloud.com) |
| 2021-08-10 10:02:01 | <viluon> | hi, is it possible to change the path which ghcup uses from `~/.ghcup` to something else? |
| 2021-08-10 10:02:16 | <maerwald[m]> | yes |
| 2021-08-10 10:02:30 | <maerwald[m]> | GHCUP_INSTALL_BASE_PREFIX env var... default is $HOME |
| 2021-08-10 10:02:37 | ← | eight parts (~eight@user/eight) () |
| 2021-08-10 10:02:48 | <maerwald[m]> | there's also GHCUP_USE_XDG_DIRS but I don't recommend it |
| 2021-08-10 10:03:32 | <viluon> | I see, thanks |
| 2021-08-10 10:07:00 | <maerwald[m]> | viluon: what's the use case? |
| 2021-08-10 10:07:23 | <viluon> | 20 GB drive mounted as /, 1 TB drive mounted elsewhere |
| 2021-08-10 10:07:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-10 10:07:54 | <maerwald[m]> | ah... you also might want to set TMPDIR to something else then, at least for ghcup |
| 2021-08-10 10:08:03 | <viluon> | what does that default to? |
| 2021-08-10 10:08:06 | <maerwald[m]> | it unpacks stuff there for installation |
| 2021-08-10 10:08:08 | <maerwald[m]> | /tmp |
| 2021-08-10 10:08:41 | <viluon> | thanks |
| 2021-08-10 10:08:49 | <maerwald[m]> | TMPDIR is specified by posix, so other apps should use it too |
| 2021-08-10 10:09:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 10:09:25 | <viluon> | aw, ghcup doesn't clean up after itself in TMPDIR |
| 2021-08-10 10:09:58 | <maerwald[m]> | it does usually |
| 2021-08-10 10:10:03 | <maerwald[m]> | unless there is failure |
| 2021-08-10 10:10:35 | <maerwald[m]> | otherwise it's a bug |
| 2021-08-10 10:11:00 | <viluon> | ah, there may have been a failure, now that I think of it |
| 2021-08-10 10:11:30 | <maerwald[m]> | `ghcup --keep=never ...` will always delete |
| 2021-08-10 10:11:40 | <maerwald[m]> | you can create a bash alias |
| 2021-08-10 10:11:43 | → | burnsidesLlama joins (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-08-10 10:12:10 | × | Akronymus quits (~Akronymus@85.31.8.181) (Ping timeout: 246 seconds) |
| 2021-08-10 10:13:56 | → | Morrow_ joins (~Morrow@176.12.187.199) |
| 2021-08-10 10:14:48 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-10 10:15:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 10:16:10 | → | chomwitt joins (~chomwitt@2a02:587:dc02:6400:12c3:7bff:fe6d:d374) |
| 2021-08-10 10:21:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-08-10 10:21:16 | × | chomwitt quits (~chomwitt@2a02:587:dc02:6400:12c3:7bff:fe6d:d374) (Ping timeout: 258 seconds) |
| 2021-08-10 10:21:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 10:22:13 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-08-10 10:22:25 | × | acidjnk_new3 quits (~acidjnk@p200300d0c72b9517f04572592712ff76.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-08-10 10:22:37 | → | MorrowM joins (~Morrow@147.161.13.225) |
| 2021-08-10 10:24:09 | → | tungki joins (~tngk@subs20-114-142-172-49.three.co.id) |
| 2021-08-10 10:24:22 | → | spirit_ joins (~spirit@182.65.107.252) |
| 2021-08-10 10:24:43 | × | Morrow_ quits (~Morrow@176.12.187.199) (Read error: Connection reset by peer) |
| 2021-08-10 10:26:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-10 10:26:55 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 10:27:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 10:27:34 | → | Akronymus joins (~Akronymus@85.31.8.181) |
| 2021-08-10 10:31:02 | → | Morrow_ joins (~Morrow@147.161.13.225) |
| 2021-08-10 10:31:31 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 2021-08-10 10:31:37 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-08-10 10:33:11 | <viluon> | maerwald[m]: would you happen to know how to change the Cabal path as well (it defaults to `~/.cabal`)? |
| 2021-08-10 10:33:55 | <maerwald[m]> | viluon: CABAL_DIR |
| 2021-08-10 10:34:03 | <viluon> | thank you! |
| 2021-08-10 10:34:04 | → | jesser[m] joins (~jessermat@2001:470:69fc:105::d5ae) |
| 2021-08-10 10:34:26 | × | MorrowM quits (~Morrow@147.161.13.225) (Ping timeout: 272 seconds) |
| 2021-08-10 10:34:26 | × | myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 272 seconds) |
| 2021-08-10 10:35:12 | × | jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Remote host closed the connection) |
| 2021-08-10 10:36:22 | → | anononon joins (~anononon@user-5-173-148-81.play-internet.pl) |
| 2021-08-10 10:37:12 | × | shailangsa quits (~shailangs@host86-185-58-139.range86-185.btcentralplus.com) (Ping timeout: 245 seconds) |
| 2021-08-10 10:38:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-10 10:38:36 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-10 10:39:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 10:41:20 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-10 10:47:38 | × | tungki quits (~tngk@subs20-114-142-172-49.three.co.id) (Ping timeout: 268 seconds) |
| 2021-08-10 10:49:31 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-08-10 10:52:23 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-10 10:52:44 | × | Morrow_ quits (~Morrow@147.161.13.225) (Ping timeout: 272 seconds) |
| 2021-08-10 10:58:25 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-08-10 11:00:28 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-10 11:01:04 | × | burnsidesLlama quits (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-10 11:04:28 | nshepper1 | is now known as nshepperd |
| 2021-08-10 11:04:50 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 272 seconds) |
| 2021-08-10 11:04:58 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-08-10 11:06:11 | <merijn> | Anyone know if there's a way (with ansi-wl-pprint) to detect if a Doc is empty? |
| 2021-08-10 11:07:46 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-08-10 11:10:33 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:295c:2a1b:92fa:2044) |
| 2021-08-10 11:18:25 | × | anononon quits (~anononon@user-5-173-148-81.play-internet.pl) (Ping timeout: 248 seconds) |
| 2021-08-10 11:19:14 | × | spirit_ quits (~spirit@182.65.107.252) (Quit: Konversation terminated!) |
| 2021-08-10 11:22:53 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 11:25:14 | → | tungki joins (~tngk@subs20-114-142-172-49.three.co.id) |
| 2021-08-10 11:27:06 | × | bontaq quits (~user@ool-18e47f8d.dyn.optonline.net) (Remote host closed the connection) |
| 2021-08-10 11:27:23 | × | tungki quits (~tngk@subs20-114-142-172-49.three.co.id) (Read error: Connection reset by peer) |
| 2021-08-10 11:27:26 | → | bontaq joins (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-08-10 11:27:38 | → | shailangsa joins (~shailangs@host86-185-58-139.range86-185.btcentralplus.com) |
| 2021-08-10 11:27:43 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-08-10 11:29:34 | → | tungki joins (~tngk@subs31-116-206-15-25.three.co.id) |
| 2021-08-10 11:33:11 | → | burnsidesLlama joins (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-08-10 11:35:45 | × | burnsidesLlama quits (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-08-10 11:36:09 | → | burnsidesLlama joins (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-08-10 11:37:52 | → | Adam1 joins (~Adam1@27-53-105-227.adsl.fetnet.net) |
| 2021-08-10 11:40:24 | × | timCF quits (~timCF@200-149-20-81.sta.estpak.ee) (Quit: leaving) |
| 2021-08-10 11:41:08 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-08-10 11:42:48 | → | tcard_ joins (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 2021-08-10 11:44:39 | → | spoonm joins (spoonm@inaba.spoonm.org) |
| 2021-08-10 11:44:49 | → | ridcully_ joins (~ridcully@p508ac428.dip0.t-ipconnect.de) |
| 2021-08-10 11:45:25 | → | forell_ joins (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
| 2021-08-10 11:45:32 | → | terrorjack4 joins (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 2021-08-10 11:46:43 | → | mjrosenb_ joins (~mrosenbe@nyc.schrodinger.com) |
| 2021-08-10 11:46:54 | → | PinealGl1ndOptic joins (~PinealGla@37.115.210.35) |
All times are in UTC.