Newest at the top
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) |
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 |