Newest at the top
| 2024-11-06 04:34:30 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-11-06 04:33:54 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:f3e5:33f2:cda6:f534) |
| 2024-11-06 04:32:54 +0100 | GoldsteinQ | (~goldstein@goldstein.rs) (Ping timeout: 276 seconds) |
| 2024-11-06 04:32:12 +0100 | alp | (~alp@2001:861:e3d6:8f80:ffbd:ecef:4bf1:f51f) |
| 2024-11-06 04:31:53 +0100 | alp | (~alp@2001:861:e3d6:8f80:a9c3:b9df:2274:a98b) (Remote host closed the connection) |
| 2024-11-06 04:30:29 +0100 | alp | (~alp@2001:861:e3d6:8f80:a9c3:b9df:2274:a98b) |
| 2024-11-06 04:30:11 +0100 | alp | (~alp@2001:861:e3d6:8f80:fdaa:b613:f8c7:f917) (Remote host closed the connection) |
| 2024-11-06 04:30:02 +0100 | abenson | (~user@109.255.240.83) (Remote host closed the connection) |
| 2024-11-06 04:28:47 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-11-06 04:28:47 +0100 | alp | (~alp@2001:861:e3d6:8f80:fdaa:b613:f8c7:f917) |
| 2024-11-06 04:24:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-06 04:20:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-06 04:19:19 +0100 | tyzef | (~tyzef@user/tyzef) (Max SendQ exceeded) |
| 2024-11-06 04:19:18 +0100 | tyzef | (~tyzef@user/tyzef) tyzef |
| 2024-11-06 04:10:23 +0100 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2024-11-06 04:08:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-06 04:02:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-06 03:55:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-06 03:50:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-06 03:44:57 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-11-06 03:41:22 +0100 | <haskellbridge> | <sm> stack notes added at https://github.com/CrystalSplitter/ghcitui/issues/30 |
| 2024-11-06 03:40:32 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) CoolMa7 |
| 2024-11-06 03:34:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-06 03:30:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-06 03:28:52 +0100 | <monochrom> | Hrm it wants containers >= 0.6.8? That's neeewwww.... |
| 2024-11-06 03:26:31 +0100 | <monochrom> | Hrm I should try that. |
| 2024-11-06 03:19:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-06 03:19:03 +0100 | <geekosaur> | ghci originally used readline, but that caused build issues on Windows (not there) and Macs (Apple ships a fake "readline") so someone wrote haskeline |
| 2024-11-06 03:17:56 +0100 | <haskellbridge> | <sm> needs more users |
| 2024-11-06 03:17:37 +0100 | <haskellbridge> | <sm> Ah! finally. https://hackage.haskell.org/package/ghcitui is the one I was thinking of. |
| 2024-11-06 03:14:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-06 03:14:21 +0100 | <haskellbridge> | <zwro> Leary: tyvm |
| 2024-11-06 03:13:11 +0100 | notzmv | (~daniel@user/notzmv) notzmv |
| 2024-11-06 03:12:15 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-11-06 03:11:10 +0100 | <monochrom> | Oh just vim bindings. Then yeah. |
| 2024-11-06 03:10:46 +0100 | <Leary> | zwro: echo 'editMode: Vi' > ~/.haskeline |
| 2024-11-06 03:10:24 +0100 | <monochrom> | I think no. I just tried. |
| 2024-11-06 03:10:06 +0100 | <haskellbridge> | <zwro> oh wait, does haskeline support it? |
| 2024-11-06 03:08:36 +0100 | <haskellbridge> | <zwro> ghci used readline? how i miss vim bindings in ghci |
| 2024-11-06 03:07:37 +0100 | <monochrom> | Would be funny if GHCi missed that opportunity... |
| 2024-11-06 03:06:47 +0100 | <monochrom> | Is it actually provided by the underlying readline? Because once upon a time, GHCi used readline as opposed to today's haskeline... |
| 2024-11-06 03:05:07 +0100 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-11-06 03:04:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-06 03:03:20 +0100 | <monochrom> | I can also tell my students about this. It will help in the unix course. |
| 2024-11-06 03:02:10 +0100 | monochrom | can now use C-x C-e to take time to craft docker commands that have 20 options... |
| 2024-11-06 03:02:01 +0100 | <haskellbridge> | <zwro> also if you have vi-style bindings in your shell with `set -o vi`, pressing v while in normal mode also achieves this |
| 2024-11-06 03:00:39 +0100 | <monochrom> | Yeah edit-and-execute would be great, both easy and valuable. |
| 2024-11-06 03:00:28 +0100 | flounders | (~flounders@173.246.200.74) flounders |
| 2024-11-06 02:59:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-06 02:59:20 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |