Home liberachat/#xmonad: Logs Calendar

Logs on 2022-07-13 (liberachat/#xmonad)

00:13:15 → mvk joins (~mvk@2607:fea8:5ce3:8500::909a)
01:37:03 → abhinav joins (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net)
02:04:09 × banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 272 seconds)
02:22:51 → banc joins (banc@gateway/vpn/airvpn/banc)
02:26:50 × td_ quits (~td@94.134.91.223) (Ping timeout: 244 seconds)
02:28:59 → td_ joins (~td@muedsl-82-207-238-241.citykom.de)
02:34:33 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
02:42:38 × wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 255 seconds)
02:56:07 → sagax joins (~sagax_nb@user/sagax)
03:05:05 × steve__ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 244 seconds)
03:38:59 × tjmciver_ quits (~tjmciver@cpe-172-101-32-70.maine.res.rr.com) (Remote host closed the connection)
03:39:19 → tjmciver_ joins (~tjmciver@cpe-172-101-32-70.maine.res.rr.com)
03:40:50 → tjmciver__ joins (~tjmciver@cpe-172-101-32-70.maine.res.rr.com)
03:40:50 × tjmciver_ quits (~tjmciver@cpe-172-101-32-70.maine.res.rr.com) (Read error: Connection reset by peer)
03:42:18 → tjmciver_ joins (~tjmciver@cpe-172-101-32-70.maine.res.rr.com)
03:42:18 × tjmciver__ quits (~tjmciver@cpe-172-101-32-70.maine.res.rr.com) (Read error: Connection reset by peer)
04:27:28 → dschrempf joins (~dominik@mobiledyn-62-240-134-33.mrsn.at)
05:18:10 × rieper quits (~riepernet@webmirror.geo.uni-leipzig.de) (Ping timeout: 240 seconds)
05:22:31 × sagax quits (~sagax_nb@user/sagax) (Quit: Konversation terminated!)
05:24:15 × wusticality quits (~wusticali@c-67-161-204-49.hsd1.co.comcast.net) (Quit: Client closed)
05:29:44 → pok_ joins (~pok@41.157.227.24)
05:37:29 → rieper joins (~riepernet@webmirror.geo.uni-leipzig.de)
05:38:51 × pok_ quits (~pok@41.157.227.24) (Ping timeout: 272 seconds)
06:02:48 × dschrempf quits (~dominik@mobiledyn-62-240-134-33.mrsn.at) (Ping timeout: 244 seconds)
06:20:08 → alternateved joins (~alternate@5.253.206.53)
06:30:30 → steve__ joins (~steve@ool-182c2b80.dyn.optonline.net)
06:40:31 → benin0 joins (~benin@183.82.29.162)
07:05:54 × alternateved quits (~alternate@5.253.206.53) (Remote host closed the connection)
07:08:18 → alternateved joins (~alternate@5.253.206.53)
07:24:21 × abhinav quits (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
07:49:57 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 272 seconds)
07:52:29 → chomwitt joins (~chomwitt@2a02:587:dc0d:4a00:99fe:ae00:5424:6d23)
07:55:19 → geekosaur joins (~geekosaur@xmonad/geekosaur)
08:06:12 × alternateved quits (~alternate@5.253.206.53) (Remote host closed the connection)
08:06:31 → alternateved joins (~alternate@5.253.206.53)
08:14:39 × benin0 quits (~benin@183.82.29.162) (Ping timeout: 272 seconds)
08:17:24 × chomwitt quits (~chomwitt@2a02:587:dc0d:4a00:99fe:ae00:5424:6d23) (Ping timeout: 276 seconds)
08:22:44 × thaumavorio quits (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in)
08:24:01 → thaumavorio joins (~thaumavor@thaumavor.io)
08:34:12 × mvk quits (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 244 seconds)
09:10:21 → wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de)
09:36:32 → mc47 joins (~mc47@xmonad/TheMC47)
10:33:42 → cfricke joins (~cfricke@user/cfricke)
12:31:34 → dschrempf joins (~dominik@mobiledyn-62-240-134-33.mrsn.at)
13:03:20 → mvk joins (~mvk@2607:fea8:5ce3:8500::909a)
13:19:18 → chomwitt joins (~chomwitt@2a02:587:dc0d:4a00:2f00:f9a4:8560:d503)
13:50:45 × cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.5)
14:45:30 × mvk quits (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 240 seconds)
14:56:21 × chomwitt quits (~chomwitt@2a02:587:dc0d:4a00:2f00:f9a4:8560:d503) (Remote host closed the connection)
14:56:42 → chomwitt joins (~chomwitt@2a02:587:dc0d:4a00:deae:e1cf:72:7368)
15:11:27 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
15:40:30 stoned is now known as Hash
15:56:07 × dschrempf quits (~dominik@mobiledyn-62-240-134-33.mrsn.at) (Quit: WeeChat 3.5)
15:57:36 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 276 seconds)
15:59:43 → geekosaur joins (~geekosaur@xmonad/geekosaur)
16:24:15 × chomwitt quits (~chomwitt@2a02:587:dc0d:4a00:deae:e1cf:72:7368) (Ping timeout: 276 seconds)
16:27:10 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds)
16:32:36 → geekosaur joins (~geekosaur@xmonad/geekosaur)
16:54:50 → chomwitt joins (~chomwitt@2a02:587:dc0d:4a00:dd89:2ce:aa76:b885)
17:01:38 → allbery_b joins (~geekosaur@xmonad/geekosaur)
17:01:38 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
17:01:41 allbery_b is now known as geekosaur
17:17:09 × jeeeun quits (~jeeeun@78.40.148.178) (Quit: The Lounge - https://thelounge.chat)
17:19:05 → jeeeun joins (~jeeeun@78.40.148.178)
17:49:00 × jeeeun quits (~jeeeun@78.40.148.178) (Quit: The Lounge - https://thelounge.chat)
17:53:30 → jeeeun joins (~jeeeun@78.40.148.178)
17:54:05 <cidra[m]> Hey guys can you see xmonad docs via lsp? It seems that i can't
17:54:40 → wusticality joins (~wusticali@c-67-161-204-49.hsd1.co.comcast.net)
17:55:03 <cidra[m]> If i do stack haddock --open xmonad i can see the docs, but on vscode i see no docs through autocompletion
17:55:05 <geekosaur> I have heard this before but I don't use lsp so don't have any personal experience
18:06:05 → gormulent joins (~gormulent@c-67-161-204-49.hsd1.co.comcast.net)
18:09:10 × gormulent quits (~gormulent@c-67-161-204-49.hsd1.co.comcast.net) (Client Quit)
18:13:05 <zawaken> lsp with hls in neovim works for haskell, but not for xmonad specific haskell in my experience
18:14:48 → wusticality1 joins (~user@c-67-161-204-49.hsd1.co.comcast.net)
18:15:26 <cidra[m]> :( that sucks
18:16:48 <wusticality> in general, lsp-mode is pretty awesome
18:16:52 <wusticality> I use it for rust / golang
18:20:15 <zawaken> seems I might have set up my hie.yaml file wrong, but I am not sure about that at all.
18:23:40 <zawaken> setting my hie.yaml up with the second one here, seems to make it come up with lsp entries for xmonad.
18:23:45 <zawaken> http://ix.io/44hc
18:27:56 <liskin> there's no way to write a hie.yaml that would work with ~/.xmonad/xmonad.hs without also having a something.cabal and possibly also cabal.project/stack.yaml somewhere
18:28:24 <liskin> (well maybe there is but it involves some very advanced ghc/envvar hackery that nobody ever really bothered to figure out)
18:28:33 <liskin> this is unfortunately a limitation of hls/hie
18:30:04 <zawaken> yeah I have a stack.yaml in the same directory as well (.config/xmonad)
18:31:46 <liskin> good, you're like 40% there 👍 :-)
18:31:50 <liskin> maybe 30.
18:32:48 <liskin> oh actually with that hie.yaml it might just do something…
18:33:20 <liskin> it's not entirely kosher, but… :-)
18:34:05 <zawaken> Yeah it seems to output something, tested with clickJustFocuses, and it showed up as "clickJustFocuses [LSP]" in cmp-nvim-lsp
18:34:26 <zawaken> What would be the kosher way of setting up that hie.yaml?
18:40:14 <wusticality> anyone know if there's a cooler way to show an overlay for things like the current time, etc. - maybe via a scratchpad?
18:40:17 <wusticality> I saw tty-time
18:40:24 <wusticality> I find xmobar uses too much space
18:40:38 <wusticality> kinda like a way to do widgets that you can show / hide in the center of the screen
18:41:14 <zawaken> eww might be something worth looking at https://github.com/elkowar/eww
18:41:26 <geekosaur> https://github.com/geekosaur/xmonad.hs/blob/pyanfar/xmonad.hs#L107-L110
18:41:58 <geekosaur> although I needed to define a custom app-defaults file to set the colors correctly iirc; would need to dig that out of a backup
18:42:00 <wusticality> fascinating, I'll take a look
18:43:06 <zawaken> I think geekosaur's implementation in a scratchpad might be better than eww though
18:43:14 <geekosaur> stuck a digital clock at the top right of my monitor, which put it in a place that was usually empty
18:49:40 <geekosaur> hm, nope, looks like I just used the usual dclock app-defaults
18:51:20 <geekosaur> eww certainly looks fancier (and more mac-like)
18:53:07 <zawaken> there are many great examples of its capabilities on r/unixporn
18:54:07 <zawaken> I currently use eww as my bar instead of polybar/xmobar
18:56:00 <geekosaur> dear vs code, whatever in the world made you conclude I'm on arm64?
18:56:41 <geekosaur> flip side I guess I'm protected against at least some exploits 😈
19:24:15 <geekosaur> so it took a ridiculous amount of time for vs code to process my xmonad.hs, but it seems to be working without an hie.yaml. then again, I have a full cabal setup
19:24:45 <geekosaur> (https://github.com/geekosaur/xmonad.hs/blob/skkukuk)
19:25:51 <zawaken> that link seems to be broken.
19:26:13 <geekosaur> hm, I chopped that off a working link, but probably github doesn't work that way
19:26:24 <geekosaur> https://github.com/geekosaur/xmonad.hs/tree/skkukuk
19:26:27 <zawaken> yea tree instead of blob
19:28:08 <zawaken> https://github.com/Zawaken/dotfiles/tree/master/.config/xmonad here's my xmonad directory. the "install_xmonad_with_stack.sh" is redundant there though
19:30:18 <zawaken> xmonad.hs isn't very pretty though
19:33:34 <zawaken> do you use any vscode plugins to get linting/lsp then or does it just work without the hie.yaml?
19:34:15 <geekosaur> I installed the recommended Haskell plugin
19:34:47 <zawaken> Ah
19:34:56 <geekosaur> I presume that since I have a full cabal setup the default cradle works fine
19:37:08 <geekosaur> not getting hinting I think, but I didn't install hlint
19:37:25 <zawaken> that makes sense, I just have a very barebones stack setup in mine, used to compile xmonad with
19:39:12 <zawaken> I am VERY new to haskell, though I've used xmonad for a year or so, only now starting to try learning haskell
20:01:20 <wusticality> here's a question - what's the best way to increase keypress repeat speed when using xmonad? also, is there some way to start xmonad with the numlock on? I always have to turn it on manually which is a bit frustrating
20:03:55 <geekosaur> xset r rate … (see the xset manpage)
20:04:02 <zawaken> seems like the numlock part is earily done with numlockx
20:04:21 <geekosaur> numlock on/off is that, or configurable in xorg.conf
20:04:41 <zawaken> just install numlockx and chuck "numlockx &" in startx
20:04:49 <zawaken> xinitrc**
20:05:03 <geekosaur> they're using a different setup
20:05:36 <geekosaur> ~/.xmonad/xmonad-session-rc
20:05:47 <geekosaur> make sure you have it backgrounded
20:06:04 <zawaken> Could probably add it as a spawnOnce in xmonad as well
20:07:39 <zawaken> yeah I just assume everyone who uses window managers use xorg-xinit to start x, sorry about that
20:08:18 <zawaken> assumption based on how I do it.
20:15:15 × wusticality quits (~wusticali@c-67-161-204-49.hsd1.co.comcast.net) (Quit: Client closed)
20:43:49 × noex_ quits (~null@2600:8804:14e0:104:8804:14e0:104:0) (Quit: :q!)
21:00:13 × mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
21:06:26 → noex joins (~null@user/noex)
21:11:44 → quarkQuark[m] joins (~quarkquar@2001:470:69fc:105::2:46e2)
21:18:43 × [Leary] quits (~Leary]@122-58-224-198-vdsl.sparkbb.co.nz) (Ping timeout: 272 seconds)
21:37:29 → mvk joins (~mvk@2607:fea8:5ce3:8500::909a)
22:02:02 × alternateved quits (~alternate@5.253.206.53) (Remote host closed the connection)
22:07:56 × mvk quits (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 244 seconds)
22:41:00 → mvk joins (~mvk@2607:fea8:5ce3:8500::909a)
23:07:16 tjmciver_ is now known as tjmciver

All times are in UTC on 2022-07-13.