Logs on 2021-05-14 (freenode/#xmonad)
| 00:36:35 | → | materiyolo joins (~materiyol@112.205.57.255) |
| 01:10:22 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 01:29:03 | × | notis quits (~notis@2a02:2149:87b6:a300:e002:82a:4fda:33c0) (Ping timeout: 250 seconds) |
| 01:44:40 | × | kajzer quits (~kajzer@unaffiliated/kajzer) (Quit: WeeChat 3.1) |
| 02:14:41 | × | mohab quits (~mohab@156.223.213.178) (Ping timeout: 260 seconds) |
| 02:15:26 | → | mohab joins (~mohab@45.243.104.242) |
| 02:24:25 | × | mohab quits (~mohab@45.243.104.242) (Ping timeout: 260 seconds) |
| 02:26:16 | → | mohab joins (~mohab@156.223.213.178) |
| 02:29:53 | × | davemq quits (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) (Read error: Connection reset by peer) |
| 02:32:30 | → | davemq joins (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) |
| 02:48:56 | × | theDon quits (~td@muedsl-82-207-238-236.citykom.de) (Ping timeout: 265 seconds) |
| 02:50:40 | → | theDon joins (~td@muedsl-82-207-238-178.citykom.de) |
| 02:57:49 | → | kayvan joins (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 04:02:03 | → | novas0x2a1 joins (~blah@157-131-126-102.fiber.dynamic.sonic.net) |
| 04:03:43 | × | novas0x2a quits (~blah@157-131-126-102.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 04:53:56 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: leaving) |
| 04:54:39 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 05:00:55 | × | mohab quits (~mohab@156.223.213.178) (Ping timeout: 252 seconds) |
| 05:08:11 | → | spider1 joins (~spider@vps-951ce37a.vps.ovh.ca) |
| 05:19:44 | → | mohab joins (~mohab@156.223.213.178) |
| 05:19:54 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 05:50:33 | → | pmj joins (~pmj@p4fe156fa.dip0.t-ipconnect.de) |
| 05:53:24 | → | thoros joins (~thoros@193-154-185-59.adsl.highway.telekom.at) |
| 05:54:07 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 05:59:07 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 268 seconds) |
| 06:00:51 | → | werneta_ joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 06:01:04 | × | werneta_ quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Client Quit) |
| 06:08:32 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 06:17:56 | ← | abhixec parts (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) () |
| 06:30:11 | × | kayvan quits (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 246 seconds) |
| 06:53:01 | × | mohab quits (~mohab@156.223.213.178) (Ping timeout: 265 seconds) |
| 07:01:11 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 08:01:42 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 08:07:21 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 08:08:14 | → | notis joins (~notis@2a02:2149:87b6:a300:e002:82a:4fda:33c0) |
| 08:08:21 | → | mohab joins (~mohab@156.223.213.178) |
| 08:14:02 | × | materiyolo quits (~materiyol@112.205.57.255) (Read error: Connection reset by peer) |
| 09:15:02 | → | kajzer joins (~kajzer@unaffiliated/kajzer) |
| 09:24:48 | × | crmaurei quits (crmaurei@nat/qt/x-fqikwejinpnixucs) (Quit: No Ping reply in 180 seconds.) |
| 09:26:02 | → | crmaurei joins (crmaurei@nat/qt/x-wqyvenfcfwoldomm) |
| 09:28:29 | → | ChubaDuba joins (~ChubaDuba@37.112.227.6) |
| 09:28:45 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 10:10:06 | <Liskni_si> | I should perhaps reconsider my decision to add a property test for SubLayouts. This has been fun! |
| 10:11:23 | <Liskni_si> | Developing against a property test that finishes a couple dozens of milliseconds after I save the file almost makes one forget how fucked up the Haskell build tooling is :-) |
| 10:43:24 | <Solid> | :) |
| 10:49:07 | → | materiyolo joins (~materiyol@112.205.57.255) |
| 10:52:20 | × | mohab quits (~mohab@156.223.213.178) (Ping timeout: 246 seconds) |
| 10:55:27 | <Solid> | I suppose it's arguable if the new implementation really is that much simpler, but I'm obviously biased :P |
| 10:55:44 | <Solid> | but I like that it respects the state-changes on other visible workspaces as well, which is something I did indeed overlook |
| 10:57:48 | <Liskni_si> | Yeah, I hoped I could come up with something way simpler, but didn't manage :-/ |
| 10:58:09 | → | mohab joins (~mohab@156.223.213.178) |
| 10:58:17 | <Liskni_si> | The absence of insertAt and commonPrefix in Data.List is what got me :-D |
| 11:14:49 | <Solid> | if I was a stickler I would now say that both traverse the list twice when they don't need to :> |
| 11:15:27 | <Solid> | but in the spirit of keeping things comprehensible having one-line definitions for these is probably better |
| 11:16:27 | <Liskni_si> | this obsession about the unimportant will make your life miserable :-) |
| 11:16:40 | <Liskni_si> | (I should know) |
| 11:16:42 | <Solid> | hahaha |
| 11:20:49 | × | mohab quits (~mohab@156.223.213.178) (Ping timeout: 245 seconds) |
| 11:22:23 | × | pmj quits (~pmj@p4fe156fa.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 11:26:16 | × | ChubaDuba quits (~ChubaDuba@37.112.227.6) (Quit: WeeChat 1.6) |
| 11:34:09 | → | mohab joins (~mohab@156.223.213.178) |
| 11:36:55 | × | notis quits (~notis@2a02:2149:87b6:a300:e002:82a:4fda:33c0) (Ping timeout: 260 seconds) |
| 11:40:26 | <Solid> | I'm going to merge #499 later today (the prelude thing) unless someone shouts at me in the meantime |
| 11:40:49 | <Solid> | (it's quite a big change so I figured it's worth "pre-announcing" it here) |
| 11:58:19 | × | mohab quits (~mohab@156.223.213.178) (Ping timeout: 245 seconds) |
| 12:06:08 | → | mohab joins (~mohab@156.223.213.178) |
| 12:13:54 | → | kelnoky joins (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 12:18:28 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 12:24:46 | → | pmj joins (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) |
| 12:57:31 | × | pmj quits (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 14:48:56 | → | pmj joins (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) |
| 14:50:42 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 14:51:41 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 14:57:08 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 15:04:11 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 15:05:36 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 15:12:04 | × | pmj quits (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 15:44:17 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 15:44:22 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 15:49:04 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 15:55:42 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Ping timeout (120 seconds)) |
| 15:57:49 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 16:01:02 | × | kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1) |
| 16:14:04 | → | pmj joins (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) |
| 16:23:30 | <Liskni_si> | geekosaur, byorgey, sibi: in case your e-mail setup doesn't distinguish between direct mentions and general notifications, I'd like to ask for your feedback on https://github.com/xmonad/xmonad-contrib/pull/544 |
| 16:24:04 | ← | davemq parts (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) ("ERC (IRC client for Emacs 27.2)") |
| 16:24:52 | → | mc47 joins (~yecinem@89.246.239.190) |
| 16:38:19 | × | materiyolo quits (~materiyol@112.205.57.255) (Ping timeout: 252 seconds) |
| 17:10:23 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 17:23:05 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 17:29:11 | → | growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 17:45:11 | × | pmj quits (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 17:47:24 | → | a6a45081-2b83 joins (~aditya@27.58.160.217) |
| 17:49:16 | → | notis joins (~notis@85.203.44.186) |
| 17:51:27 | → | kelnoky joins (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 17:53:43 | × | a6a45081-2b83 quits (~aditya@27.58.160.217) (Quit: Konversation terminated!) |
| 18:12:08 | ← | heck-to-the-gnom parts (heck-to-th@gateway/shell/matrix.org/x-dkeyhpdeslcfjwpp) ("User left") |
| 18:29:58 | → | pmj joins (~pmj@188.194.145.157) |
| 19:14:36 | → | admzmf joins (ben@gateway/vpn/privateinternetaccess/admzmf) |
| 19:28:16 | × | pmj quits (~pmj@188.194.145.157) (Ping timeout: 252 seconds) |
| 19:49:46 | × | thoros quits (~thoros@193-154-185-59.adsl.highway.telekom.at) (Ping timeout: 268 seconds) |
| 20:41:18 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Ping timeout (120 seconds)) |
| 20:43:56 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 21:07:33 | × | mohab quits (~mohab@156.223.213.178) (Ping timeout: 240 seconds) |
| 21:08:54 | → | mohab joins (~mohab@45.243.104.242) |
| 21:11:14 | × | kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1) |
| 21:14:04 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 21:14:23 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 21:19:03 | × | mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 21:31:26 | × | admzmf quits (ben@gateway/vpn/privateinternetaccess/admzmf) (Ping timeout: 260 seconds) |
| 21:31:46 | → | pmj joins (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) |
| 21:32:29 | × | mohab quits (~mohab@45.243.104.242) (Ping timeout: 245 seconds) |
| 21:34:13 | × | notis quits (~notis@85.203.44.186) (Ping timeout: 240 seconds) |
| 21:36:30 | → | notis joins (~notis@185.51.134.229) |
| 22:01:21 | × | pmj quits (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 22:12:33 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 22:13:04 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 22:21:20 | → | mohab joins (~mohab@156.223.213.178) |
| 22:59:39 | → | admzmf joins (ben@gateway/vpn/privateinternetaccess/admzmf) |
| 23:24:14 | <ectospasm> | I'm using dzen2 for docks/struts in my xmonad.hs (https://git.eldon.me/trey/pastes/src/branch/master/2021-05-14_xmonad.hs). I've got two dzen2 docks at the bottom of my screen, and my full-screen windows appear to only avoid the very bottom dzen2 dock/strut, the one just above it cuts off the bottom of the full screen window. I have -dock passed to all my dzen2 instances, is there a way for my |
| 23:24:16 | <ectospasm> | full-screen windows to avoid all docks/struts? |
| 23:24:44 | <ectospasm> | Here's a screenshot of what I'm talking about: https://git.eldon.me/trey/pastes/src/branch/master/2021-05-14-191602_1920x1080_scrot.png |
| 23:29:00 | <Liskni_si> | ectospasm: this seems to be a problem in dzen2 itself, it doesn't set _NET_WM_STRUT or _NET_WM_STRUT_PARTIAL when it's not touching the edge of a screen |
| 23:30:12 | <Liskni_si> | you can set the gaps manually using https://hackage.haskell.org/package/xmonad-contrib-0.16/docs/XMonad-Layout-Gaps.html |
| 23:30:35 | <Liskni_si> | you could possibly even set the _NET_WM_STRUT_PARTIAL property manually using xprop, although that's perhaps a bit too much of a hack :-) |
| 23:31:41 | <ectospasm> | OK, thanks! I'll look into XMonad.Layout.Gaps. |
All times are in UTC on 2021-05-14.