| 2025-02-28 00:47:34 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-28 02:28:17 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-28 02:28:23 +0100 | todi1 | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2025-02-28 02:51:33 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-02-28 03:18:28 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-28 04:20:16 +0100 | alp | (~alp@2001:861:8ca0:4940:58d8:cc89:9d90:c4b2) (Ping timeout: 268 seconds) |
| 2025-02-28 07:02:11 +0100 | alp | (~alp@2001:861:8ca0:4940:cf02:35f:1502:8681) |
| 2025-02-28 08:08:07 +0100 | ft | (~ft@p3e9bc68d.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-02-28 08:53:14 +0100 | mc47 | (~yecinem@p200300ee0f4dacc5524b0daa30a3d789.dip0.t-ipconnect.de) |
| 2025-02-28 08:57:32 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-28 09:53:04 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-28 10:03:03 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-28 10:36:31 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds) |
| 2025-02-28 11:04:44 +0100 | yosafbridge | (~yosafbrid@static.38.6.217.95.clients.your-server.de) (Quit: Leaving) |
| 2025-02-28 11:25:20 +0100 | yosafbridge | (~yosafbrid@static.38.6.217.95.clients.your-server.de) |
| 2025-02-28 12:52:45 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
| 2025-02-28 13:21:19 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-02-28 13:21:33 +0100 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2025-02-28 13:29:48 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 272 seconds) |
| 2025-02-28 13:35:53 +0100 | mc47 | (~yecinem@p200300ee0f4dacc5524b0daa30a3d789.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-02-28 14:24:20 +0100 | mc47 | (~yecinem@p200300ee0f4dac6a6c600e7726fe8c53.dip0.t-ipconnect.de) |
| 2025-02-28 14:42:44 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 2025-02-28 14:45:31 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-28 15:23:24 +0100 | ft | (~ft@p3e9bc68d.dip0.t-ipconnect.de) ft |
| 2025-02-28 17:07:02 +0100 | mc47 | (~yecinem@p200300ee0f4dac6a6c600e7726fe8c53.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-02-28 17:07:58 +0100 | mc47 | (~yecinem@pd9e2d8ea.dip0.t-ipconnect.de) |
| 2025-02-28 17:18:45 +0100 | yecinem_ | (~yecinem@p57a96928.dip0.t-ipconnect.de) |
| 2025-02-28 17:20:21 +0100 | mc47 | (~yecinem@pd9e2d8ea.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-02-28 17:25:09 +0100 | Digit | (~user@user/digit) Digit |
| 2025-02-28 17:26:37 +0100 | mc47 | (~yecinem@p200300ee0f32050362285b565d2f3428.dip0.t-ipconnect.de) |
| 2025-02-28 17:27:49 +0100 | yecinem_ | (~yecinem@p57a96928.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-02-28 17:28:29 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-28 17:40:23 +0100 | mc47 | (~yecinem@p200300ee0f32050362285b565d2f3428.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-02-28 17:42:00 +0100 | mc47 | (~yecinem@p57a96f42.dip0.t-ipconnect.de) |
| 2025-02-28 17:48:39 +0100 | ash3en1 | (~Thunderbi@146.70.124.222) ash3en |
| 2025-02-28 17:50:34 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 260 seconds) |
| 2025-02-28 17:50:34 +0100 | ash3en1 | ash3en |
| 2025-02-28 17:55:45 +0100 | yecinem_ | (~yecinem@tmo-080-116.customers.d1-online.com) |
| 2025-02-28 17:56:21 +0100 | Digit | (~user@user/digit) (Quit: ERC 5.6.1-git (IRC client for GNU Emacs 31.0.50)) |
| 2025-02-28 17:57:30 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-02-28 17:59:36 +0100 | mc47 | (~yecinem@p57a96f42.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-02-28 18:00:34 +0100 | Digitteknohippie | Digit |
| 2025-02-28 18:07:05 +0100 | <haskellbridge> | <leana8959> Hello, |
| 2025-02-28 18:07:05 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/NTkXOpJyLEvbsIoWlWzYAOup/f_OrLSaMBiE (3 lines) |
| 2025-02-28 18:08:16 +0100 | <geekosaur> | you can put modules in a subdirectory `lib` and import them into `xmonad.hs` |
| 2025-02-28 18:09:43 +0100 | <geekosaur> | I don't do it currently but in the past I've had WIP contribs there |
| 2025-02-28 18:10:02 +0100 | <haskellbridge> | <leana8959> I see, I'll try that right now. Thanks :) |
| 2025-02-28 18:11:02 +0100 | <geekosaur> | https://github.com/geekosaur/xmonad.hs/tree/hilfy-2023 current setup, no submodules but organized as a cabal project |
| 2025-02-28 18:11:34 +0100 | <geekosaur> | https://github.com/geekosaur/xmonad.hs/tree/pyanfar not cabalized but has submodules |
| 2025-02-28 18:13:08 +0100 | <geekosaur> | I don't think cabal supported projects back then. "3 years ago" is from my forgetting to move updates to a new branch after I tried to resuscitate the machine 🙂 (reinstalled it; hardware failed shortly afterward) |
| 2025-02-28 18:14:47 +0100 | <haskellbridge> | <leana8959> Yoohoo it works, thanks a lot. |
| 2025-02-28 18:14:47 +0100 | <haskellbridge> | Though, how can I get the language server to figure out where the modules are? |
| 2025-02-28 18:15:06 +0100 | <haskellbridge> | <leana8959> Right now the LSP is very angry because it don't know where to look for the modules |
| 2025-02-28 18:17:42 +0100 | <geekosaur> | not sure. I don't think it can know about xmonad's internal build rule which adds `-ilib` to ghc options; you would need to use a build script to run cabal, and add `ghc-options: -ilib` to the cabal file. then HLS will extract it from cabal's config, assuming you built it with that setup at least once |
| 2025-02-28 18:18:32 +0100 | <geekosaur> | well, it'll run cabal with ghc pointed to an evil wrapper script, because cabal currently doesn't provide a way to dump its configuration. HLS integration is still a hacky work in progress, I'm afraid |
| 2025-02-28 18:18:49 +0100 | ash3en | (~Thunderbi@146.70.124.222) (Quit: ash3en) |
| 2025-02-28 18:20:01 +0100 | <geekosaur> | I'm not sure if you can wedge extra GHC options into a cradle (hie.yaml) |
| 2025-02-28 18:20:42 +0100 | <haskellbridge> | <leana8959> I'll check that out, thanks |
| 2025-02-28 18:20:49 +0100 | <geekosaur> | probably a question for #haskell-language-server (either matrix or libera; they're linked the same way this channel is) |
| 2025-02-28 18:22:13 +0100 | <haskellbridge> | <leana8959> awesome, I'll look into it and ask if I can't figure it out. Thanks for pointing me in the right direction :) |
| 2025-02-28 18:33:37 +0100 | yecinem_ | (~yecinem@tmo-080-116.customers.d1-online.com) (Ping timeout: 248 seconds) |
| 2025-02-28 18:59:12 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) julie_pilgrim |
| 2025-02-28 19:10:14 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-02-28 19:37:02 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2025-02-28 19:55:44 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) julie_pilgrim |
| 2025-02-28 20:15:18 +0100 | redgloboli | (~redglobol@user/redgloboli) (Ping timeout: 252 seconds) |
| 2025-02-28 20:24:38 +0100 | scardinal | (~supreme@0x573d64a9.static.cust.fastspeed.dk) (Quit: leaving) |
| 2025-02-28 20:54:19 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2025-02-28 21:00:55 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) julie_pilgrim |
| 2025-02-28 21:10:26 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2025-02-28 21:29:26 +0100 | redgloboli | (~redglobol@user/redgloboli) redgloboli |
| 2025-02-28 21:45:38 +0100 | <haskellbridge> | <bgamari> geekosaur: FWIW, in my case my xmonad configuration is just a cabal executable: https://git.smart-cactus.org/ben/ben-env/-/tree/master/xmonad/xmonad-ben?ref_type=heads |
| 2025-02-28 21:46:02 +0100 | <haskellbridge> | <bgamari> but admittedly it does require a full "home-manager switch" to change |
| 2025-02-28 21:46:07 +0100 | <haskellbridge> | <bgamari> * modify |
| 2025-02-28 21:46:39 +0100 | <haskellbridge> | <bgamari> however, at this point I am old and set in my ways so this isn't a problem :) |
| 2025-02-28 21:52:04 +0100 | redgloboli | (~redglobol@user/redgloboli) (Ping timeout: 260 seconds) |
| 2025-02-28 21:56:53 +0100 | ash3en | (~Thunderbi@146.70.124.222) ash3en |
| 2025-02-28 21:59:17 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-28 22:05:41 +0100 | ash3en | (~Thunderbi@146.70.124.222) (Quit: ash3en) |
| 2025-02-28 22:05:47 +0100 | redgloboli | (~redglobol@user/redgloboli) redgloboli |
| 2025-02-28 22:19:54 +0100 | redgloboli | (~redglobol@user/redgloboli) (Ping timeout: 272 seconds) |
| 2025-02-28 22:23:21 +0100 | redgloboli | (~redglobol@user/redgloboli) redgloboli |
| 2025-02-28 23:39:59 +0100 | redgloboli | (~redglobol@user/redgloboli) (Ping timeout: 260 seconds) |
| 2025-02-28 23:54:02 +0100 | redgloboli | (~redglobol@user/redgloboli) redgloboli |