Logs on 2023-01-22 (liberachat/#xmonad)
| 00:00:04 | <trevdev[m]> | dmenuRun m = safeSpawn "dmenu_run" $ baseMenuFlags ++ menuSelectBg "#ABDC88" ++ verticalMenu "10" |
| 00:01:58 | <geekosaur[m]> | what's m for? |
| 00:02:22 | <trevdev[m]> | Probably not required, it's rot |
| 00:04:09 | <trevdev[m]> | Actually no, "ambiguous type variable m0 arrising from safeSpawn" |
| 00:04:10 | <trevdev[m]> | It does something |
| 00:04:18 | <trevdev[m]> | Or is supposed to |
| 00:06:17 | <geekosaur[m]> | I'm not sure that's related; it sounds more like safeSpawn can't figure out what MonadIO instance to use. but if you're calling it in a keybinding, it should know to use X |
| 00:10:16 | <geekosaur[m]> | oh, I see. without either it or a type signature, the monomorphism restriction bites you |
| 00:10:24 | <geekosaur[m]> | I'd just add a type signature |
| 00:11:18 | <geekosaur[m]> | `dmenuRun :: MonadIO m => m ()` |
| 00:12:12 | <geekosaur[m]> | or dmenuRun :: X () |
| 00:26:33 | × | ghormoon quits (~ghormoon@ghorland.net) (Ping timeout: 252 seconds) |
| 01:03:26 | → | ghormoon joins (~ghormoon@ghorland.net) |
| 01:07:15 | <trevdev[m]> | I'll give it a shot when I get home. Thanks geekosaur @geekosaur:matrix.org: ! |
| 03:03:31 | × | banc quits (banc@gateway/vpn/protonvpn/banc) (Ping timeout: 268 seconds) |
| 03:24:12 | → | banc joins (banc@gateway/vpn/protonvpn/banc) |
| 03:38:04 | <HB[m]> | Hi guys, how's everyone doing? 🙂 |
| 03:39:00 | <HB[m]> | I'm having a bit of trouble building xmobar with stack, latest version. |
| 03:39:01 | <HB[m]> | I pull the git repo in ~/.config/xmonad/xmobar and add -xmobar in my stack.yml and then stack build and I get errors |
| 03:41:39 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:4e8c::) (Quit: The Lounge - https://thelounge.chat) |
| 03:43:47 | <HB[m]> | * I'm having a bit of trouble building xmobar with stack, latest version. |
| 03:43:47 | <HB[m]> | I pull the git repo in ~/.config/xmonad/xmobar and add -xmobar in my stack.yml and then stack build and I get errors. |
| 03:43:47 | <HB[m]> | Oh, nm. Git repo moved. |
| 03:43:55 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:4e8c::) |
| 03:51:14 | × | td_ quits (~td@83.135.9.44) (Ping timeout: 260 seconds) |
| 03:52:51 | → | td_ joins (~td@83.135.9.13) |
| 04:07:09 | → | abhixec joins (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 04:09:03 | <HB[m]> | * I'm having a bit of trouble building xmobar with stack, latest version. |
| 04:09:03 | <HB[m]> | I pull the git repo in ~/.config/xmonad/xmobar and add -xmobar in my stack.yml and then stack build and I get errors. |
| 04:09:03 | <HB[m]> | Oh, nm. Git repo moved. |
| 04:09:03 | <HB[m]> | Changed to the new font format. xmobar is no longer from ubuntu repos. |
| 04:15:07 | × | rundown quits (~defjam@2a02:c7e:2807:b900:6c7a:2207:d06b:87cb) (Ping timeout: 248 seconds) |
| 04:20:21 | <trevdev[m]> | <geekosaur[m]> "I'd just add a type signature" <- Ok wow, so explicitly adding a signature rather than inferring it made the difference. No need for `m`, nor to call the function in the XMonad config. The results at runtime are the same. Fascinating to see how one detail can change the shape of the linter's expectations |
| 04:21:03 | <trevdev[m]> | O perhaps even the behavior of the code ?? |
| 04:21:15 | <trevdev[m]> | s/O/Or/, s/behavior/behaviour/ |
| 04:56:14 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 06:20:10 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 06:25:59 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 06:26:56 | × | abhixec quits (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 07:06:55 | → | ElKowar7 joins (~ElKowar@srv-fin.xware-gmbh.de) |
| 07:09:21 | → | Forkk_ joins (~forkk@li926-228.members.linode.com) |
| 07:10:13 | → | td__ joins (~td@83.135.9.13) |
| 07:11:36 | → | gauge_ joins (~gauge@user/gauge) |
| 07:14:55 | × | td_ quits (~td@83.135.9.13) (*.net *.split) |
| 07:14:55 | × | xmonadtrack quits (~xmonadtra@xmonad/geekosaur) (*.net *.split) |
| 07:14:56 | × | Solitary quits (~Solitary@user/solitary) (*.net *.split) |
| 07:14:56 | × | Forkk quits (~forkk@li926-228.members.linode.com) (*.net *.split) |
| 07:14:56 | × | wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split) |
| 07:14:56 | × | gauge quits (~gauge@user/gauge) (*.net *.split) |
| 07:14:56 | × | byorgey quits (~byorgey@155.138.238.211) (*.net *.split) |
| 07:14:56 | × | ElKowar quits (~ElKowar@srv-fin.xware-gmbh.de) (*.net *.split) |
| 07:15:03 | ElKowar7 | is now known as ElKowar |
| 07:19:45 | → | byorgey joins (~byorgey@155.138.238.211) |
| 07:20:03 | → | xmonadtrack joins (~xmonadtra@069-135-003-034.biz.spectrum.com) |
| 07:20:04 | × | xmonadtrack quits (~xmonadtra@069-135-003-034.biz.spectrum.com) (Changing host) |
| 07:20:04 | → | xmonadtrack joins (~xmonadtra@xmonad/geekosaur) |
| 07:21:20 | → | wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de) |
| 07:21:27 | <geekosaur[m]> | look up the monomorphism restriction |
| 07:23:37 | → | Solitary joins (~Solitary@user/solitary) |
| 07:35:45 | → | qbt joins (~qbt@user/edun) |
| 07:36:04 | × | qbt quits (~qbt@user/edun) (Client Quit) |
| 11:30:50 | × | haskl quits (~haskl@user/haskl) (Read error: Connection reset by peer) |
| 11:32:39 | → | haskl joins (~haskl@user/haskl) |
| 11:51:27 | × | Solitary quits (~Solitary@user/solitary) (Quit: All work and no play makes Jack a dull boy.) |
| 11:55:09 | → | Solitary joins (~Solitary@user/solitary) |
| 12:46:43 | → | tremon joins (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) |
| 13:05:06 | → | rundown joins (~defjam@2a02:c7e:2807:b900:6c7a:2207:d06b:87cb) |
| 13:19:55 | × | yaslam quits (~yaslam@user/yaslam) (Remote host closed the connection) |
| 13:20:19 | → | yaslam joins (~yaslam@user/yaslam) |
| 13:35:55 | × | Digit quits (~user@user/digit) (Read error: Connection reset by peer) |
| 13:40:34 | → | Digit joins (~user@user/digit) |
| 13:51:39 | × | rundown quits (~defjam@2a02:c7e:2807:b900:6c7a:2207:d06b:87cb) (Ping timeout: 248 seconds) |
| 14:24:52 | → | rundown joins (~defjam@2a02:c7e:2807:b900:6c7a:2207:d06b:87cb) |
| 15:30:31 | × | rundown quits (~defjam@2a02:c7e:2807:b900:6c7a:2207:d06b:87cb) (Ping timeout: 260 seconds) |
| 15:34:03 | → | rundown joins (~defjam@2a02:c7e:2807:b900:6c7a:2207:d06b:87cb) |
| 15:52:47 | <trevdev[m]> | Turns out I had some caching going on and my functions linted fine but didn't actually work. I think I am learning that xmonad on nixos is weird. |
| 15:54:28 | <trevdev[m]> | I moved my modules to the .config/xmonad/lib folder instead of just the same folder as xmonad.hs. Pretty sure they're picked up now but the haskell-language-server can't figure out where they are now |
| 15:55:43 | <trevdev[m]> | Reading suggests using (and learning) stack may fix that, but that would defeat the purpose of using nixos in the first place so I am not really able to trust the language server atm |
| 16:00:08 | × | unclechu quits (~unclechu@2001:470:69fc:105::354) (Quit: You have been kicked for being idle) |
| 16:09:12 | <[Leary]> | trevdev[m]: It's low-tech compared to HLS, but on my NixOS setup I use ghcid via alias ghcidx='ghcid --command "$XMONAD_GHC"i" -i$HOME/.config/xmonad/lib -Wall $HOME/.config/xmonad/xmonad.hs"' |
| 16:09:26 | → | unclechu joins (~unclechu@2001:470:69fc:105::354) |
| 16:12:01 | <[Leary]> | If you really want to use HLS, you probably just need a cabal file to help it understand the structure of the project (telling it that xmonad.hs is Main and lib is your source dir, etc). But I don't use it myself, so don't quote me on that. |
| 16:52:37 | <trevdev[m]> | From a learning standpoint the LSP is a valuable tool. HLS in particular has taught me things that I probably would not have looked up! |
| 16:53:43 | <trevdev[m]> | I don't know how to configure Cabal and if it involves declaring literally everything down to where xmonad/contrib are on nix then its a whole thing |
| 16:58:47 | × | gknux quits (~gknux@user/galaxy-knuckles/x-3015990) (Quit: ....and i am outta here....) |
| 17:00:28 | → | gknux joins (~gknux@user/galaxy-knuckles/x-3015990) |
| 17:01:40 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 17:02:32 | <[Leary]> | I haven't tried, but in a `cabal.project` file you could set `with-compiler` to the value of $XMONAD_GHC. That should make the versions of xmonad and xmonad-contrib you're using available, such that cabal prefers them over fetching and building different versions from hackage. |
| 17:05:33 | × | gknux quits (~gknux@user/galaxy-knuckles/x-3015990) (Quit: ....and i am outta here....) |
| 17:08:17 | → | gknux joins (~gknux@user/galaxy-knuckles/x-3015990) |
| 17:08:39 | × | rundown quits (~defjam@2a02:c7e:2807:b900:6c7a:2207:d06b:87cb) (Ping timeout: 265 seconds) |
| 17:23:32 | <trevdev[m]> | I'll give it a shot later, thanks! |
| 18:04:56 | → | rundown joins (~defjam@2a02:c7e:2807:b900:6c7a:2207:d06b:87cb) |
| 18:23:57 | → | escobear joins (~gknux@user/galaxy-knuckles/x-3015990) |
| 18:24:08 | × | gknux quits (~gknux@user/galaxy-knuckles/x-3015990) (Ping timeout: 260 seconds) |
| 18:24:49 | escobear | is now known as gknux |
| 20:34:19 | × | rundown quits (~defjam@2a02:c7e:2807:b900:6c7a:2207:d06b:87cb) (Ping timeout: 260 seconds) |
| 20:46:36 | → | rundown joins (~defjam@2a02:c7e:2807:b900:6c7a:2207:d06b:87cb) |
| 20:50:46 | → | abhixec joins (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 21:00:51 | × | yaslam quits (~yaslam@user/yaslam) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:01:35 | → | yaslam joins (~yaslam@user/yaslam) |
| 23:46:54 | <trevdev[m]> | So I gave up on createProcess and XMonad.Util.Run and fully regressed back into just concatenating strings for keybinding shell commands. I wanted a way to use the same color for my theme in my dmenu scripts as I do in everything else. My original issue was "if cli args for dmenu need to be wrapped in single quotes, but menuArgs require that they do not, how do I use the same colors for both?" Well in my case, the answer is, "you don't" |
| 23:46:54 | <trevdev[m]> | https://paste.debian.net/1268166/ |
| 23:48:12 | <trevdev[m]> | At least I mapped the same data versus 2 different variables. I think this is cleaner |
| 23:51:09 | <geekosaur> | cli args should be find with double quotes unless they include dollar signs, in which case `show` may be a cheaty way to get what you want |
| 23:51:22 | × | tremon quits (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 23:56:19 | <geekosaur> | > text "#32af4b" |
| 23:56:21 | <lambdabot> | #32af4b |
| 23:56:29 | <geekosaur> | > text $ show "#32af4b" |
| 23:56:31 | <lambdabot> | "#32af4b" |
| 23:56:46 | <geekosaur> | (`text` is a lambdabot-ism) |
All times are in UTC on 2023-01-22.