Logs on 2022-06-12 (liberachat/#xmonad)
| 01:34:47 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 244 seconds) |
| 01:37:59 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 02:05:12 | × | banc- quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 276 seconds) |
| 02:14:37 | × | td_ quits (~td@muedsl-82-207-238-090.citykom.de) (Ping timeout: 246 seconds) |
| 02:16:41 | → | td_ joins (~td@94.134.91.177) |
| 02:22:44 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 03:58:43 | → | steve__ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 04:30:46 | → | thunderrd joins (~thunderrd@183.182.110.241) |
| 04:58:09 | → | spaceseller joins (~spacesell@31.147.205.13) |
| 05:07:21 | × | spaceseller quits (~spacesell@31.147.205.13) (Read error: Connection reset by peer) |
| 05:07:35 | → | spaceseller joins (~spacesell@31.147.205.13) |
| 05:10:45 | <spaceseller> | Recieve my appoligies because I borther you with xmobar startup after new xmonad version. The issue was not connnected with the path or xmonad as well. It was xmobarrc config file, I think something with volume control updating or some else. It doesn't matter. |
| 05:13:28 | × | steve__ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 05:26:02 | × | spaceseller quits (~spacesell@31.147.205.13) (Quit: Leaving) |
| 05:59:32 | <Solid[m]> | liskin: https://tikzit.github.io/ |
| 08:16:04 | × | yosafbridge quits (~yosafbrid@static.38.6.217.95.clients.your-server.de) (Quit: Leaving) |
| 08:21:42 | → | yosafbridge joins (~yosafbrid@static.38.6.217.95.clients.your-server.de) |
| 08:44:53 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 255 seconds) |
| 08:45:11 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::ba9a) |
| 09:05:04 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 258 seconds) |
| 09:15:13 | → | alternateved joins (~alternate@45.134.212.182) |
| 11:07:44 | × | alternateved quits (~alternate@45.134.212.182) (Remote host closed the connection) |
| 11:08:05 | → | alternateved joins (~alternate@45.134.212.182) |
| 11:20:28 | → | lternateveda joins (~alternate@45.134.212.182) |
| 11:20:45 | × | lternateveda quits (~alternate@45.134.212.182) (Remote host closed the connection) |
| 11:28:34 | × | alternateved quits (~alternate@45.134.212.182) (Remote host closed the connection) |
| 12:35:59 | <geekosaur> | whoops :) |
| 13:28:31 | → | steve__ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 14:07:23 | → | alternateved joins (~alternate@45.134.212.182) |
| 14:10:20 | → | jao joins (~jao@40.red-79-159-140.dynamicip.rima-tde.net) |
| 14:20:21 | × | jao quits (~jao@40.red-79-159-140.dynamicip.rima-tde.net) (Ping timeout: 276 seconds) |
| 14:45:09 | → | Aura1337 joins (~Aura1337@2601:5cc:c800:e450::55e9) |
| 14:46:17 | <Aura1337> | Hey everyone, im kinda new to xmonad and was wondering how I would make it so that moving/resizing a window with my mouse not make the window into a floating one, thanks in advance :) |
| 14:46:53 | <geekosaur> | that kinda contradicts the whole "tiling window manager" thing |
| 14:47:24 | <geekosaur> | there's MouseResizableTile but there are strict limits on what you can do with a tiled window while leaving it tiled |
| 14:47:31 | <Aura1337> | i see |
| 14:47:34 | <geekosaur> | since that's kinda the point |
| 14:47:48 | <Aura1337> | so this is intentional? im used to resizing my windows with my mouse |
| 14:48:17 | <Aura1337> | and whenever i do that on xmonad, it makes the window float and i don't like that |
| 14:48:20 | <geekosaur> | yes. you'll find other tiling window managers behave the same way |
| 14:49:26 | <geekosaur> | there are some which have some more flexibility (see the BinarySpacePartition layout in contrib, or the bspwm window manager it was borrowed from) but even so there are limits |
| 14:49:38 | <geekosaur> | tiling window managers are their own special world |
| 14:51:07 | <Aura1337> | im using that layout currently |
| 14:51:27 | <geekosaur> | I don't think anyone's written a mouse-based interface for it yet |
| 14:54:51 | <geekosaur> | oh, looks like it supports the XMonad.,Actions.MouseResize interface |
| 14:55:03 | <geekosaur> | XMonad.Actions.MouseResize |
| 14:55:17 | <geekosaur> | so you may be able to get at least some of what you want that way |
| 14:55:53 | <Aura1337> | ty! |
| 14:59:07 | <alternateved> | I would say, embrace the mouse-less way of managing windows |
| 14:59:34 | <Aura1337> | sounds interesting. i might |
| 14:59:49 | <alternateved> | Suddenly, you don't have to bother with resizing windows, just prepare good enough layouts so that windows automagically open, where you want them to open |
| 15:00:45 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::4588) |
| 15:13:33 | <geekosaur> | well, there are still problems, like windows which open popups that go offscreen :/ |
| 15:36:53 | <alternateved> | Would not doCenterFloat be fix for that? |
| 15:39:48 | → | Guest86 joins (~Guest86@c83-251-160-169.bredband.tele2.se) |
| 15:39:52 | <Guest86> | Is anyone good with xmobar here? |
| 15:39:59 | <Guest86> | specifically, ppPrinters? |
| 15:42:35 | <alternateved> | I would say, don't ask to ask, just ask the question that you would want to ask. |
| 15:42:56 | <alternateved> | It would make things a bit easier, I guess |
| 15:46:54 | <Guest86> | That makes sense. |
| 15:47:39 | × | Aura1337 quits (~Aura1337@2601:5cc:c800:e450::55e9) (Quit: Client closed) |
| 15:52:53 | <geekosaur> | problem with this popup is it's the ubuntu update popup and there's no way to distinguish between it and the "updates complete" popup because, y'know, everyone uses gnome |
| 15:53:07 | <geekosaur> | :/ |
| 15:55:02 | <geekosaur> | (so WM_CLASS is "obviously irrelevant") |
| 15:56:09 | <geekosaur> | Isuspect we should just clip the size at the screen boundary at some point |
| 15:56:37 | <geekosaur> | for automatically positioned windows, so users can do whatever afterward |
| 16:02:08 | <Guest86> | I tried to fix it myself, but it's not going anywhere. I'm trying to create a new, simple formatter for xmobar but the function I'm supplying is apparently missing a parameter. It doesn't really make sense. Maybe it has to do something with record syntax I'm not getting. |
| 16:02:09 | <Guest86> | https://pastebin.com/aubdJyFN |
| 16:02:28 | <Guest86> | Please see the line containing "ppPrinters" |
| 16:13:47 | → | Guest73 joins (~Guest73@c83-251-160-169.bredband.tele2.se) |
| 16:13:55 | × | thunderrd quits (~thunderrd@183.182.110.241) (Ping timeout: 246 seconds) |
| 16:16:40 | × | Guest73 quits (~Guest73@c83-251-160-169.bredband.tele2.se) (Client Quit) |
| 16:16:57 | → | Guest73 joins (~Guest73@c83-251-160-169.bredband.tele2.se) |
| 16:18:35 | × | Guest73 quits (~Guest73@c83-251-160-169.bredband.tele2.se) (Client Quit) |
| 16:45:50 | <Guest86> | And so what I'm trying to create is formatting for "ppCurrentNoWindows"! |
| 17:27:21 | <geekosaur> | you can't just create a new formatter like that. a PP is a record and that is overriding the fields of the record; it can't just create a new field on the fly |
| 17:27:26 | <geekosaur> | (ppPrinters) |
| 17:27:47 | <geekosaur> | (sorry, I was shopping) |
| 17:29:57 | <geekosaur> | this isn't JavaScript; the fields of a record are fixed at definition time, and can be seen in https://github.com/xmonad/xmonad-contrib/blob/master/XMonad/Hooks/StatusBar/PP.hs |
| 17:36:33 | → | Guest73 joins (~Guest73@c83-251-160-169.bredband.tele2.se) |
| 17:38:34 | × | Guest73 quits (~Guest73@c83-251-160-169.bredband.tele2.se) (Client Quit) |
| 17:38:55 | <Guest86> | Admittedly, I'm more familiar with JavaScript. Considering however that i define "ppVisible" (among other pp's), isn't this how I'd define ppPrinters? |
| 17:39:27 | <Guest86> | Now I know what you mean! But ppPrinters *is* a field! |
| 17:40:40 | <geekosaur> | oh wait, they added that, sorry |
| 17:41:00 | <geekosaur> | I didn't quite keep track of all the work that was done on PP as part of the StatusBar rewrite |
| 17:44:15 | → | thunderrd joins (~thunderrd@183.182.110.241) |
| 17:44:41 | × | thunderrd quits (~thunderrd@183.182.110.241) (Remote host closed the connection) |
| 17:50:28 | <geekosaur> | ok, so what goes wrong if you use ppCurrent is that it's a field lookup and needs the record to look up from |
| 17:50:48 | <geekosaur> | that is, it's not simply `ppCurrent`, it's `ppCurrent somePP` |
| 17:51:03 | <geekosaur> | (and then that is itself a function passed a workspace name) |
| 17:52:55 | <Guest86> | That's the weird thing: the line works with "ppCurrent", but not my own function "ppIsEmptyCurrent" |
| 17:54:18 | <Guest86> | it does make sense though that I should supply the ``somePP`` to the function. You might be guiding me in the right direction! |
| 17:54:24 | <geekosaur> | what happens in that case? |
| 17:55:36 | <Guest86> | when i write `ppPrinters = isEmptyCurrent ?-> ppIsEmptyCurrent` I get the compile error "couldn't match type PP with [Char]..." |
| 17:55:55 | <Guest86> | So, what is really, really confusing is this (give me one second): |
| 17:56:39 | <geekosaur> | oh, so ?-> may be passing the PP |
| 17:56:49 | <geekosaur> | which would imply you need to make it go away |
| 17:57:03 | <Guest86> | If I hover over `ppCurrent` the first argument is `PP` https://hackage.haskell.org/package/xmonad-contrib-0.17.0/docs/src/XMonad.Hooks.StatusBar.PP.html#ppCurrent |
| 17:57:25 | <geekosaur> | so \_ -> ppIsEmptyCurrent |
| 17:57:39 | <Guest86> | But not if I hover over `ppCurrent` here, in `fallbackPrinters` https://hackage.haskell.org/package/xmonad-contrib-0.17.0/docs/src/XMonad.Hooks.StatusBar.PP.html#fallbackPrinters |
| 17:58:01 | <Guest86> | My _guess_ is that it is because `ppCurrent` is inside `PP` in the first case. |
| 17:58:09 | <Guest86> | I'll try that right away! |
| 17:58:10 | <geekosaur> | yes |
| 17:59:00 | <geekosaur> | but I don't have high confidence, I want to look at ?-> again but I'm doing too many things at once (reading here, studying your code, rebuilding xmonad-contrib for a `cabal repl` so I can experiment…) |
| 17:59:58 | <Guest86> | `const ppIsEmptyCurrent` does compile, and I believe I tried it before, but it doesn't quite do what I want. If you're telling me that should be right, I should be able to take a look at `?->` and/or `isEmptyCurrent` again myself! :) |
| 18:00:13 | <Guest86> | Of course, I'm glad you're answering at all! |
| 18:00:38 | <geekosaur> | yeh, it's passed a PP, you need to ignbore it to use your own predicate |
| 18:01:12 | <Guest86> | When you're saying it like that, it does make sense. |
| 18:01:51 | <geekosaur> | this would be easier if Haskell records were secretly hashmaps like they are in JS or Python, but that's not very strongly typed |
| 18:01:52 | <Guest86> | Thanks a lot, man! This was the big hurdle! |
| 18:02:02 | <Guest86> | Haha yeah, no |
| 18:03:02 | <Guest86> | I just finished a "Functional Programming" course in my CS studies, and we used Haskell. Loved it! |
| 18:04:53 | <Guest86> | Just noticed that you're one of the maintainers! Awesome to have you here, replying! |
| 18:05:45 | <geekosaur[m]> | We do that |
| 18:06:20 | <geekosaur[m]> | Most of the others are away at Zurihac right now |
| 18:06:42 | <alternateved> | Is that the first time they see each other irl? |
| 18:06:48 | <liskin> | Yes |
| 18:06:59 | <liskin> | And it's way more chill than I expected |
| 18:07:01 | <alternateved> | That is nuts :D |
| 18:07:10 | <liskin> | So I'm at the lake like half the time |
| 18:07:17 | <liskin> | And my face is on fire |
| 18:07:24 | <liskin> | (because sun) |
| 18:07:32 | <alternateved> | Yeah, suddenly it got real hot |
| 18:10:22 | × | alternateved quits (~alternate@45.134.212.182) (Remote host closed the connection) |
| 18:10:46 | → | alternateved joins (~alternate@45.134.212.182) |
| 18:28:44 | <geekosaur> | Hm, so it looks like X.U.Scratchpad has already been rewritten to the extent it can be. I do wonder how it interacts with the merge with DynamicScratchpads though |
| 18:29:00 | <geekosaur> | also I suspect at this point it should simply be deprecated |
| 18:32:34 | <geekosaur> | since iirc everything now lives in XS and the parameters are ignored to the various hooks, but the hook parameters are the only way to get e.g. the (possibly custom) ManageHook for Scratchpad |
| 18:33:27 | <geekosaur> | also it's pretty bad that Scratchpad assumes terminals use `-name` but at this point only xterm and urxvt do (st uses `-n`, modern terminals use `--name`) |
| 18:38:37 | → | Guest73 joins (~Guest73@c83-251-160-169.bredband.tele2.se) |
| 18:41:18 | × | Guest73 quits (~Guest73@c83-251-160-169.bredband.tele2.se) (Client Quit) |
| 19:10:24 | → | abiss27 joins (~abiss27@user/abiss) |
| 19:13:33 | × | alternateved quits (~alternate@45.134.212.182) (Remote host closed the connection) |
| 19:13:57 | → | alternateved joins (~alternate@45.134.212.182) |
| 19:16:39 | × | alternateved quits (~alternate@45.134.212.182) (Remote host closed the connection) |
| 19:17:02 | → | alternateved joins (~alternate@45.134.212.182) |
| 19:30:26 | → | stackdroid18 joins (14094@user/stackdroid) |
| 20:08:29 | × | Guest86 quits (~Guest86@c83-251-160-169.bredband.tele2.se) (Quit: Client closed) |
| 20:08:45 | → | olabandola joins (~olabandol@c83-251-160-169.bredband.tele2.se) |
| 20:09:08 | × | olabandola quits (~olabandol@c83-251-160-169.bredband.tele2.se) (Client Quit) |
| 20:24:24 | → | olabandola joins (~olabandol@c83-251-160-169.bredband.tele2.se) |
| 20:58:08 | <olabandola> | (I'm the one who asked about the pp's before) There we go! I got it to work perfectly. So now, when there are no windows on current tab the font is dimmed (along the tag "button" being pressed down). Check it out! https://gifyu.com/image/SHmCx |
| 21:33:49 | × | alternateved quits (~alternate@45.134.212.182) (Remote host closed the connection) |
| 21:53:11 | × | stackdroid18 quits (14094@user/stackdroid) (Quit: Lost terminal) |
| 21:53:53 | → | stackdroid18 joins (14094@user/stackdroid) |
| 21:54:25 | × | stackdroid18 quits (14094@user/stackdroid) (Client Quit) |
| 21:59:41 | × | olabandola quits (~olabandol@c83-251-160-169.bredband.tele2.se) (Quit: Client closed) |
| 22:07:19 | → | zawaken- joins (~zawaken@user/zawaken) |
| 22:08:47 | → | Forkk_ joins (~forkk@li926-228.members.linode.com) |
| 22:09:40 | → | byorgey_ joins (~byorgey@155.138.238.211) |
| 22:14:40 | × | aura1337[m] quits (~aura1337m@2001:470:69fc:105::2:230a) (*.net *.split) |
| 22:14:40 | × | neopenk[m] quits (~neopenkma@2001:470:69fc:105::1:6286) (*.net *.split) |
| 22:14:40 | × | zawaken quits (~zawaken@user/zawaken) (*.net *.split) |
| 22:14:40 | × | de-vri-es quits (~de-vri-es@voyager.de-vri.es) (*.net *.split) |
| 22:14:40 | × | Forkk quits (~forkk@li926-228.members.linode.com) (*.net *.split) |
| 22:14:40 | × | byorgey quits (~byorgey@155.138.238.211) (*.net *.split) |
| 22:20:56 | × | abiss27 quits (~abiss27@user/abiss) (Quit: hasta la vista... tchau!) |
| 22:21:14 | → | de-vri-es joins (~de-vri-es@voyager.de-vri.es) |
| 22:22:17 | → | aura1337[m] joins (~aura1337m@2001:470:69fc:105::2:230a) |
| 22:22:35 | → | neopenk[m] joins (~neopenkma@2001:470:69fc:105::1:6286) |
| 22:53:35 | <geekosaur> | my opinion of Arch drops just that little bit further… |
| 23:00:28 | <davean> | geekosaur: Can it drop? Where below it is there to go? |
All times are in UTC on 2022-06-12.