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