Newest at the top
| 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) |
| 2024-10-23 03:59:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 03:48:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-23 03:47:51 +0200 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2024-10-23 03:44:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 03:34:47 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-10-23 03:33:43 +0200 | anpad | (~pandeyan@user/anpad) anpad |
| 2024-10-23 03:33:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-23 03:32:21 +0200 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-23 03:32:21 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-23 03:28:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 03:26:23 +0200 | zero | (~z@user/zero) zero |
| 2024-10-23 03:26:12 +0200 | yin | (~z@user/zero) (Ping timeout: 246 seconds) |
| 2024-10-23 03:24:21 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2024-10-23 03:22:09 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 260 seconds) |
| 2024-10-23 03:19:11 +0200 | Square | (~Square@user/square) Square |
| 2024-10-23 03:17:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-23 03:10:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 03:09:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-10-23 03:00:22 +0200 | nitrix-or-treat | nitrix-or-treats |
| 2024-10-23 03:00:02 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-23 02:57:43 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-10-23 02:55:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 02:47:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-10-23 02:45:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-23 02:40:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 02:37:50 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 260 seconds) |
| 2024-10-23 02:37:37 +0200 | remedan_ | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-10-23 02:35:43 +0200 | airscape | (~airscape@2.219.56.221) (Quit: Connection error?!) |
| 2024-10-23 02:34:26 +0200 | xff0x | (~xff0x@2405:6580:b080:900:61f:49ca:1cad:ed6) (Ping timeout: 265 seconds) |
| 2024-10-23 02:29:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-23 02:24:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 02:22:42 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 276 seconds) |
| 2024-10-23 02:21:44 +0200 | hgolden__ | (~hgolden@23.162.40.110) (Ping timeout: 255 seconds) |
| 2024-10-23 02:19:22 +0200 | hgolden_ | (~hgolden@169.150.203.36) hgolden |
| 2024-10-23 02:13:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
