Logs: liberachat/#xmonad
| 2022-10-15 16:07:32 | <dminuoso> | Well, if I use a cabal v2 style build, there might not even be an xmonad.hs to look for. |
| 2022-10-15 16:07:33 | <geekosaur> | build script is useless without a config to build, so this is not a problem |
| 2022-10-15 16:07:41 | <geekosaur> | hm? |
| 2022-10-15 16:08:13 | <dminuoso> | Or is it assumed, that if my installation is under ~/.config/xmonad, then even if I use a cabal v2 project, then it must have an xmonad.hs? |
| 2022-10-15 16:08:26 | <geekosaur> | I suppose you could do it as a package, but then cabal expects it to be in the hackage index |
| 2022-10-15 16:08:27 | <dminuoso> | That is, is the xmonad.hs the mechanism for xmonad to detect *where* to look for a build script? |
| 2022-10-15 16:08:41 | <geekosaur> | and will error out if it's not |
| 2022-10-15 16:08:46 | <geekosaur> | yes it is |
| 2022-10-15 16:08:52 | <dminuoso> | Ahh okay! I shall fix this then. |
| 2022-10-15 16:09:03 | <geekosaur> | everything is keyed off the location of the config |
| 2022-10-15 16:10:13 | <geekosaur> | https://github.com/geekosaur/xmonad.hs/tree/skkukuk is an example (there's a bunch of other files in it because I symlink those elsewhere to make things more usable) |
| 2022-10-15 16:10:54 | <dminuoso> | geekosaur: By the way, you can use `cabal list-bin` to extract the path of executable artifacts. |
| 2022-10-15 16:11:15 | <geekosaur> | yeh, I just copied that from the original which was for cabal v1 |
| 2022-10-15 16:11:30 | <dminuoso> | Fair |
| 2022-10-15 16:11:43 | <dminuoso> | Phaseditto: In that sense, Ive updated the repository to reflect these requirements. |
| 2022-10-15 16:11:58 | <geekosaur> | iirc the stack version is similarly ignoring modern stack features |
| 2022-10-15 16:12:16 | <dminuoso> | Yeah Ive already determined that I should probably prepare a modern example with documentation |
| 2022-10-15 16:12:21 | × | xtayex1 quits (~xtayex@180.160.67.85) (Ping timeout: 252 seconds) |
| 2022-10-15 16:12:24 | <dminuoso> | I feel like the cabal v2- project *should* be the default. |
| 2022-10-15 16:13:12 | <dminuoso> | Since it directly trains users to not rely on their distributions package manager, and gives more reproducible/reusable configurations. |
| 2022-10-15 16:13:45 | <geekosaur> | sadly I'm the only cabal user in the maintainers, everyone else does stack 🙂 |
| 2022-10-15 16:13:46 | <dminuoso> | Heck, xmonad could even detect the presence of a .cabal file, and perhaps assume a v2- build and do all of this itself |
| 2022-10-15 16:14:02 | <dminuoso> | Sure, I just meant "the default in case you are using cabal anyway" |
| 2022-10-15 16:14:07 | <geekosaur> | so stack is strongly recommended, in a cut-down mode that doesn't use a build scrippt |
| 2022-10-15 16:14:25 | <dminuoso> | I suppose for non-haskellers it makes sense since it gives a unified way of getting stack, ghc, and the rest. |
| 2022-10-15 16:15:26 | <geekosaur> | I did start on a detect-cabal thing but there's a cut-down cabal mechanism that uses cabal file and optional cabal.project but doesn't do a full build (you do a cabal install --lib to an environment file in the xmonad config dir) so we can't key on either for a full cabalized config |
| 2022-10-15 16:15:50 | <Solid> | dminuoso: we would certainly appreciate if xmonad "just worked" with cabal, as it does with stack at the moment :) |
| 2022-10-15 16:16:21 | <geekosaur> | https://github.com/xmonad/xmonad/pull/375 which is in draft state until I can work out something that wouldn't break the "simplified cabal" mechanism |
| 2022-10-15 16:18:12 | <geekosaur> | you're welcome to think about it and make suggestions |
| 2022-10-15 16:32:12 | → | thunderrd joins (~thunderrd@183.182.115.199) |
| 2022-10-15 16:33:11 | × | thunderrd quits (~thunderrd@183.182.115.199) (Read error: Connection reset by peer) |
| 2022-10-15 16:33:29 | → | thunderrd joins (~thunderrd@183.182.115.199) |
| 2022-10-15 17:02:50 | <dminuoso> | Honestly the strange thing is, I would rather prefer explicit configurability rather than a magic mechanism. |
| 2022-10-15 17:03:16 | <dminuoso> | That is, if I could tell xmonad "look for the build script here", and that would bypass all detection mechanisms, that'd be ideal in my opinion |
| 2022-10-15 17:04:25 | × | wonko quits (~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 246 seconds) |
| 2022-10-15 17:14:19 | <fizzie> | I don't have a `xmonad.hs` file anywhere, just a ~/.xmonad/build file, and I feel like it's been perfectly happy using that. |
| 2022-10-15 17:15:57 | <fizzie> | And https://github.com/xmonad/xmonad/blob/master/src/XMonad/Core.hs#L540-L544 looks like some sort of "xmonad.hs *or* build" logic. |
| 2022-10-15 17:51:26 | <geekosaur> | hm, maybe it is |
| 2022-10-15 17:52:06 | <geekosaur> | I don't recall that as such, I just recall the first version checked for ~/.xmonad and then XMonad.Prompt broke that badly by hardcoding ~/.xmonad for its history file |
| 2022-10-15 17:52:30 | <geekosaur> | which meant anyone trying to use xdg dirs got an unpleasant surprise next time they (re)started xmonad |
| 2022-10-15 17:54:53 | → | kora9 joins (~kora@h-98-128-228-57.NA.cust.bahnhof.se) |
| 2022-10-15 17:55:25 | <kora9> | I'm having a terribly difficult time finding the haskell logo xpm icon a lot of people use in their xmobar configs. Anyone care to link me to it? |
| 2022-10-15 17:57:56 | <dminuoso> | fizzie: ah thanks |
| 2022-10-15 18:01:55 | justVain | is now known as justache |
| 2022-10-15 18:30:41 | × | kora9 quits (~kora@h-98-128-228-57.NA.cust.bahnhof.se) (Quit: WeeChat 3.5) |
| 2022-10-15 18:31:50 | <dminuoso> | Hah I found another reason why I love xmonad. |
| 2022-10-15 18:31:57 | <dminuoso> | When my display turns off, there's no random jumping around of windows./ |
| 2022-10-15 18:32:10 | <dminuoso> | (On the other display) |
| 2022-10-15 19:36:01 | → | wonko joins (~wjc@2a0e:1c80:2:0:45:15:19:130) |
| 2022-10-15 20:03:52 | × | Forkk quits (~forkk@li926-228.members.linode.com) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-10-15 20:06:32 | → | Forkk joins (~forkk@li926-228.members.linode.com) |
| 2022-10-15 21:35:50 | × | thaumavorio quits (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-10-15 21:36:43 | → | thaumavorio joins (~thaumavor@thaumavor.io) |
| 2022-10-15 22:00:54 | × | wonko quits (~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 268 seconds) |
| 2022-10-15 22:36:31 | × | Phaseditto quits (~Phaseditt@p200300f03f3bd9008d7902a993fd5916.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2022-10-15 23:06:14 | × | tremon quits (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2022-10-16 00:39:39 | × | logzet quits (~quassel@2001:9e8:e51d:8e00:dabb:c1ff:fed3:a1b9) (Ping timeout: 250 seconds) |
| 2022-10-16 00:49:37 | → | xtayex1 joins (~xtayex@180.160.67.85) |
| 2022-10-16 01:22:30 | × | xtayex1 quits (~xtayex@180.160.67.85) (*.net *.split) |
| 2022-10-16 01:22:31 | × | banc quits (banc@gateway/vpn/airvpn/banc) (*.net *.split) |
| 2022-10-16 01:22:31 | × | Digit quits (~user@user/digit) (*.net *.split) |
| 2022-10-16 01:22:31 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (*.net *.split) |
| 2022-10-16 01:22:31 | × | sagax quits (~sagax_nb@user/sagax) (*.net *.split) |
| 2022-10-16 01:22:31 | × | darkstardevx quits (~darkstard@50.126.124.156) (*.net *.split) |
| 2022-10-16 01:22:31 | × | Maeda quits (~Maeda@91-161-10-149.subs.proxad.net) (*.net *.split) |
| 2022-10-16 01:22:31 | × | joshproehl quits (~quassel@user/joshproehl) (*.net *.split) |
| 2022-10-16 01:22:31 | × | Buliarous quits (~gypsydang@46.232.210.139) (*.net *.split) |
| 2022-10-16 01:22:31 | × | RMSBach quits (~guygastin@137.184.131.156) (*.net *.split) |
| 2022-10-16 01:22:31 | × | Jazzah quits (~jazz@user/jazzah) (*.net *.split) |
| 2022-10-16 01:22:31 | × | fcser quits (~fcser@booty.farted.net) (*.net *.split) |
| 2022-10-16 01:22:31 | × | koluacik quits (~koluacik@165.227.171.188) (*.net *.split) |
| 2022-10-16 01:22:31 | × | byorgey quits (~byorgey@155.138.238.211) (*.net *.split) |
| 2022-10-16 01:22:43 | → | byorgey joins (~byorgey@155.138.238.211) |
| 2022-10-16 01:22:46 | → | Maeda joins (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-10-16 01:23:10 | → | fcser joins (~fcser@booty.farted.net) |
| 2022-10-16 01:23:49 | → | Buliarous joins (~gypsydang@46.232.210.139) |
| 2022-10-16 01:24:19 | × | Buliarous quits (~gypsydang@46.232.210.139) (Client Quit) |
| 2022-10-16 01:25:00 | → | joshproehl joins (~quassel@user/joshproehl) |
| 2022-10-16 01:25:00 | → | RMSBach joins (~guygastin@137.184.131.156) |
| 2022-10-16 01:25:01 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 2022-10-16 01:25:01 | → | koluacik joins (~koluacik@165.227.171.188) |
| 2022-10-16 01:26:16 | → | Jazzah joins (~jazz@irradiated.plutonium.dk) |
| 2022-10-16 01:26:16 | × | Jazzah quits (~jazz@irradiated.plutonium.dk) (Changing host) |
| 2022-10-16 01:26:17 | → | Jazzah joins (~jazz@user/jazzah) |
| 2022-10-16 01:27:39 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-10-16 01:28:21 | → | xtayex1 joins (~xtayex@180.160.67.85) |
| 2022-10-16 01:48:25 | → | Buliarous joins (~gypsydang@46.232.210.139) |
| 2022-10-16 02:04:29 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 268 seconds) |
| 2022-10-16 02:24:21 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 2022-10-16 02:25:06 | × | td_ quits (~td@83.135.9.18) (Ping timeout: 260 seconds) |
| 2022-10-16 02:27:01 | → | td_ joins (~td@83.135.9.32) |
| 2022-10-16 03:17:10 | × | fjMSX quits (~hypni2p@2.92.213.55) (Remote host closed the connection) |
| 2022-10-16 03:47:47 | → | fjMSX joins (~hypni2p@2.92.213.55) |
| 2022-10-16 04:13:23 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-10-16 05:07:29 | × | xtayex1 quits (~xtayex@180.160.67.85) (Ping timeout: 252 seconds) |
| 2022-10-16 06:07:50 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2022-10-16 06:13:13 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-10-16 06:17:05 | ml|_ | is now known as ml| |
| 2022-10-16 06:23:17 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2022-10-16 06:28:40 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
All times are in UTC.