Logs: liberachat/#xmonad
| 2022-03-10 06:28:57 | × | steve__ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2022-03-10 07:49:47 | → | dschrempf joins (~dominik@mobiledyn-62-240-134-189.mrsn.at) |
| 2022-03-10 07:57:48 | × | dschrempf quits (~dominik@mobiledyn-62-240-134-189.mrsn.at) (Ping timeout: 240 seconds) |
| 2022-03-10 09:14:26 | → | bfrk joins (~Thunderbi@2001:9e8:356:fe00:1928:a910:1b2f:d635) |
| 2022-03-10 09:22:34 | ArshiaAghaei[m] | sent a code block: https://libera.ems.host/_matrix/media/r0/download/libera.chat/f8b0b21f0aaa814c86121ab0e3dc4d14641d894b |
| 2022-03-10 09:22:35 | <ArshiaAghaei[m]> | I get this when using a language server on xmonad.hs |
| 2022-03-10 09:30:04 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2022-03-10 10:26:41 | × | bfrk quits (~Thunderbi@2001:9e8:356:fe00:1928:a910:1b2f:d635) (Quit: bfrk) |
| 2022-03-10 10:26:57 | → | bfrk joins (~Thunderbi@i59F7ABAD.versanet.de) |
| 2022-03-10 10:33:49 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-03-10 11:01:34 | → | benin joins (~benin@183.82.26.94) |
| 2022-03-10 11:46:25 | × | benin quits (~benin@183.82.26.94) (Remote host closed the connection) |
| 2022-03-10 11:53:07 | <liskin> | ArshiaAghaei[m]: HLS makes it hard/impossible to create a configuration that would make it work with xmonad.hs |
| 2022-03-10 11:53:36 | <liskin> | especially when one uses stack |
| 2022-03-10 12:16:46 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-03-10 12:16:48 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2022-03-10 12:16:51 | allbery_b | is now known as geekosaur |
| 2022-03-10 12:22:13 | <ArshiaAghaei[m]> | <liskin> "Arshia Aghaei: HLS makes it hard..." <- So just not use a Haskell language server for xmonad.hs? |
| 2022-03-10 12:29:50 | <geekosaur> | sad |
| 2022-03-10 12:35:13 | × | evan quits (~evan@219.136.52.90) (Quit: Leaving) |
| 2022-03-10 12:37:18 | Solid | has had absolutely no problems with using HLS or ghcide for his xmonad.hs |
| 2022-03-10 12:38:08 | geekosaur | has never tried |
| 2022-03-10 12:38:21 | <geekosaur> | I kinda never developed the habit of using IDEs |
| 2022-03-10 12:38:58 | <geekosaur> | …and have memorized enough of xmonad and contrib (not to say Xlib) that I don't need to :) |
| 2022-03-10 12:39:58 | <liskin> | Solid: possibly because it's part of a cabal project? |
| 2022-03-10 12:40:45 | <Solid> | liskin: it's a stack project, I've never really used cabal on its own |
| 2022-03-10 12:41:07 | <liskin> | geekosaur: it doesn't do much anyway, but it shows errors so one doesn't need the extra window for ghcid and can use the screen space for something else |
| 2022-03-10 12:41:18 | <liskin> | Solid: it's something.cabal isn't it? |
| 2022-03-10 12:41:52 | <liskin> | But yeah mea culpa I meant package not project |
| 2022-03-10 12:42:02 | <geekosaur> | I'd expect a cabal file (which you'd need anyway unless you went the hpack route) would be enough |
| 2022-03-10 12:42:05 | <Solid> | ah, yeah it has a .cabal file |
| 2022-03-10 12:42:50 | <geekosaur> | but yes, the quick and dirty ways to build a config won;t give HLS enough information to figure itself out |
| 2022-03-10 13:07:47 | <liskin> | I suppose I could replace some of my make machinery with a .cabal file |
| 2022-03-10 13:09:56 | <geekosaur> | or not replace, just provide enough of a cabal file for HLS to work |
| 2022-03-10 13:19:02 | → | dschrempf joins (~dominik@mobiledyn-62-240-134-171.mrsn.at) |
| 2022-03-10 13:20:23 | <Solid> | definitely replace all of the make machinery that you can :P |
| 2022-03-10 13:28:12 | <geekosaur> | enh. I mena, I'mnot a great fan of complex build systems, but there's also not breaking what already works |
| 2022-03-10 13:29:01 | <geekosaur> | especially when doing so means you can't log in afterward :) |
| 2022-03-10 13:31:08 | <Solid> | just don't log out until things work :D |
| 2022-03-10 13:31:36 | <geekosaur> | famous last words |
| 2022-03-10 13:39:38 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-03-10 13:42:12 | × | dschrempf quits (~dominik@mobiledyn-62-240-134-171.mrsn.at) (Ping timeout: 252 seconds) |
| 2022-03-10 13:46:50 | → | Hash joins (~Hash@irc.websecurity.group) |
| 2022-03-10 14:00:26 | → | dschrempf joins (~dominik@2a02:8389:100:e100:63d2:5fb6:bfcf:e59) |
| 2022-03-10 14:05:13 | × | bfrk quits (~Thunderbi@i59F7ABAD.versanet.de) (Ping timeout: 272 seconds) |
| 2022-03-10 14:05:51 | × | dschrempf quits (~dominik@2a02:8389:100:e100:63d2:5fb6:bfcf:e59) (Ping timeout: 252 seconds) |
| 2022-03-10 14:06:46 | → | dschrempf joins (~dominik@2a02:8389:100:e100:78a9:fa63:bc23:f21d) |
| 2022-03-10 14:10:50 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 256 seconds) |
| 2022-03-10 14:14:05 | <liskin> | Solid: I love my make machinery |
| 2022-03-10 14:14:58 | <liskin> | but yeah, can't really argue it's simple any more, which was my only argument against having xmonadrc.cabal |
| 2022-03-10 14:23:25 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 2022-03-10 14:34:56 | × | dschrempf quits (~dominik@2a02:8389:100:e100:78a9:fa63:bc23:f21d) (Ping timeout: 250 seconds) |
| 2022-03-10 14:55:55 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-03-10 15:02:51 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-03-10 15:05:08 | → | dschrempf joins (~dominik@2a02:8389:100:e100:9474:382a:5c78:161d) |
| 2022-03-10 15:05:40 | × | byorgey quits (~byorgey@155.138.238.211) (Quit: leaving) |
| 2022-03-10 15:18:20 | × | fcser quits (~fcser@booty.farted.net) (Excess Flood) |
| 2022-03-10 15:18:27 | → | fcser joins (~fcser@booty.farted.net) |
| 2022-03-10 15:19:32 | × | dschrempf quits (~dominik@2a02:8389:100:e100:9474:382a:5c78:161d) (Ping timeout: 252 seconds) |
| 2022-03-10 15:20:44 | → | steve__ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-03-10 15:46:13 | → | frosch03 joins (~user@2a02:c98:1003:8000:bf30:b607:4d78:5e32) |
| 2022-03-10 15:50:03 | → | bfrk joins (~Thunderbi@i59F7ABAD.versanet.de) |
| 2022-03-10 16:00:06 | × | Las[m] quits (~lasmatrix@2001:470:69fc:105::74e) (Quit: You have been kicked for being idle) |
| 2022-03-10 16:00:15 | × | liskin[m] quits (~liskinmat@2001:470:69fc:105::768) (Quit: You have been kicked for being idle) |
| 2022-03-10 16:03:53 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-03-10 16:48:14 | → | mvk joins (~mvk@2607:fea8:5cc3:7e00::45ee) |
| 2022-03-10 16:53:17 | → | seschwar joins (~seschwar@user/seschwar) |
| 2022-03-10 17:13:00 | × | frosch03 quits (~user@2a02:c98:1003:8000:bf30:b607:4d78:5e32) (Remote host closed the connection) |
| 2022-03-10 17:26:46 | → | dschrempf joins (~dominik@2a02:8389:100:e100:8314:75b7:5450:7049) |
| 2022-03-10 17:38:49 | → | benin joins (~benin@183.82.26.94) |
| 2022-03-10 17:39:45 | <benin> | Any way to compile scripts/xmonadctl.hs from xmonad-contrib with the same stack.yaml used during install? |
| 2022-03-10 17:39:58 | → | liskin[m] joins (~liskinmat@2001:470:69fc:105::768) |
| 2022-03-10 17:42:15 | <benin> | This link (https://xmonad.org/INSTALL.html#build-using-stack) is how my stack.yaml looks now. Just added XMonad.Hooks.ServerMode to my config, would be nice if this stack.yaml itself could somehow compile xmonadctl in so that it would trigger with just `xmonad --recompile` instead of compiling it separately. |
| 2022-03-10 17:43:17 | <benin> | Learning haskell as I configure, but not familiar with how stack works, any help would be nice, thanks! |
| 2022-03-10 17:47:52 | <liskin> | stack ghc should do it |
| 2022-03-10 17:48:28 | <liskin> | (and we should probably make it an executable in the cabal package, this manual building is silly) |
| 2022-03-10 17:50:15 | <geekosaur> | I think the main reason it isn't is that ServerMode is a proof of concept with a number of shortcomings |
| 2022-03-10 17:50:33 | <Solid> | mh, would `stack install` install every executable in that case or would it prompt you to specify one? |
| 2022-03-10 17:51:18 | <geekosaur> | all, I think. (cabal would ask you for a component, unless there's only one executable) |
| 2022-03-10 17:54:57 | <liskin> | hm, maybe that's why I didn't do it earlier, I vaguely remember considering it before |
| 2022-03-10 17:59:53 | <benin> | stack ghc -- --make xmonadctl.hs errors out with "could not find module Graphics.X11.Xlib and Graphics.X11.Xlib.Extras. |
| 2022-03-10 18:04:19 | <benin> | Will writing a stack.yaml in the scripts/ subdirectory and including it under packages: in the main stack.yaml work? |
| 2022-03-10 18:05:23 | <benin> | I see xmonad-contrib's stack.yaml having a extra-deps section with X11. Adding that section to scripts/stack.yaml should do no? |
| 2022-03-10 18:09:17 | <liskin> | you should run that command from the directory where you have your main stack.yaml |
| 2022-03-10 18:09:35 | <liskin> | so that's it's build using the same deps as xmonad |
| 2022-03-10 18:17:07 | <benin> | That worked, thanks. Sadly leaves the build artifacts and executable in the source dir. |
| 2022-03-10 18:30:57 | × | dschrempf quits (~dominik@2a02:8389:100:e100:8314:75b7:5450:7049) (Ping timeout: 252 seconds) |
| 2022-03-10 18:35:11 | → | td_ joins (~td@94.134.91.38) |
| 2022-03-10 18:45:06 | <benin> | Got it working with the following. Really not sure if all this is required just to add one executable to compile. |
| 2022-03-10 18:45:06 | <benin> | scripts/stack.yaml: https://pastebin.com/GsnavCtd |
| 2022-03-10 18:45:06 | <benin> | scripts/xmonadctl.cabal: https://pastebin.com/wtzwgR08 |
| 2022-03-10 18:45:06 | <benin> | Also added `- xmonad-contrib/scripts` to the base stack.yaml under packages:. |
| 2022-03-10 18:46:51 | <benin> | Well, at least now I know something about the convoluted build process in haskell /s. |
| 2022-03-10 18:46:51 | <benin> | Please check it out and lmk if I did something really stupid or if there's a better way, thanks! |
| 2022-03-10 18:47:24 | <geekosaur> | this is convoluted because you're trying to fit into a nonstandard build process |
| 2022-03-10 18:47:34 | <geekosaur> | a proper build script would be easier |
| 2022-03-10 18:50:52 | <benin> | Realized that. To be frank, this is still preferable over having .hi / .o files after running an arbitrary command (which I will most certainly forget). |
| 2022-03-10 18:51:18 | <benin> | At least this is a proper patch I can save for later. |
| 2022-03-10 18:54:39 | × | Czernobog quits (~Czernobog@user/czernobog) (Ping timeout: 272 seconds) |
| 2022-03-10 18:55:00 | → | dschrempf joins (~dominik@2a02:8389:100:e100:2fc2:81e0:5305:9797) |
All times are in UTC.