Logs on 2022-05-26 (liberachat/#xmonad)
| 00:25:14 | → | gymmy[m] joins (~gymmymatr@2001:470:69fc:105::2:19f7) |
| 00:58:26 | × | werneta quits (~werneta@137.79.206.133) (Ping timeout: 244 seconds) |
| 01:12:32 | → | testdrive_[m] joins (~testdrive@2001:470:69fc:105::2:6d6) |
| 01:28:30 | × | steve_ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 276 seconds) |
| 01:40:25 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 01:49:27 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 01:52:20 | → | jao joins (~jao@45.134.213.210) |
| 01:59:39 | × | stackdroid18 quits (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 01:59:54 | × | jao quits (~jao@45.134.213.210) (Ping timeout: 258 seconds) |
| 02:02:21 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 02:03:01 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 244 seconds) |
| 02:15:00 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 02:23:08 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 02:30:55 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 02:41:21 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 02:46:11 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 02:49:50 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 02:50:52 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 02:52:18 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 02:52:38 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 03:14:10 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 03:16:48 | → | jao joins (jao@gateway/vpn/protonvpn/jao) |
| 03:18:34 | → | steve_ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 03:57:12 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 258 seconds) |
| 04:03:35 | → | Scisista joins (~Scisista@27.71.84.171) |
| 04:10:02 | × | jao quits (jao@gateway/vpn/protonvpn/jao) (Ping timeout: 246 seconds) |
| 04:12:48 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 04:22:17 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 05:07:03 | × | Scisista quits (~Scisista@27.71.84.171) (Quit: Client closed) |
| 05:43:22 | → | chomwitt joins (~chomwitt@2a02:587:dc17:d600:edfa:63d8:a33:78aa) |
| 08:26:16 | <valarMorghulis[m> | I'm have installed `xmonad` using stack following this video https://www.youtube.com/watch?v=XvKAiR403O0&t=1003s... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/c9c3f4017d0f9e251b96f71f840f37abd2727a9a) |
| 08:27:48 | <valarMorghulis[m> | I install `xmonad-dbus` from AUR but I don't understand how this works, should I add this as a dependency in `stack.yaml` file? |
| 08:46:50 | <fizzie> | What I do with stack is, I've got my own config under `packages: ...` in the top-level stack.yaml, and then in that package's own .cabal file I do `build-depends: ..., dbus >=1.2 && <1.3, ...`. |
| 09:05:52 | × | Natch quits (~natch@92.34.7.158) (Remote host closed the connection) |
| 09:06:33 | <Solid> | yes you don't want to (and can't, really) mix stack and AUR packages |
| 09:08:32 | <Solid> | and you want to add xmonad-dbus to the build debends, not just dbus |
| 09:25:13 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 10:13:05 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 10:13:05 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 10:13:08 | allbery_b | is now known as geekosaur |
| 10:28:23 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 10:38:07 | ← | GerardoLisboa[m] parts (~gvlxmatri@2001:470:69fc:105::2f48) () |
| 11:13:15 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 11:48:19 | × | steve_ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 258 seconds) |
| 11:56:25 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 12:29:42 | → | steve_ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 12:49:21 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 13:47:27 | → | tremon joins (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) |
| 14:37:35 | → | dcleonarski joins (~user@2804:d51:479c:4300:c312:71c1:ee9b:86ea) |
| 14:38:12 | <dcleonarski> | a quick tip for why isn't xmonad reloading my just-recompiled binary? |
| 14:38:33 | <dcleonarski> | an ls in my ~/.xmonad reveals: lib prompt-history xmonad-x86_64-linux xmonad.errors xmonad.hi xmonad.hs xmonad.o xpm |
| 14:38:59 | <geekosaur> | how do you know it's not reloading? |
| 14:40:26 | <geekosaur> | (if you changed something in your layout, you will need to press mod-shift-space to activate it; this is because xmonad can't tell the difference between edits in your config and changes made with e.g. mod-comma) |
| 14:47:17 | <dcleonarski> | I know it's not reloading because I've changed the name of a workspace and it's not reappearing in the xmobar |
| 14:47:50 | <dcleonarski> | after changing the xmonad.hs, I type "modkey-Q", which runs: |
| 14:47:55 | <dcleonarski> | , ((modm, xK_q), spawn "xmonad --recompile; xmonad --restart") |
| 14:48:09 | <dcleonarski> | I tried to run it manually in the terminal, but no success |
| 14:50:04 | <dcleonarski> | I have a simple array of strings defining my workspaces, and then pass it forward to a xcfeConfig call like this: |
| 14:50:13 | → | TheGreenPaper joins (~Thunderbi@2001:4651:433c:0:110e:e2c8:38f7:9bb1) |
| 14:50:14 | <dcleonarski> | , workspaces = myWorkspaces |
| 14:50:36 | <dcleonarski> | it's curious because it worked the first time I ran it |
| 14:50:51 | <Solid> | AFAIK workspaces are also held inside some state |
| 14:51:09 | <Solid> | you might need to quit X and properly restart xmonad |
| 14:51:57 | <dcleonarski> | I've already restarted the OS |
| 14:52:09 | <dcleonarski> | running Arch Linux |
| 14:52:22 | <dcleonarski> | $ uname -a Linux atlantis 5.15.35-1-lts #1 SMP Wed, 20 Apr 2022 11:49:16 +0000 x86_64 GNU/Linux |
| 14:52:50 | <dcleonarski> | ~/.xmonad/xmonad.errors is empty |
| 14:58:05 | <Solid> | what happens if you run `xmonad --recompile` in a terminal? how are you starting xmonad; perhaps there is some stray executable on your system |
| 15:00:33 | <dcleonarski> | $ xmonad --recompile |
| 15:00:34 | <dcleonarski> | XMonad will use ghc to recompile, because "/home/user/.config/xmonad/build" does not exist. |
| 15:00:34 | <dcleonarski> | XMonad recompilation process exited with success! |
| 15:01:02 | <dcleonarski> | hmmmm |
| 15:01:27 | <dcleonarski> | it looks like I have to clean that .config/xmonad? |
| 15:01:36 | <dcleonarski> | the stray you mentioned |
| 15:02:29 | <geekosaur> | changing a workspace name is a bit weird because it'll usually recreate the old one during mod-q because there are existing references to it, then stick the new one at the end. but this shouldn't persist across reboots |
| 15:02:48 | <geekosaur> | arch does have some odd issues but recompile usually cleans them up |
| 15:05:51 | <Solid> | `which -a xmonad` should at least tell you about other executables |
| 15:06:44 | <dcleonarski> | wow, 2 binaries, da heck |
| 15:07:20 | <dcleonarski> | I had installed theses 3 packages using aura/pacman: xmonad xmonad-contrib xmonad-utils |
| 15:10:24 | <dcleonarski> | $ aura -Qo /usr/bin/xmonad -> /usr/bin/xmonad is owned by xmonad 0.15-182 |
| 15:10:24 | <dcleonarski> | $ aura -Qo /bin/xmonad -> /usr/bin/xmonad is owned by xmonad 0.15-182 |
| 15:11:30 | <geekosaur> | that sounds like /bin might be symlinked to /usr/bin. some distros do that |
| 15:11:46 | <geekosaur> | (the distinction between them kinda went away with large hard drives) |
| 15:13:16 | <dcleonarski> | nope, both are ELF 64-bit binaries |
| 15:13:35 | <dcleonarski> | identical BuildID[sha1] |
| 15:13:52 | <geekosaur> | right. note that it claimed /usr/bin/xmonad for both |
| 15:13:55 | <dcleonarski> | trying to figure out why the same package is giving me duplicate binaries |
| 15:14:05 | <geekosaur> | that's why I think /bin is a symlink to /usr/bin |
| 15:14:31 | <geekosaur> | https://paste.tomsmeding.com/6IiHzvm0 |
| 15:14:32 | <dcleonarski> | wow, true, didn't pay attention to the second call |
| 15:14:45 | <dcleonarski> | but why is the program "file" telling me it is a binary? |
| 15:14:57 | <dcleonarski> | ahh |
| 15:15:01 | <dcleonarski> | YES |
| 15:15:13 | <dcleonarski> | hahaha, sorry for the confusion |
| 15:15:20 | <dcleonarski> | Arch stuff |
| 15:15:26 | <geekosaur> | ubuntu does the same |
| 15:15:40 | <dcleonarski> | days ago I noticed the same pattern with "sh" |
| 15:15:42 | <geekosaur> | the distinction between the two is a historical artifact from the days of tiny hard drives |
| 15:15:53 | <dcleonarski> | hmmm, restricted path length |
| 15:16:25 | <geekosaur> | so / was just big enough to boot to the point of mounting /usr |
| 15:16:28 | <dcleonarski> | Ubuntu has symlinked "sh" to dash, whereas Arch has symlinked it to bash |
| 15:16:35 | <geekosaur> | yes |
| 15:18:16 | <dcleonarski> | in fact, I'm still trying to understand about xmonad's initialization... when I choose it in lightdm as my WM, do I need the .xinitrc calling "exec xmonad"? |
| 15:18:44 | <geekosaur> | probably not, that should use something in /usr/share/xsessions |
| 15:18:50 | <geekosaur> | but you have less control that way |
| 16:00:09 | × | ares[m] quits (~arescatgi@2001:470:69fc:105::1:cca5) (Quit: You have been kicked for being idle) |
| 16:01:30 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 16:06:45 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 16:18:12 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 16:24:20 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 16:25:54 | <valarMorghulis[m> | <fizzie> "What I do with stack is, I've..." <- Can I get any documentation on how to set up xmonad with stack? I'm new to stack |
| 16:26:24 | <valarMorghulis[m> | > <@lladeebll:matrix.org> I'm have installed `xmonad` using stack following this video https://www.youtube.com/watch?v=XvKAiR403O0&t=1003s... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/f1efc7ab89a73f6736a47fc26b17a13a7c8866ef) |
| 16:26:26 | <lambdabot> | <hint>:1:1: error: parse error on input ‘<@’ |
| 17:24:59 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 18:02:02 | Hash | is now known as stoned |
| 18:14:25 | → | aliosablack joins (~chomwitt@80.106.160.253) |
| 18:16:25 | × | chomwitt quits (~chomwitt@2a02:587:dc17:d600:edfa:63d8:a33:78aa) (Ping timeout: 244 seconds) |
| 18:52:05 | → | HAL[m] joins (~evadk8mat@2001:470:69fc:105::3ed0) |
| 19:11:39 | <Solid> | valarMorghulis[m: https://xmonad.org/INSTALL.html |
| 19:20:44 | → | rarufu[m] joins (~rarufumat@2001:470:69fc:105::9589) |
| 19:27:44 | → | stackdroid18 joins (14094@user/stackdroid) |
| 20:47:16 | → | bnchs__ joins (~bnchs@user/bnchs) |
| 20:47:21 | <bnchs__> | hey |
| 20:47:41 | <bnchs__> | how do you switch workspaces in a keyboard layout that needs shift to type numbers |
| 20:47:57 | <bnchs__> | like AZERTY |
| 20:52:48 | <geekosaur[m]> | There's an AZERTY layout in contrib |
| 20:55:16 | <bnchs__> | alright thanks |
| 21:01:14 | × | bnchs__ quits (~bnchs@user/bnchs) (Quit: Lost terminal) |
| 21:18:55 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 21:37:37 | × | MrElendig quits (~Urist@archlinux/op/MrElendig) (Quit: angering the birds) |
| 21:38:52 | → | MrElendig joins (~Urist@archlinux/op/MrElendig) |
| 22:26:31 | × | dcleonarski quits (~user@2804:d51:479c:4300:c312:71c1:ee9b:86ea) (Remote host closed the connection) |
| 22:26:39 | → | dcleonarski joins (~user@2804:d51:479c:4300:c312:71c1:ee9b:86ea) |
| 22:32:10 | × | steve_ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 22:40:16 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 22:51:47 | × | dcleonarski quits (~user@2804:d51:479c:4300:c312:71c1:ee9b:86ea) (Ping timeout: 240 seconds) |
| 23:14:44 | × | aliosablack quits (~chomwitt@80.106.160.253) (Ping timeout: 255 seconds) |
| 23:23:41 | <spider_> | hey folks, I just want to get the number of windows in the current workspace - there's this solution floating around on the internet |
| 23:23:43 | <spider_> | windowCount = gets $ Just . show . length . W.integrate' . W.stack . W.workspace . W.current . windowset |
| 23:24:05 | <spider_> | just wondering if there's a shorter/nicer way or if this is the "normal" way of doing it |
| 23:26:18 | <geekosaur> | gets $ fmap length . W.integrate' . W.stack . W.workspace . W.current . windowset |
| 23:26:35 | <geekosaur> | Ihave no idea what the rest of that is supposed to be doing |
| 23:26:50 | <geekosaur> | actually, hm, no fmap there |
| 23:27:10 | <geekosaur> | empty list if no stack, so length works as is |
| 23:27:11 | <spider_> | https://stackoverflow.com/a/62075879 |
| 23:27:14 | <spider_> | ah these ones are super short |
| 23:27:24 | <spider_> | winCount = length . W.index . windowset <$> get |
| 23:27:40 | <spider_> | yeah I wasn't sure why `Just` was shoved in |
| 23:28:30 | <geekosaur> | right, that makes sense |
| 23:28:36 | <geekosaur> | or why show was mixed in |
| 23:28:43 | <spider_> | yeah lol |
| 23:28:51 | <spider_> | time to go read the docs and see what the heck index does |
| 23:29:19 | <spider_> | O(s). Extract the stack on the current workspace, as a list. The order of the stack is determined by the master window -- it will be the head of the list. The implementation is given by the natural integration of a one-hole list cursor, back to a list. |
| 23:29:45 | <geekosaur> | unless they're after a Maybe String for ppExtras |
| 23:29:58 | <spider_> | yeah it was displayed in xmobar so it's likely |
| 23:30:35 | <spider_> | I learned some haskell and started rewriting from scratch, this time I'm trying to understand every function |
All times are in UTC on 2022-05-26.