Newest at the top
| 2024-10-23 06:30:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-23 06:30:01 +0200 | kilolympus | (~kilolympu@2a04:ee41:4:32b3:29d9:f88f:2e29:df95) kilolympus |
| 2024-10-23 06:26:26 +0200 | kilolympus | (~kilolympu@2a04:ee41:4:32b3:29d9:f88f:2e29:df95) (Remote host closed the connection) |
| 2024-10-23 06:24:17 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 248 seconds) |
| 2024-10-23 06:23:35 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 06:12:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-23 06:08:11 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 06:06:12 +0200 | alp | (~alp@2001:861:e3d6:8f80:1068:2132:b192:21de) (Remote host closed the connection) |
| 2024-10-23 06:05:11 +0200 | <dontdieych2> | Axman6: geekosau: ok, should go for lambda mark. cannot find premade theme things. |
| 2024-10-23 06:04:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-23 05:59:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-10-23 05:57:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 05:54:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-23 05:52:29 +0200 | hgolden_ | (~hgolden@169.150.203.36) (Ping timeout: 260 seconds) |
| 2024-10-23 05:49:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 05:49:53 +0200 | hgolden__ | (~hgolden@static-198-44-129-83.cust.tzulo.com) hgolden |
| 2024-10-23 05:39:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-23 05:34:35 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 05:34:21 +0200 | <geekosaur> | I personally don't spend enough time in ghci to care; I just pop in to test something and then exit. (largely because it's usually `cabal repl` instead of raw ghci, in a project or with specific dependencies in scope) |
| 2024-10-23 05:33:01 +0200 | <geekosaur> | I've seen a few, but yeh what you mention is most common ime |
| 2024-10-23 05:27:43 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-23 05:23:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-23 05:21:10 +0200 | <Axman6> | Knowing a thing or two about terminal colours would let you make pretty themes |
| 2024-10-23 05:19:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 05:18:53 +0200 | alp | (~alp@2001:861:e3d6:8f80:1068:2132:b192:21de) |
| 2024-10-23 05:15:17 +0200 | <Axman6> | I assume so too, but I've never seen anyone do anything more fancy than changing the prompt to a lambda and removing the loaded modules |
| 2024-10-23 05:08:22 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-23 05:03:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 05:02:46 +0200 | rosco | (~rosco@60.53.7.10) rosco |
| 2024-10-23 04:52:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-23 04:45:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 04:42:41 +0200 | td_ | (~td@i53870909.versanet.de) td_ |
| 2024-10-23 04:40:52 +0200 | td_ | (~td@i53870910.versanet.de) (Ping timeout: 252 seconds) |
| 2024-10-23 04:35:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-23 04:33:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-23 04:32:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-10-23 04:32:12 +0200 | jove | (~quassel@user/jove) jove |
| 2024-10-23 04:30:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 04:29:26 +0200 | <geekosaur> | I think they're looking for themes others have come up with, as opposed to how to write one from scratch? |
| 2024-10-23 04:29:08 +0200 | <Axman6> | Looks like :set prompt-function is particularly useful |
| 2024-10-23 04:23:12 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
| 2024-10-23 04:19:44 +0200 | <Axman6> | Have you looked at https://downloads.haskell.org/ghc/latest/docs/users_guide/ghci.html#ghci-cmd-:set%20prompt? |
| 2024-10-23 04:19:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-23 04:16:28 +0200 | <dontdieych2> | Thanks for any sharing |
| 2024-10-23 04:16:20 +0200 | <dontdieych2> | Looking for something like ghci prompt theme. Prefer colorful and informative one. https://github.com/IlanCosman/tide/blob/assets/images/flexible.png |
| 2024-10-23 04:14:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 04:13:51 +0200 | dontdieych2 | (~a@user/dontdieych2) dontdieych2 |
| 2024-10-23 04:11:27 +0200 | jove_ | (~quassel@user/jove) (Ping timeout: 252 seconds) |
| 2024-10-23 04:08:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-23 04:04:12 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
