Home liberachat/#xmonad: Logs Calendar

Logs on 2022-05-19 (liberachat/#xmonad)

00:36:20 × mvk quits (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 248 seconds)
00:49:57 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
00:56:33 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
00:58:58 → stellacy joins (~user@138.199.43.80)
01:27:10 × werneta quits (~werneta@137.79.199.110) (Ping timeout: 240 seconds)
01:37:57 × benin quits (~benin@183.82.31.170) (Ping timeout: 260 seconds)
02:03:37 × banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 260 seconds)
02:19:57 × stellacy quits (~user@138.199.43.80) (Read error: Connection reset by peer)
02:22:03 → darkstardevx joins (~darkstard@50.53.212.60)
02:23:06 × darkstardevx quits (~darkstard@50.53.212.60) (Remote host closed the connection)
02:23:31 → darkstardevx joins (~darkstard@50.53.212.60)
02:24:33 → stackdroid18 joins (14094@user/stackdroid)
02:24:59 → banc joins (banc@gateway/vpn/airvpn/banc)
02:33:06 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
03:48:31 → benin joins (~benin@183.82.31.141)
04:03:01 × stackdroid18 quits (14094@user/stackdroid) (Quit: hasta la vista... tchau!)
04:03:59 × rieper quits (~riepernet@sxbeta1.geo.uni-leipzig.de) (Ping timeout: 240 seconds)
04:05:24 → rieper joins (~riepernet@sxbeta1.geo.uni-leipzig.de)
04:15:50 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds)
04:21:04 → geekosaur joins (~geekosaur@xmonad/geekosaur)
04:25:36 × steve_ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 272 seconds)
04:40:42 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 276 seconds)
05:21:41 → chomwitt joins (~chomwitt@2a02:587:dc15:4f00:5705:7cac:d13a:f9f9)
06:07:19 × benin quits (~benin@183.82.31.141) (Quit: The Lounge - https://thelounge.chat)
06:46:10 → benin joins (~benin@183.82.31.141)
07:10:10 × x88x88x quits (~x88x88x@149.28.53.172) (Remote host closed the connection)
07:15:03 → cfricke joins (~cfricke@user/cfricke)
07:37:57 → x88x88x joins (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb)
07:42:06 × chomwitt quits (~chomwitt@2a02:587:dc15:4f00:5705:7cac:d13a:f9f9) (Quit: Leaving)
08:11:42 → chomwitt joins (~chomwitt@2a02:587:dc15:4f00:5705:7cac:d13a:f9f9)
08:14:51 × abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds)
08:18:57 → dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net)
08:21:55 <lyiriyah[m]> mc47: Ah, sorry.
08:25:41 → mc47 joins (~mc47@xmonad/TheMC47)
08:35:06 × dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
08:40:54 × benin quits (~benin@183.82.31.141) (Ping timeout: 246 seconds)
08:42:57 → benin joins (~benin@183.82.31.141)
08:52:25 → dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net)
09:00:06 × evanjs[m] quits (~evanjsxma@2001:470:69fc:105::1:fc72) (Quit: You have been kicked for being idle)
09:05:30 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds)
09:34:07 × dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
09:46:05 → jlhupz joins (~jlhupz@2001:4451:a6f:a400:c3f4:8414:a6c1:98aa)
09:47:30 × jlhupz quits (~jlhupz@2001:4451:a6f:a400:c3f4:8414:a6c1:98aa) (Client Quit)
12:32:55 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
13:18:06 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds)
13:46:39 → dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net)
14:12:21 × cfricke quits (~cfricke@user/cfricke) (Ping timeout: 246 seconds)
14:38:22 × lazycat quits (~lazycat@user/lazycat) (Quit: ZNC - https://znc.in)
14:38:41 → lazycat joins (~lazycat@user/lazycat)
15:14:06 × scardinal quits (~supreme@customer-212-237-101-39.ip4.gigabit.dk) (Quit: leaving)
15:19:41 → scardinal joins (~supreme@customer-212-237-101-39.ip4.gigabit.dk)
15:21:38 → aliosablack joins (~chomwitt@ppp-2-85-47-58.home.otenet.gr)
15:23:00 × chomwitt quits (~chomwitt@2a02:587:dc15:4f00:5705:7cac:d13a:f9f9) (Ping timeout: 272 seconds)
15:28:23 × dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
15:35:37 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
15:49:02 → abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
16:18:15 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
16:52:03 → mvk joins (~mvk@2607:fea8:5ce3:8500::ba9a)
17:28:54 M-elo-[m] is now known as ChaoticMist[m]
17:31:04 ChaoticMist[m] is now known as ChaoticMistT[m]
17:39:06 × benin quits (~benin@183.82.31.141) (Quit: The Lounge - https://thelounge.chat)
19:11:44 <jao> in my xmonad.hs, how would i get the title of the focused window? i don't want a predicate, but the actual string to further process it...
19:13:22 <evilop> jao: X.M..WindowProperties is one way
19:14:31 <geekosaur> maybeTitle <- gets (W.peek . windowset)
19:14:56 <geekosaur> wait, that's just the window, sorry. you then apply WindowProperties to that
19:15:49 <jao> aha! and where does W.peek live?
19:16:04 <geekosaur> import qualified XMonad.StackSet as W
19:16:14 <jao> excellent, many thanks
19:16:14 <geekosaur> (you'll see this a fair bit)
19:17:06 <jao> (yeah, i even have that exact import in my config)
19:39:52 <jao> okay, not my day: would you please bear with me and spell out "apply WindowProperties" to that in haskell? i must be overlooking something trivial, sorry
19:41:14 <geekosaur> hm, actually I would not use that after looking at it
19:41:45 <geekosaur> maybeTitle <- fmap getStringProperty $ gets (W.peek . windowset)
19:42:05 <geekosaur> will be Nothing if the workspace is empty, or Just the title as a String
19:43:56 <geekosaur> wait, getStringProperty ois too low level
19:44:14 <jao> i was missing getStringProperty, which seems to require the display too
19:59:05 <geekosaur> asks display
19:59:19 <geekosaur> meanwhile I tried to be too clever and got myself lost :)
19:59:25 <jao> :)
20:02:36 <jao> getStringProperty also needs the name of the prop, i see
20:03:54 <geekosaur> do { d <- asks display; w <- gets (W.peek . windowset); maybe (return Nothing) (\w' -> getStringProperty d w' "WM_NAME") w }
20:03:54 <geekosaur> :: X (Maybe String)
20:04:27 <geekosaur> @pl . undo do { d <- asks display; w <- gets (W.peek . windowset); maybe (return Nothing) (\w' -> getStringProperty d w' "WM_NAME") w }
20:04:27 <lambdabot> (line 1, column 1):
20:04:27 <lambdabot> unexpected "."
20:04:27 <lambdabot> expecting white space, "()", natural, identifier, lambda abstraction or expression
20:05:44 <geekosaur> right, duh
20:05:52 <geekosaur> @. pl undo do { d <- asks display; w <- gets (W.peek . windowset); maybe (return Nothing) (\w' -> getStringProperty d w' "WM_NAME") w }
20:05:52 <lambdabot> (gets (W.peek . windowset) >>=) . maybe (return Nothing) . flip flip "WM_NAME" . getStringProperty =<< asks display
20:05:57 <geekosaur> ugh
20:10:22 <jao> yeah
20:11:09 <liskin> There must be an easier way using runQuery...
20:12:03 <geekosaur> that can still be improved a bit
20:12:42 <geekosaur> do { d <- asks display; gets (W.peek . windowset) >>= maybe (return Nothing) (\w' -> getStringProperty d w' "WM_NAME") } -- not much
20:12:46 <liskin> Hm, maybe not
20:13:02 <geekosaur> no, runQuery always assumes a window
20:13:12 <liskin> I should submit this: https://github.com/liskin/dotfiles/commit/1a1c41872a398682456a7a91f14dc5f9ca744684#diff-b4a9e6e4b8f2bbb188cb3bccda65f7695aba7ea7e88e01e82b7a021983e00899R137 to ManageHelpers
20:13:37 <liskin> Oh but yeah, you're right
20:14:09 <liskin> Running a Query on the current window needs a gets and peek too, so isn't much shorter either
20:17:32 <jao> it's a nice to have, though, many thanks!
20:46:05 × abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds)
21:14:26 × mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
21:49:01 × aliosablack quits (~chomwitt@ppp-2-85-47-58.home.otenet.gr) (Quit: Leaving)
21:56:04 → stackdroid18 joins (14094@user/stackdroid)
22:03:03 → californiatok[m] joins (~californi@2001:470:69fc:105::2:1353)
22:24:42 × californiatok[m] quits (~californi@2001:470:69fc:105::2:1353) (Quit: User was banned)
22:47:58 × stackdroid18 quits (14094@user/stackdroid) (Quit: hasta la vista... tchau!)
22:51:40 <jao> is the list of commands available in ServerMode extensible? as in, can one define custom commands?
22:52:41 <geekosaur> ServerMode is a proof of concept, not a framework; if you want to extend or change it, you get to edit source
22:54:07 <jao> thanks. i think this time wmctrl and a bit of elisp is going to be quicker.
22:56:19 <geekosaur> probably, if it's wmctrl-able
22:57:39 → stackdroid18 joins (14094@user/stackdroid)
23:01:42 <jao> i think so. i know (part of) the title of a window i want to locate and raise (from an org link) and send to it an (also computed on the fly) fake key. at worst i'll need xdotool instead (forgot i wmctrl fakes key sends).
23:02:02 <jao> if*
23:19:16 × mvk quits (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 272 seconds)
23:34:46 → benin joins (~benin@183.82.31.141)
23:52:23 → woobilicious joins (~woobilici@2001:470:69fc:105::1:4605)
23:54:35 <woobilicious> Are there any plans to port xmonad to wayland?
23:58:49 <woobilicious> waymonad seems to be neglected :-(
23:59:36 <geekosaur> we'd have to hire someone to write it. and it's not clear that wayland is stable enough yet

All times are in UTC on 2022-05-19.