Logs: liberachat/#xmonad
| 2022-05-26 14:52:09 | <dcleonarski> | running Arch Linux |
| 2022-05-26 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 |
| 2022-05-26 14:52:50 | <dcleonarski> | ~/.xmonad/xmonad.errors is empty |
| 2022-05-26 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 |
| 2022-05-26 15:00:33 | <dcleonarski> | $ xmonad --recompile |
| 2022-05-26 15:00:34 | <dcleonarski> | XMonad will use ghc to recompile, because "/home/user/.config/xmonad/build" does not exist. |
| 2022-05-26 15:00:34 | <dcleonarski> | XMonad recompilation process exited with success! |
| 2022-05-26 15:01:02 | <dcleonarski> | hmmmm |
| 2022-05-26 15:01:27 | <dcleonarski> | it looks like I have to clean that .config/xmonad? |
| 2022-05-26 15:01:36 | <dcleonarski> | the stray you mentioned |
| 2022-05-26 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 |
| 2022-05-26 15:02:48 | <geekosaur> | arch does have some odd issues but recompile usually cleans them up |
| 2022-05-26 15:05:51 | <Solid> | `which -a xmonad` should at least tell you about other executables |
| 2022-05-26 15:06:44 | <dcleonarski> | wow, 2 binaries, da heck |
| 2022-05-26 15:07:20 | <dcleonarski> | I had installed theses 3 packages using aura/pacman: xmonad xmonad-contrib xmonad-utils |
| 2022-05-26 15:10:24 | <dcleonarski> | $ aura -Qo /usr/bin/xmonad -> /usr/bin/xmonad is owned by xmonad 0.15-182 |
| 2022-05-26 15:10:24 | <dcleonarski> | $ aura -Qo /bin/xmonad -> /usr/bin/xmonad is owned by xmonad 0.15-182 |
| 2022-05-26 15:11:30 | <geekosaur> | that sounds like /bin might be symlinked to /usr/bin. some distros do that |
| 2022-05-26 15:11:46 | <geekosaur> | (the distinction between them kinda went away with large hard drives) |
| 2022-05-26 15:13:16 | <dcleonarski> | nope, both are ELF 64-bit binaries |
| 2022-05-26 15:13:35 | <dcleonarski> | identical BuildID[sha1] |
| 2022-05-26 15:13:52 | <geekosaur> | right. note that it claimed /usr/bin/xmonad for both |
| 2022-05-26 15:13:55 | <dcleonarski> | trying to figure out why the same package is giving me duplicate binaries |
| 2022-05-26 15:14:05 | <geekosaur> | that's why I think /bin is a symlink to /usr/bin |
| 2022-05-26 15:14:31 | <geekosaur> | https://paste.tomsmeding.com/6IiHzvm0 |
| 2022-05-26 15:14:32 | <dcleonarski> | wow, true, didn't pay attention to the second call |
| 2022-05-26 15:14:45 | <dcleonarski> | but why is the program "file" telling me it is a binary? |
| 2022-05-26 15:14:57 | <dcleonarski> | ahh |
| 2022-05-26 15:15:01 | <dcleonarski> | YES |
| 2022-05-26 15:15:13 | <dcleonarski> | hahaha, sorry for the confusion |
| 2022-05-26 15:15:20 | <dcleonarski> | Arch stuff |
| 2022-05-26 15:15:26 | <geekosaur> | ubuntu does the same |
| 2022-05-26 15:15:40 | <dcleonarski> | days ago I noticed the same pattern with "sh" |
| 2022-05-26 15:15:42 | <geekosaur> | the distinction between the two is a historical artifact from the days of tiny hard drives |
| 2022-05-26 15:15:53 | <dcleonarski> | hmmm, restricted path length |
| 2022-05-26 15:16:25 | <geekosaur> | so / was just big enough to boot to the point of mounting /usr |
| 2022-05-26 15:16:28 | <dcleonarski> | Ubuntu has symlinked "sh" to dash, whereas Arch has symlinked it to bash |
| 2022-05-26 15:16:35 | <geekosaur> | yes |
| 2022-05-26 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"? |
| 2022-05-26 15:18:44 | <geekosaur> | probably not, that should use something in /usr/share/xsessions |
| 2022-05-26 15:18:50 | <geekosaur> | but you have less control that way |
| 2022-05-26 16:00:09 | × | ares[m] quits (~arescatgi@2001:470:69fc:105::1:cca5) (Quit: You have been kicked for being idle) |
| 2022-05-26 16:01:30 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-05-26 16:06:45 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-26 16:18:12 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-05-26 16:24:20 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-05-26 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 |
| 2022-05-26 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) |
| 2022-05-26 16:26:26 | <lambdabot> | <hint>:1:1: error: parse error on input ‘<@’ |
| 2022-05-26 17:24:59 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-26 18:02:02 | Hash | is now known as stoned |
| 2022-05-26 18:14:25 | → | aliosablack joins (~chomwitt@80.106.160.253) |
| 2022-05-26 18:16:25 | × | chomwitt quits (~chomwitt@2a02:587:dc17:d600:edfa:63d8:a33:78aa) (Ping timeout: 244 seconds) |
| 2022-05-26 18:52:05 | → | HAL[m] joins (~evadk8mat@2001:470:69fc:105::3ed0) |
| 2022-05-26 19:11:39 | <Solid> | valarMorghulis[m: https://xmonad.org/INSTALL.html |
| 2022-05-26 19:20:44 | → | rarufu[m] joins (~rarufumat@2001:470:69fc:105::9589) |
| 2022-05-26 19:27:44 | → | stackdroid18 joins (14094@user/stackdroid) |
| 2022-05-26 20:47:16 | → | bnchs__ joins (~bnchs@user/bnchs) |
| 2022-05-26 20:47:21 | <bnchs__> | hey |
| 2022-05-26 20:47:41 | <bnchs__> | how do you switch workspaces in a keyboard layout that needs shift to type numbers |
| 2022-05-26 20:47:57 | <bnchs__> | like AZERTY |
| 2022-05-26 20:52:48 | <geekosaur[m]> | There's an AZERTY layout in contrib |
| 2022-05-26 20:55:16 | <bnchs__> | alright thanks |
| 2022-05-26 21:01:14 | × | bnchs__ quits (~bnchs@user/bnchs) (Quit: Lost terminal) |
| 2022-05-26 21:18:55 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-05-26 21:37:37 | × | MrElendig quits (~Urist@archlinux/op/MrElendig) (Quit: angering the birds) |
| 2022-05-26 21:38:52 | → | MrElendig joins (~Urist@archlinux/op/MrElendig) |
| 2022-05-26 22:26:31 | × | dcleonarski quits (~user@2804:d51:479c:4300:c312:71c1:ee9b:86ea) (Remote host closed the connection) |
| 2022-05-26 22:26:39 | → | dcleonarski joins (~user@2804:d51:479c:4300:c312:71c1:ee9b:86ea) |
| 2022-05-26 22:32:10 | × | steve_ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2022-05-26 22:40:16 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-26 22:51:47 | × | dcleonarski quits (~user@2804:d51:479c:4300:c312:71c1:ee9b:86ea) (Ping timeout: 240 seconds) |
| 2022-05-26 23:14:44 | × | aliosablack quits (~chomwitt@80.106.160.253) (Ping timeout: 255 seconds) |
| 2022-05-26 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 |
| 2022-05-26 23:23:43 | <spider_> | windowCount = gets $ Just . show . length . W.integrate' . W.stack . W.workspace . W.current . windowset |
| 2022-05-26 23:24:05 | <spider_> | just wondering if there's a shorter/nicer way or if this is the "normal" way of doing it |
| 2022-05-26 23:26:18 | <geekosaur> | gets $ fmap length . W.integrate' . W.stack . W.workspace . W.current . windowset |
| 2022-05-26 23:26:35 | <geekosaur> | Ihave no idea what the rest of that is supposed to be doing |
| 2022-05-26 23:26:50 | <geekosaur> | actually, hm, no fmap there |
| 2022-05-26 23:27:10 | <geekosaur> | empty list if no stack, so length works as is |
| 2022-05-26 23:27:11 | <spider_> | https://stackoverflow.com/a/62075879 |
| 2022-05-26 23:27:14 | <spider_> | ah these ones are super short |
| 2022-05-26 23:27:24 | <spider_> | winCount = length . W.index . windowset <$> get |
| 2022-05-26 23:27:40 | <spider_> | yeah I wasn't sure why `Just` was shoved in |
| 2022-05-26 23:28:30 | <geekosaur> | right, that makes sense |
| 2022-05-26 23:28:36 | <geekosaur> | or why show was mixed in |
| 2022-05-26 23:28:43 | <spider_> | yeah lol |
| 2022-05-26 23:28:51 | <spider_> | time to go read the docs and see what the heck index does |
| 2022-05-26 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. |
| 2022-05-26 23:29:45 | <geekosaur> | unless they're after a Maybe String for ppExtras |
| 2022-05-26 23:29:58 | <spider_> | yeah it was displayed in xmobar so it's likely |
| 2022-05-26 23:30:35 | <spider_> | I learned some haskell and started rewriting from scratch, this time I'm trying to understand every function |
| 2022-05-27 00:02:20 | tremon | is now known as tremon_ |
| 2022-05-27 00:51:17 | × | stackdroid18 quits (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-05-27 00:54:45 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-05-27 00:56:17 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-27 01:10:00 | → | benin joins (~benin@183.82.205.79) |
| 2022-05-27 01:31:15 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-05-27 01:34:35 | × | bla quits (~bla@79.191.246.243.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds) |
| 2022-05-27 01:36:03 | → | bla joins (~bla@79.191.250.31.ipv4.supernova.orange.pl) |
All times are in UTC.