| 2025-02-28 01:28:17 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-28 01:28:23 +0000 | todi1 | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2025-02-28 01:51:33 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-02-28 02:18:28 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-28 03:20:16 +0000 | alp | (~alp@2001:861:8ca0:4940:58d8:cc89:9d90:c4b2) (Ping timeout: 268 seconds) |
| 2025-02-28 06:02:11 +0000 | alp | (~alp@2001:861:8ca0:4940:cf02:35f:1502:8681) |
| 2025-02-28 07:08:07 +0000 | ft | (~ft@p3e9bc68d.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-02-28 07:53:14 +0000 | mc47 | (~yecinem@p200300ee0f4dacc5524b0daa30a3d789.dip0.t-ipconnect.de) |
| 2025-02-28 07:57:32 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-28 08:53:04 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-28 09:03:03 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-28 09:36:31 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds) |
| 2025-02-28 10:04:44 +0000 | yosafbridge | (~yosafbrid@static.38.6.217.95.clients.your-server.de) (Quit: Leaving) |
| 2025-02-28 10:25:20 +0000 | yosafbridge | (~yosafbrid@static.38.6.217.95.clients.your-server.de) |
| 2025-02-28 11:52:45 +0000 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
| 2025-02-28 12:21:19 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-02-28 12:21:33 +0000 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2025-02-28 12:29:48 +0000 | Digitteknohippie | (~user@user/digit) (Ping timeout: 272 seconds) |
| 2025-02-28 12:35:53 +0000 | mc47 | (~yecinem@p200300ee0f4dacc5524b0daa30a3d789.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-02-28 13:24:20 +0000 | mc47 | (~yecinem@p200300ee0f4dac6a6c600e7726fe8c53.dip0.t-ipconnect.de) |
| 2025-02-28 13:42:44 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 2025-02-28 13:45:31 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-28 14:23:24 +0000 | ft | (~ft@p3e9bc68d.dip0.t-ipconnect.de) ft |
| 2025-02-28 16:07:02 +0000 | mc47 | (~yecinem@p200300ee0f4dac6a6c600e7726fe8c53.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-02-28 16:07:58 +0000 | mc47 | (~yecinem@pd9e2d8ea.dip0.t-ipconnect.de) |
| 2025-02-28 16:18:45 +0000 | yecinem_ | (~yecinem@p57a96928.dip0.t-ipconnect.de) |
| 2025-02-28 16:20:21 +0000 | mc47 | (~yecinem@pd9e2d8ea.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-02-28 16:25:09 +0000 | Digit | (~user@user/digit) Digit |
| 2025-02-28 16:26:37 +0000 | mc47 | (~yecinem@p200300ee0f32050362285b565d2f3428.dip0.t-ipconnect.de) |
| 2025-02-28 16:27:49 +0000 | yecinem_ | (~yecinem@p57a96928.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-02-28 16:28:29 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-28 16:40:23 +0000 | mc47 | (~yecinem@p200300ee0f32050362285b565d2f3428.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-02-28 16:42:00 +0000 | mc47 | (~yecinem@p57a96f42.dip0.t-ipconnect.de) |
| 2025-02-28 16:48:39 +0000 | ash3en1 | (~Thunderbi@146.70.124.222) ash3en |
| 2025-02-28 16:50:34 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 260 seconds) |
| 2025-02-28 16:50:34 +0000 | ash3en1 | ash3en |
| 2025-02-28 16:55:45 +0000 | yecinem_ | (~yecinem@tmo-080-116.customers.d1-online.com) |
| 2025-02-28 16:56:21 +0000 | Digit | (~user@user/digit) (Quit: ERC 5.6.1-git (IRC client for GNU Emacs 31.0.50)) |
| 2025-02-28 16:57:30 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-02-28 16:59:36 +0000 | mc47 | (~yecinem@p57a96f42.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-02-28 17:00:34 +0000 | Digitteknohippie | Digit |
| 2025-02-28 17:07:05 +0000 | <haskellbridge> | <leana8959> Hello, |
| 2025-02-28 17:07:05 +0000 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/NTkXOpJyLEvbsIoWlWzYAOup/f_OrLSaMBiE (3 lines) |
| 2025-02-28 17:08:16 +0000 | <geekosaur> | you can put modules in a subdirectory `lib` and import them into `xmonad.hs` |
| 2025-02-28 17:09:43 +0000 | <geekosaur> | I don't do it currently but in the past I've had WIP contribs there |
| 2025-02-28 17:10:02 +0000 | <haskellbridge> | <leana8959> I see, I'll try that right now. Thanks :) |
| 2025-02-28 17:11:02 +0000 | <geekosaur> | https://github.com/geekosaur/xmonad.hs/tree/hilfy-2023 current setup, no submodules but organized as a cabal project |
| 2025-02-28 17:11:34 +0000 | <geekosaur> | https://github.com/geekosaur/xmonad.hs/tree/pyanfar not cabalized but has submodules |
| 2025-02-28 17:13:08 +0000 | <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 17:14:47 +0000 | <haskellbridge> | <leana8959> Yoohoo it works, thanks a lot. |
| 2025-02-28 17:14:47 +0000 | <haskellbridge> | Though, how can I get the language server to figure out where the modules are? |
| 2025-02-28 17:15:06 +0000 | <haskellbridge> | <leana8959> Right now the LSP is very angry because it don't know where to look for the modules |
| 2025-02-28 17:17:42 +0000 | <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 17:18:32 +0000 | <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 17:18:49 +0000 | ash3en | (~Thunderbi@146.70.124.222) (Quit: ash3en) |
| 2025-02-28 17:20:01 +0000 | <geekosaur> | I'm not sure if you can wedge extra GHC options into a cradle (hie.yaml) |
| 2025-02-28 17:20:42 +0000 | <haskellbridge> | <leana8959> I'll check that out, thanks |
| 2025-02-28 17:20:49 +0000 | <geekosaur> | probably a question for #haskell-language-server (either matrix or libera; they're linked the same way this channel is) |
| 2025-02-28 17:22:13 +0000 | <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 17:33:37 +0000 | yecinem_ | (~yecinem@tmo-080-116.customers.d1-online.com) (Ping timeout: 248 seconds) |
| 2025-02-28 17:59:12 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) julie_pilgrim |
| 2025-02-28 18:10:14 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-02-28 18:37:02 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2025-02-28 18:55:44 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) julie_pilgrim |
| 2025-02-28 19:15:18 +0000 | redgloboli | (~redglobol@user/redgloboli) (Ping timeout: 252 seconds) |
| 2025-02-28 19:24:38 +0000 | scardinal | (~supreme@0x573d64a9.static.cust.fastspeed.dk) (Quit: leaving) |
| 2025-02-28 19:54:19 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2025-02-28 20:00:55 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) julie_pilgrim |
| 2025-02-28 20:10:26 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2025-02-28 20:29:26 +0000 | redgloboli | (~redglobol@user/redgloboli) redgloboli |
| 2025-02-28 20:45:38 +0000 | <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 20:46:02 +0000 | <haskellbridge> | <bgamari> but admittedly it does require a full "home-manager switch" to change |
| 2025-02-28 20:46:07 +0000 | <haskellbridge> | <bgamari> * modify |
| 2025-02-28 20:46:39 +0000 | <haskellbridge> | <bgamari> however, at this point I am old and set in my ways so this isn't a problem :) |
| 2025-02-28 20:52:04 +0000 | redgloboli | (~redglobol@user/redgloboli) (Ping timeout: 260 seconds) |
| 2025-02-28 20:56:53 +0000 | ash3en | (~Thunderbi@146.70.124.222) ash3en |
| 2025-02-28 20:59:17 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-28 21:05:41 +0000 | ash3en | (~Thunderbi@146.70.124.222) (Quit: ash3en) |
| 2025-02-28 21:05:47 +0000 | redgloboli | (~redglobol@user/redgloboli) redgloboli |
| 2025-02-28 21:19:54 +0000 | redgloboli | (~redglobol@user/redgloboli) (Ping timeout: 272 seconds) |
| 2025-02-28 21:23:21 +0000 | redgloboli | (~redglobol@user/redgloboli) redgloboli |
| 2025-02-28 22:39:59 +0000 | redgloboli | (~redglobol@user/redgloboli) (Ping timeout: 260 seconds) |
| 2025-02-28 22:54:02 +0000 | redgloboli | (~redglobol@user/redgloboli) redgloboli |
| 2025-02-28 23:10:26 +0000 | redgloboli | (~redglobol@user/redgloboli) (Ping timeout: 268 seconds) |
| 2025-02-28 23:24:27 +0000 | redgloboli | (~redglobol@user/redgloboli) redgloboli |
| 2025-02-28 23:39:29 +0000 | redgloboli | (~redglobol@user/redgloboli) (Ping timeout: 248 seconds) |
| 2025-02-28 23:55:48 +0000 | redgloboli | (~redglobol@user/redgloboli) redgloboli |