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