Logs: liberachat/#haskell
| 2021-07-11 09:29:48 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-11 09:29:56 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-07-11 09:30:25 | → | fendor joins (~fendor@91.141.51.136.wireless.dyn.drei.com) |
| 2021-07-11 09:33:24 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-11 09:34:45 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 2021-07-11 09:35:11 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection) |
| 2021-07-11 09:35:33 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 2021-07-11 09:36:02 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection) |
| 2021-07-11 09:36:06 | <sm> | hi andrews, there are lots of ways, it depends a bit on your needs (alas) |
| 2021-07-11 09:37:08 | <andrews> | I'm kind of a newbie to Haskell |
| 2021-07-11 09:37:32 | <DigitalKiwi> | koz: (wrt twitter thread Hecate just rt) i put alias/function in my .bashrc for commands i can't ever remember either to do the command or echo it. i also have functions/alias to add functions/alias to my .bashrc >.> |
| 2021-07-11 09:37:42 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-07-11 09:38:18 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-11 09:38:18 | <sm> | it depends a bit which of the two haskell build tools you'll want. In my case that would be stack, and I would probably do `apt install stack && stack upgrade` and add $HOME/.local/bin to my $PATH following its advice |
| 2021-07-11 09:38:47 | <andrews> | I have absolutely no idea |
| 2021-07-11 09:38:53 | <andrews> | what to install |
| 2021-07-11 09:38:54 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-11 09:40:57 | <DigitalKiwi> | ex. function nixhs-tip-adhoc() { echo 'nix-shell -p "haskellPackages.ghcWithPackages (pkgs: with pkgs; [mtl pandoc])"'; } |
| 2021-07-11 09:42:15 | <DigitalKiwi> | alias adal="cat >> /home/kiwi/.bashrc" alias adalvim="vim /home/kiwi/.bashrc" alias adalemacs="emacs /home/kiwi/.bashrc" |
| 2021-07-11 09:43:05 | <DigitalKiwi> | alias build-kde-iso='nix-build -A config.system.build.isoImage -I nixos-config=modules/installer/cd-dvd/installation-cd-graphical-kde.nix default.nix' |
| 2021-07-11 09:44:21 | <DigitalKiwi> | my .bashrc is 545 lines is that a lot |
| 2021-07-11 09:46:12 | <DigitalKiwi> | alias nix-profile-info=$'paste <(nix profile list|cut -f 4 -d \' \') <(nix profile list|cut -f 1 -d \' \')|cut -f2- -d \'-\'|awk \'{print $2 " " $1}\'' |
| 2021-07-11 09:47:54 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-11 09:48:15 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-11 09:48:28 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 2021-07-11 09:49:41 | → | yoctocell joins (~user@h87-96-130-155.cust.a3fiber.se) |
| 2021-07-11 09:49:58 | <DigitalKiwi> | sm: lol https://dpaste.com/9MEUXNAEY |
| 2021-07-11 09:59:39 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-11 10:00:58 | × | aweinstock quits (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) (Ping timeout: 240 seconds) |
| 2021-07-11 10:03:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-11 10:03:54 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds) |
| 2021-07-11 10:06:42 | <maerwald> | andrews: https://www.haskell.org/ghcup/ |
| 2021-07-11 10:06:58 | <andrews> | I installed haskell-platform |
| 2021-07-11 10:08:07 | <maerwald> | andrews: I think that has limited GHC support |
| 2021-07-11 10:09:03 | <maerwald> | the latest recommended GHC version is 8.10.5, I don't see that in the ubuntu repos |
| 2021-07-11 10:09:30 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-11 10:09:48 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-11 10:17:54 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-11 10:18:23 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-11 10:23:46 | × | Xnuk quits (~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in) |
| 2021-07-11 10:24:03 | → | Xnuk joins (~xnuk@vultr.xnu.kr) |
| 2021-07-11 10:24:38 | → | y04nn joins (~y04nn@89.45.7.186) |
| 2021-07-11 10:24:42 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 240 seconds) |
| 2021-07-11 10:27:30 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-11 10:29:48 | <sm> | DigitalKiwi: what is happening |
| 2021-07-11 10:29:49 | <sm> | that is much shell |
| 2021-07-11 10:30:17 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-07-11 10:30:34 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-11 10:35:23 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 265 seconds) |
| 2021-07-11 10:37:12 | × | y04nn quits (~y04nn@89.45.7.186) (Remote host closed the connection) |
| 2021-07-11 10:37:24 | → | y04nn joins (~y04nn@89.45.7.186) |
| 2021-07-11 10:38:43 | → | samebchase joins (~thelounge@51.15.68.182) |
| 2021-07-11 10:39:22 | → | kayprish joins (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) |
| 2021-07-11 10:39:35 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-11 10:40:40 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-11 10:41:01 | ← | andrews parts (~andrews@user/andrews) (Leaving) |
| 2021-07-11 10:41:12 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-11 10:41:57 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-11 10:42:29 | → | acidjnk joins (~acidjnk@p200300d0c72b9504d9f09758b46acc0d.dip0.t-ipconnect.de) |
| 2021-07-11 10:44:36 | × | y04nn quits (~y04nn@89.45.7.186) (Ping timeout: 272 seconds) |
| 2021-07-11 10:45:30 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds) |
| 2021-07-11 10:52:42 | → | dajoer joins (~david@user/gvx) |
| 2021-07-11 10:56:52 | × | kilolympus quits (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) (Quit: Quitting IRC :() |
| 2021-07-11 10:57:51 | × | jespada quits (~jespada@90.254.247.46) (Ping timeout: 252 seconds) |
| 2021-07-11 11:00:38 | → | jespada joins (~jespada@90.254.247.46) |
| 2021-07-11 11:02:51 | × | hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2021-07-11 11:15:38 | × | kayprish quits (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Ping timeout: 272 seconds) |
| 2021-07-11 11:17:56 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-11 11:21:04 | × | xff0x quits (~xff0x@2001:1a81:5298:1800:8236:5b72:ab69:e57) (Ping timeout: 246 seconds) |
| 2021-07-11 11:21:22 | → | xff0x joins (~xff0x@185.65.135.235) |
| 2021-07-11 11:22:40 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-11 11:24:33 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-11 11:26:42 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds) |
| 2021-07-11 11:28:48 | × | thyriaen quits (~thyriaen@45.178.73.238) (Ping timeout: 252 seconds) |
| 2021-07-11 11:43:47 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-07-11 11:44:00 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-07-11 11:46:56 | × | xff0x quits (~xff0x@185.65.135.235) (Ping timeout: 258 seconds) |
| 2021-07-11 11:48:34 | → | xff0x joins (~xff0x@2001:1a81:5298:1800:8236:5b72:ab69:e57) |
| 2021-07-11 11:51:55 | × | darklamb1a quits (~whateverg@111.65.56.31) (Ping timeout: 258 seconds) |
| 2021-07-11 11:52:14 | → | darklambda joins (~whateverg@122.11.240.98) |
| 2021-07-11 11:53:11 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-07-11 11:54:07 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-07-11 11:54:20 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-07-11 11:56:33 | ← | safinaskar parts (~user@109.252.90.89) () |
| 2021-07-11 11:59:06 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-11 12:09:46 | × | arahael quits (~arahael@118.211.182.212) (Ping timeout: 240 seconds) |
| 2021-07-11 12:09:56 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 258 seconds) |
| 2021-07-11 12:10:02 | × | kadobanana quits (~mud@user/kadoban) (Remote host closed the connection) |
| 2021-07-11 12:10:27 | → | kadobanana joins (~mud@user/kadoban) |
| 2021-07-11 12:10:38 | × | koz quits (~koz@121.99.240.58) (Ping timeout: 256 seconds) |
| 2021-07-11 12:10:53 | → | koz joins (~koz@2404:4408:4309:8800:f7ec:14dd:f995:fa8c) |
| 2021-07-11 12:11:52 | → | arahael joins (~arahael@118.211.182.212) |
| 2021-07-11 12:19:27 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-07-11 12:19:40 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-07-11 12:25:32 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 255 seconds) |
| 2021-07-11 12:29:47 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-07-11 12:30:01 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-07-11 12:30:57 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-07-11 12:30:57 | × | Deide quits (~Deide@217.155.19.23) (Changing host) |
| 2021-07-11 12:30:57 | → | Deide joins (~Deide@user/deide) |
All times are in UTC.