Logs on 2021-12-04 (liberachat/#xmonad)
| 00:54:11 | → | mvk joins (~mvk@2607:fea8:5cdd:f000::9788) |
| 01:49:49 | × | steve_ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 02:15:54 | × | noex quits (~null@2600:8804:1280:aa0:5857:94a:25de:c513) (Quit: my dad's not a phone!) |
| 02:21:23 | → | noex joins (~null@2600:8804:1280:aa0:5857:94a:25de:c513) |
| 02:47:45 | × | mvk quits (~mvk@2607:fea8:5cdd:f000::9788) (Ping timeout: 252 seconds) |
| 02:53:32 | × | noex quits (~null@2600:8804:1280:aa0:5857:94a:25de:c513) (Quit: :q!) |
| 02:55:52 | → | noex joins (~null@2600:8804:1280:aa0:5857:94a:25de:c513) |
| 03:04:26 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 252 seconds) |
| 03:22:19 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 03:30:47 | × | obimod quits (~obimod@gateway/vpn/pia/obimod) (Ping timeout: 256 seconds) |
| 03:31:32 | × | noex quits (~null@2600:8804:1280:aa0:5857:94a:25de:c513) (Quit: :q!) |
| 03:36:57 | × | td_ quits (~td@94.134.91.231) (Ping timeout: 256 seconds) |
| 03:38:25 | → | noex joins (~null@2600:8804:1280:aa0:5857:94a:25de:c513) |
| 03:38:29 | → | td_ joins (~td@muedsl-82-207-238-245.citykom.de) |
| 03:44:35 | → | obimod joins (~obimod@gateway/vpn/pia/obimod) |
| 06:26:17 | × | obimod quits (~obimod@gateway/vpn/pia/obimod) (Ping timeout: 252 seconds) |
| 07:40:36 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 07:52:31 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 256 seconds) |
| 08:56:14 | × | curiousgay quits (~curiousga@77-120-141-90.kha.volia.net) (Quit: Leaving) |
| 09:01:55 | → | curiousgay joins (~curiousga@77-120-141-90.kha.volia.net) |
| 09:17:36 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 09:17:36 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 09:17:39 | allbery_b | is now known as geekosaur |
| 09:21:37 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 09:22:20 | × | curiousgay quits (~curiousga@77-120-141-90.kha.volia.net) (Quit: Leaving) |
| 09:28:15 | → | curiousgay joins (~curiousga@77-120-141-90.kha.volia.net) |
| 11:25:32 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 11:28:25 | × | curiousgay quits (~curiousga@77-120-141-90.kha.volia.net) (Ping timeout: 256 seconds) |
| 11:42:26 | → | steve_ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 12:12:45 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 12:12:55 | → | seschwar joins (~seschwar@user/seschwar) |
| 12:14:04 | <Solid> | liskin: what other changes do you have in mind for https://github.com/xmonad/xmonad-contrib/pull/640 still? I wanted to work on some PRs today and that seems like a nice start |
| 12:14:32 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 12:16:07 | <liskin> | Solid: mainly the XC.once, plus make the queue pop/execute one by one to make it robust |
| 12:28:05 | <Solid> | as in, wrap every execution in a `catch`? |
| 12:28:42 | <Solid> | s/execution/individual execution/ |
| 12:39:30 | → | qbt joins (~qbt@user/edun) |
| 12:44:36 | <liskin> | That might be a good idea too |
| 13:24:30 | × | noex quits (~null@2600:8804:1280:aa0:5857:94a:25de:c513) (Quit: :q!) |
| 13:29:12 | → | noex joins (~null@2600:8804:1280:aa0:5857:94a:25de:c513) |
| 13:41:29 | × | noex quits (~null@2600:8804:1280:aa0:5857:94a:25de:c513) (Quit: :q!) |
| 14:23:28 | → | noex joins (~null@2600:8804:1280:aa0:5857:94a:25de:c513) |
| 15:00:57 | <Solid> | mh, I wonder if we actually need to execute these one by one |
| 15:01:44 | <Solid> | I would imagine a simple `traverse_ (`catchX` pure ()) as` would be enough as long as we clear the queue before that, since the exceptions are handled by `catchX` |
| 15:13:51 | × | seschwar quits (~seschwar@user/seschwar) (Quit: :wq) |
| 15:14:53 | → | seschwar joins (~seschwar@user/seschwar) |
| 15:25:30 | <liskin> | any of those actions can invoke windows which invokes logHook which invokes the exection of queued actions |
| 15:25:40 | <liskin> | so I think we do need to execute those one by one |
| 15:31:30 | <Solid> | that should be taken care of by emptying the queue first, right? |
| 15:33:18 | <geekosaur> | this isn't a loop, it's nested, if I understand correctly |
| 15:33:37 | <geekosaur> | and I'm not sure how well nesting those invocations would work |
| 15:34:32 | <geekosaur> | but emptying it all at once basically means you have the first invocation looping through actions that would already have been done by the recursive windows -> logHook |
| 15:34:39 | <liskin> | Solid: that takes care of not doing anything twice, but doesn't take care of doing things in the right order |
| 15:35:06 | <geekosaur> | oh, I see |
| 15:35:49 | <liskin> | although "right" in this case might not be as obvious as I seem to think |
| 15:36:13 | <liskin> | I just assumed we want it to actually act like a queue :-) |
| 15:45:34 | <Solid> | now I'm thoroughly confused :D |
| 15:46:18 | <Solid> | are you talking about something like (pseudo-ish code) `go = XS.get >>= \((a <| as) -> XS.put as >> (a `catchX` pure ()) >> go)`? |
| 15:46:52 | <liskin> | that sounds about right, yes |
| 15:55:15 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 15:57:59 | <Solid> | okay, I pushed something; feel free to give it a last look |
| 15:58:06 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 15:59:09 | × | ectospasm quits (~ectospasm@user/ectospasm) (Quit: WeeChat 3.3) |
| 15:59:50 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 16:01:01 | → | ectospasm joins (~ectospasm@user/ectospasm) |
| 16:21:10 | <mc47> | hey people |
| 16:21:12 | <mc47> | what's up |
| 16:21:33 | <Solid> | hey hey |
| 16:22:21 | <Solid> | I was frustrated with maths more than usual yesterday, so I took today off \o/ |
| 16:22:43 | <mc47> | such a luxury :D |
| 16:22:46 | <mc47> | have fun! |
| 16:23:35 | <Solid> | finally enough time to do xmonad stuff :P |
| 16:23:53 | <Solid> | also, advent of code is on, which gives me an excuse to try out clojure |
| 16:24:15 | <Solid> | how've you been? |
| 16:24:53 | <mc47> | advent of code is really fun, I missed out on last year, so I'm very determined to do it this year :D |
| 16:25:19 | <mc47> | I'm very tired, and it'll probably stay that way for a while... the studies are just too much |
| 16:26:15 | <mc47> | A week ago we spent a week trying to implement the Bundestag seat distribution algorithm... in SQL :D |
| 16:29:55 | <Solid> | Oo |
| 16:30:07 | <Solid> | well that sounds... interesting :D |
| 16:32:02 | <mc47> | it was |
| 16:42:09 | <mc47> | oh shit |
| 16:42:21 | <mc47> | there's an open PR that I should've taken a look at |
| 16:47:26 | <Solid> | feel free to look at as many as you like :> |
| 17:04:53 | liskin | is either busy or extremely tired, and my left wrist is still not okay :-/ |
| 17:18:16 | × | tv quits (~tv@user/tv) (Ping timeout: 268 seconds) |
| 17:24:11 | <mc47> | I hope it's fine liskin! what's wrong? |
| 17:59:27 | × | noex quits (~null@2600:8804:1280:aa0:5857:94a:25de:c513) (Quit: :q!) |
| 18:14:45 | → | tv joins (~tv@user/tv) |
| 18:15:53 | → | noex joins (~null@2600:8804:1280:aa0:5857:94a:25de:c513) |
| 18:19:00 | × | noex quits (~null@2600:8804:1280:aa0:5857:94a:25de:c513) (Client Quit) |
| 18:20:17 | → | noex joins (~null@2600:8804:1280:aa0:5857:94a:25de:c513) |
| 18:30:34 | → | MagnusMX joins (~MagnusMX@189.195.202.78) |
| 18:31:04 | × | MagnusMX quits (~MagnusMX@189.195.202.78) (Client Quit) |
| 19:15:41 | × | qbt quits (~qbt@user/edun) (Quit: Leaving.) |
| 19:19:04 | <liskin> | mc47: What's wrong is that I don't know how to pause life. |
| 19:19:30 | <liskin> | Things just keep piling on even when I need a break |
| 19:22:45 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 19:24:29 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 20:45:27 | × | wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 256 seconds) |
| 20:45:51 | → | wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de) |
| 21:10:15 | → | trillp joins (~user@69.233.98.238) |
| 21:24:53 | → | curiousgay joins (~curiousga@77-120-141-90.kha.volia.net) |
| 21:25:46 | → | kento joins (~kento@089144204185.atnat0013.highway.webapn.at) |
| 21:25:59 | × | kento quits (~kento@089144204185.atnat0013.highway.webapn.at) (Client Quit) |
| 21:26:07 | → | kento joins (~kento@089144204185.atnat0013.highway.webapn.at) |
| 21:32:49 | <kento> | I need some help with the Layout.NoBorders module. I use decorations to indicate focus so I only want borders on floating windows. Shouldn't ```lessBorder (Combine Difference Screen OnlyFloat)``` provide the expected behaviour? I've played around with the module and different ambiguity settings a bit but as far as I can tell the behaviour has never |
| 21:32:50 | <kento> | changed... |
| 21:33:54 | <geekosaur> | did you mod-shift-space after chainging it? (Although I'm not sure it's necessary here since I think the type should change) |
| 21:34:18 | × | kento quits (~kento@089144204185.atnat0013.highway.webapn.at) (Quit: Client closed) |
| 21:34:28 | → | kento joins (~kento@089144204185.atnat0013.highway.webapn.at) |
| 21:35:08 | <kento> | What does that keybind do? |
| 21:35:47 | <kento> | I have certainly recompiled the config |
| 21:35:58 | <geekosaur> | xmonad does not automatically apply a new layout after mod-q |
| 21:36:24 | <geekosaur> | because it can't tell what changes are your edits to the layout and what are changes from things like mod-. |
| 21:36:54 | <geekosaur> | so you have to use mod-shift-space to tell xmonad "yes, throw out any runtime changes to the layout and recompute it from the config" |
| 21:37:01 | <kento> | Oh, I don't use the recompilation feature, I build using cabal, so xmonad certainly should have picked up the changes |
| 21:37:18 | <geekosaur> | did you then exit and restart? |
| 21:37:25 | <kento> | yeah |
| 21:38:12 | geekosaur | is also looking over the docs and doesn't think that config will do what is intended, i.e. invert the meaning of OnlyFloat |
| 21:42:19 | <kento> | Another option I have is to use the managehook to remove borders from all tiled windows, but I don't know how I'd go about writing that |
| 21:42:22 | <geekosaur> | I think Screen is wrong because it means you almost never have anything to compute set difference from and when you do it'd be a full screen float |
| 21:44:23 | <geekosaur> | what you'd really need is an Always (as opposed to Never) that matches all windows, so you could use set difference to remove the floats |
| 21:45:04 | <kento> | So a SetsAmbiguous instance? |
| 21:45:13 | <geekosaur> | you're kinda not using Ambiguity as it's intended, it's strongly focused on full-screen windows |
| 21:46:21 | <geekosaur> | yes |
| 21:46:45 | <kento> | Well, I'm open to any other options to get the behavior i described, the docs just made it seem like the best fit from all the modules in contrib |
| 21:47:09 | <kento> | I'll try writing that, thanks |
| 21:47:16 | <geekosaur> | it's the best fit, it's just not quite designed for your use case |
| 21:47:48 | <geekosaur> | it really intends to be used to remove borders from full screen windows, but it's also the only module that does much of anything with borders |
| 21:48:48 | <geekosaur> | also you can't adjust borders from the manageHook because X.O.windows sets the border on new windows *after* running the manageHook |
| 21:50:28 | <kento> | i see. maybe the open PR for X.H.BorderPerWindow could achieve this as well, but i think using NoBorders with a custom ambiguity will be the cleanest |
| 22:07:03 | × | kento quits (~kento@089144204185.atnat0013.highway.webapn.at) (Ping timeout: 256 seconds) |
| 22:57:45 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 22:59:24 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 22:59:45 | × | curiousgay quits (~curiousga@77-120-141-90.kha.volia.net) (Ping timeout: 256 seconds) |
| 23:08:34 | × | mc47 quits (~mc47@xmonad/TheMC47) (Quit: Leaving) |
| 23:17:24 | → | curiousgay joins (~curiousga@77-120-141-90.kha.volia.net) |
All times are in UTC on 2021-12-04.