Logs: liberachat/#xmonad
| 2025-02-27 07:34:26 | × | ft quits (~ft@p3e9bc68d.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-02-27 11:02:58 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-02-27 12:19:15 | × | Buliarous quits (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2025-02-27 13:08:54 | × | alp quits (~alp@2001:861:8ca0:4940:3fc9:f53:768e:69c7) (Ping timeout: 246 seconds) |
| 2025-02-27 13:34:08 | → | Digitteknohippie joins (~user@user/digit) |
| 2025-02-27 13:35:47 | × | Digit quits (~user@user/digit) (Ping timeout: 268 seconds) |
| 2025-02-27 13:49:01 | × | Miroboru quits (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal) |
| 2025-02-27 13:49:06 | → | alp joins (~alp@2001:861:8ca0:4940:58d8:cc89:9d90:c4b2) |
| 2025-02-27 14:02:23 | → | Buliarous joins (~gypsydang@46.232.210.139) |
| 2025-02-27 14:29:19 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 2025-02-27 14:29:24 | → | mc47 joins (~yecinem@host-212-114-138-22.customer.m-online.net) |
| 2025-02-27 14:29:42 | × | mc47 quits (~yecinem@host-212-114-138-22.customer.m-online.net) (Changing host) |
| 2025-02-27 14:29:42 | → | mc47 joins (~yecinem@xmonad/TheMC47) |
| 2025-02-27 14:51:13 | Digitteknohippie | is now known as Digit |
| 2025-02-27 15:28:42 | × | ElKowar quits (~ElKowar@srv-fin.xware-gmbh.de) (Quit: Ping timeout (120 seconds)) |
| 2025-02-27 15:29:07 | → | ElKowar joins (~ElKowar@srv-fin.xware-gmbh.de) |
| 2025-02-27 16:33:27 | → | ft joins (~ft@p3e9bc68d.dip0.t-ipconnect.de) |
| 2025-02-27 16:57:54 | × | mc47 quits (~yecinem@xmonad/TheMC47) (Ping timeout: 252 seconds) |
| 2025-02-27 17:40:19 | → | ash3en1 joins (~Thunderbi@146.70.124.222) |
| 2025-02-27 17:41:13 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 268 seconds) |
| 2025-02-27 17:41:14 | ash3en1 | is now known as ash3en |
| 2025-02-27 18:02:57 | × | ash3en quits (~Thunderbi@146.70.124.222) (Quit: ash3en) |
| 2025-02-27 18:59:25 | → | julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2025-02-27 19:54:13 | × | julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2025-02-27 21:09:16 | → | ash3en joins (~Thunderbi@146.70.124.222) |
| 2025-02-27 21:16:34 | → | ash3en1 joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 2025-02-27 21:18:04 | × | ash3en quits (~Thunderbi@146.70.124.222) (Ping timeout: 260 seconds) |
| 2025-02-27 21:18:04 | ash3en1 | is now known as ash3en |
| 2025-02-27 21:35:10 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2025-02-27 21:36:37 | → | haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2025-02-27 23:47:34 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-28 01:28:17 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-28 01:28:23 | → | todi1 joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 2025-02-28 01:51:33 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-02-28 02:18:28 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-02-28 03:20:16 | × | alp quits (~alp@2001:861:8ca0:4940:58d8:cc89:9d90:c4b2) (Ping timeout: 268 seconds) |
| 2025-02-28 06:02:11 | → | alp joins (~alp@2001:861:8ca0:4940:cf02:35f:1502:8681) |
| 2025-02-28 07:08:07 | × | ft quits (~ft@p3e9bc68d.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-02-28 07:53:14 | → | mc47 joins (~yecinem@p200300ee0f4dacc5524b0daa30a3d789.dip0.t-ipconnect.de) |
| 2025-02-28 07:57:32 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 2025-02-28 08:53:04 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-28 09:03:03 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 2025-02-28 09:36:31 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds) |
| 2025-02-28 10:04:44 | × | yosafbridge quits (~yosafbrid@static.38.6.217.95.clients.your-server.de) (Quit: Leaving) |
| 2025-02-28 10:25:20 | → | yosafbridge joins (~yosafbrid@static.38.6.217.95.clients.your-server.de) |
| 2025-02-28 11:52:45 | → | Miroboru joins (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 2025-02-28 12:21:19 | → | Digitteknohippie joins (~user@user/digit) |
| 2025-02-28 12:21:33 | × | Digit quits (~user@user/digit) (Ping timeout: 246 seconds) |
| 2025-02-28 12:29:48 | × | Digitteknohippie quits (~user@user/digit) (Ping timeout: 272 seconds) |
| 2025-02-28 12:35:53 | × | mc47 quits (~yecinem@p200300ee0f4dacc5524b0daa30a3d789.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-02-28 13:24:20 | → | mc47 joins (~yecinem@p200300ee0f4dac6a6c600e7726fe8c53.dip0.t-ipconnect.de) |
| 2025-02-28 13:42:44 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 2025-02-28 13:45:31 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-02-28 14:23:24 | → | ft joins (~ft@p3e9bc68d.dip0.t-ipconnect.de) |
| 2025-02-28 16:07:02 | × | mc47 quits (~yecinem@p200300ee0f4dac6a6c600e7726fe8c53.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-02-28 16:07:58 | → | mc47 joins (~yecinem@pd9e2d8ea.dip0.t-ipconnect.de) |
| 2025-02-28 16:18:45 | → | yecinem_ joins (~yecinem@p57a96928.dip0.t-ipconnect.de) |
| 2025-02-28 16:20:21 | × | mc47 quits (~yecinem@pd9e2d8ea.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-02-28 16:25:09 | → | Digit joins (~user@user/digit) |
| 2025-02-28 16:26:37 | → | mc47 joins (~yecinem@p200300ee0f32050362285b565d2f3428.dip0.t-ipconnect.de) |
| 2025-02-28 16:27:49 | × | yecinem_ quits (~yecinem@p57a96928.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-02-28 16:28:29 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 2025-02-28 16:40:23 | × | mc47 quits (~yecinem@p200300ee0f32050362285b565d2f3428.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-02-28 16:42:00 | → | mc47 joins (~yecinem@p57a96f42.dip0.t-ipconnect.de) |
| 2025-02-28 16:48:39 | → | ash3en1 joins (~Thunderbi@146.70.124.222) |
| 2025-02-28 16:50:34 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 260 seconds) |
| 2025-02-28 16:50:34 | ash3en1 | is now known as ash3en |
| 2025-02-28 16:55:45 | → | yecinem_ joins (~yecinem@tmo-080-116.customers.d1-online.com) |
| 2025-02-28 16:56:21 | × | Digit quits (~user@user/digit) (Quit: ERC 5.6.1-git (IRC client for GNU Emacs 31.0.50)) |
| 2025-02-28 16:57:30 | → | Digitteknohippie joins (~user@user/digit) |
| 2025-02-28 16:59:36 | × | mc47 quits (~yecinem@p57a96f42.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-02-28 17:00:34 | Digitteknohippie | is now known as Digit |
| 2025-02-28 17:07:05 | <haskellbridge> | <leana8959> Hello, |
| 2025-02-28 17:07:05 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/NTkXOpJyLEvbsIoWlWzYAOup/f_OrLSaMBiE (3 lines) |
| 2025-02-28 17:08:16 | <geekosaur> | you can put modules in a subdirectory `lib` and import them into `xmonad.hs` |
| 2025-02-28 17:09:43 | <geekosaur> | I don't do it currently but in the past I've had WIP contribs there |
| 2025-02-28 17:10:02 | <haskellbridge> | <leana8959> I see, I'll try that right now. Thanks :) |
| 2025-02-28 17:11:02 | <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 | <geekosaur> | https://github.com/geekosaur/xmonad.hs/tree/pyanfar not cabalized but has submodules |
| 2025-02-28 17:13:08 | <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 | <haskellbridge> | <leana8959> Yoohoo it works, thanks a lot. |
| 2025-02-28 17:14:47 | <haskellbridge> | Though, how can I get the language server to figure out where the modules are? |
| 2025-02-28 17:15:06 | <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 | <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 | <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 | × | ash3en quits (~Thunderbi@146.70.124.222) (Quit: ash3en) |
| 2025-02-28 17:20:01 | <geekosaur> | I'm not sure if you can wedge extra GHC options into a cradle (hie.yaml) |
| 2025-02-28 17:20:42 | <haskellbridge> | <leana8959> I'll check that out, thanks |
| 2025-02-28 17:20:49 | <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 | <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 | × | yecinem_ quits (~yecinem@tmo-080-116.customers.d1-online.com) (Ping timeout: 248 seconds) |
| 2025-02-28 17:59:12 | → | julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2025-02-28 18:10:14 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-02-28 18:37:02 | × | julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2025-02-28 18:55:44 | → | julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2025-02-28 19:15:18 | × | redgloboli quits (~redglobol@user/redgloboli) (Ping timeout: 252 seconds) |
| 2025-02-28 19:24:38 | × | scardinal quits (~supreme@0x573d64a9.static.cust.fastspeed.dk) (Quit: leaving) |
| 2025-02-28 19:54:19 | × | julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2025-02-28 20:00:55 | → | julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2025-02-28 20:10:26 | × | julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
All times are in UTC.