Logs: liberachat/#xmonad
| 2021-05-28 05:24:22 | <jg> | yea I added the avoidStruts modifier |
| 2021-05-28 05:24:28 | <jg> | no cigar |
| 2021-05-28 05:24:54 | <xacktm> | :/ new paste? |
| 2021-05-28 05:25:24 | <jg> | it was the same as the old paste i recently sent, i added avoidStruts around (tiled ||| Mirror ... etc) |
| 2021-05-28 05:25:55 | <jg> | like of a fresh boot its chill, its only after an xmonad --restart |
| 2021-05-28 05:25:55 | <xacktm> | kk, and you did the same restart X song and dance I'm guessing :S |
| 2021-05-28 05:25:57 | <jg> | that it fails |
| 2021-05-28 05:26:42 | <jg> | which makes it so bizarre because doesnt doing exec xmonad cause a recompile and restart |
| 2021-05-28 05:28:48 | <jg> | opening any window causes it to work again, so its not that big of a deal, its just really interesting lol |
| 2021-05-28 05:31:18 | <jg> | I'll keep tinkering this weekend, but I can live with it for now, I appreciate the help xacktm, I'll let you know if I figure something out, I might ask jaor in the github |
| 2021-05-28 05:32:17 | <xacktm> | ok, at least you found a workaround; can't say I'm seeing those symptoms in 0.15 as if I hide the status bar, then recompile, it's still hidden :/ |
| 2021-05-28 05:32:29 | <jg> | oh yea, my 0.15 has no issues |
| 2021-05-28 05:33:04 | <jg> | but I'm doing it differently than in 0.15, I'm using the new Hook.StatusBar |
| 2021-05-28 05:33:45 | <xacktm> | ah idk how that works |
| 2021-05-28 05:33:55 | <jg> | https://github.com/xmonad/xmonad-contrib/blob/master/XMonad/Hooks/StatusBar.hs |
| 2021-05-28 05:34:05 | <jg> | check it out, I think its pretty nifty |
| 2021-05-28 05:35:09 | <jg> | lmfao xacktm, I just looked deeper, they mention the problem lol let me see if it says a solution |
| 2021-05-28 05:35:34 | <xacktm> | nice lol, at least it's known |
| 2021-05-28 05:36:01 | <jg> | maybe, they did a work around to restart xmobar, which might be causing the issue |
| 2021-05-28 05:39:15 | <jg> | I'm at a loss, goodnight dog |
| 2021-05-28 05:39:31 | <xacktm> | kk gngl |
| 2021-05-28 05:40:04 | <xacktm> | sorry, games-speak is invading my vocab: good night and good luck! |
| 2021-05-28 05:40:52 | × | jg quits (~jg@47.149.222.98) (Quit: Client closed) |
| 2021-05-28 05:45:14 | <Solid> | xacktm: withEasySB already includes the docks combinator |
| 2021-05-28 05:46:24 | <xacktm> | ah oops, so it should've kept the status bar hidden on his first config |
| 2021-05-28 06:10:32 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-05-28 06:51:11 | <spider_> | so.. has there a discussion on whats going to happen with the wayland situation |
| 2021-05-28 06:57:11 | <spider_> | nvm gotta go |
| 2021-05-28 07:17:34 | × | qbt quits (~edun@user/edun) (Ping timeout: 248 seconds) |
| 2021-05-28 07:23:10 | → | qbt joins (~edun@user/edun) |
| 2021-05-28 07:46:22 | × | qbt quits (~edun@user/edun) (Ping timeout: 248 seconds) |
| 2021-05-28 07:59:32 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2021-05-28 07:59:32 | × | benin quits (~benin@183.82.177.19) (Remote host closed the connection) |
| 2021-05-28 08:38:18 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-05-28 09:16:47 | → | themainman joins (~themainma@user/themainman) |
| 2021-05-28 09:25:50 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Quit: bbiab) |
| 2021-05-28 09:28:06 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 2021-05-28 10:03:05 | → | a6a45081-2b83 joins (~aditya@106.212.79.20) |
| 2021-05-28 11:14:30 | × | a6a45081-2b83 quits (~aditya@106.212.79.20) (Quit: Konversation terminated!) |
| 2021-05-28 11:19:31 | → | Tomurb joins (~tom@158.194.92.121) |
| 2021-05-28 11:24:50 | × | Tomurb quits (~tom@158.194.92.121) (Ping timeout: 264 seconds) |
| 2021-05-28 11:25:44 | × | utis quits (~utis@cm-84.214.179.98.getinternet.no) (Quit: leaving) |
| 2021-05-28 11:30:09 | → | autophagy joins (~mika@user/autophagy) |
| 2021-05-28 11:33:15 | × | leeb quits (~leeb@2001:268:c04f:ba65:425b:d8ff:fe03:4cd) (Ping timeout: 272 seconds) |
| 2021-05-28 11:42:10 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2021-05-28 12:00:11 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.1) |
| 2021-05-28 12:33:28 | × | wonko quits (~wjc@62.115.229.50) (Quit: See You Space Cowboy..) |
| 2021-05-28 12:53:38 | → | berberman_ joins (~berberman@user/berberman) |
| 2021-05-28 12:54:06 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 248 seconds) |
| 2021-05-28 13:08:06 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-28 13:14:00 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2021-05-28 13:14:15 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-28 13:18:37 | → | werneta joins (~werneta@mobile-166-176-56-141.mycingular.net) |
| 2021-05-28 13:40:33 | × | werneta quits (~werneta@mobile-166-176-56-141.mycingular.net) (Ping timeout: 272 seconds) |
| 2021-05-28 14:06:49 | → | benin joins (~benin@183.82.177.19) |
| 2021-05-28 14:26:03 | → | seschwar joins (~seschwar@user/seschwar) |
| 2021-05-28 14:32:38 | <Solid> | liskin: what do you think about merging the tutorial so we can already officially link to it on the website/we also have that INSTALL.md document ready for the hordes of Arch users who are showing up here lately :> |
| 2021-05-28 14:35:33 | <liskin> | Solid: I think this process (merge the good enough version early and I'll get to it and perfect it later) worked well with the website so go ahead :-) |
| 2021-05-28 14:36:24 | <Solid> | nice :) |
| 2021-05-28 14:37:09 | <liskin> | I should perhaps try to overcome this obsession of refusing to merge stuff I haven't had time to meticulously review |
| 2021-05-28 14:39:45 | <liskin> | on the other hand, the current way of doing things, that is meticulously review stuff from people who can't merge it themselves, and hand write access to people who can be trusted to make good judgement when to seek more review and when to merge, possibly scales better long term |
| 2021-05-28 14:39:47 | <liskin> | at least I hope |
| 2021-05-28 14:47:50 | <Solid> | I think the current way is fine tbh |
| 2021-05-28 14:48:11 | <Solid> | I'm not a fan of the hands-off "merge everything and then frantically push fixes when things break" approach |
| 2021-05-28 14:52:11 | <liskin> | yeah, me neither, but there might be a tradeoff somewhere in the middle, something that might be described as "collaborate on a shared codebase", that doesn't necessarily mean we always merge the first attempt |
| 2021-05-28 14:52:28 | <liskin> | like the dynamic status bars, that's probably good enough for people to iterate on |
| 2021-05-28 14:53:08 | <liskin> | but I haven't tried it yet, so I'm reluctant to sign off on it, so I'm a bottleneck |
| 2021-05-28 14:53:51 | <liskin> | (actually, not really, because mc47 does have write to -contrib, so it's not just my fault it's not merged yet :-)) |
| 2021-05-28 14:54:40 | <Solid> | :D |
| 2021-05-28 14:56:01 | <liskin> | which reminds me of the toggle strut issue jg reported here during the night :-( |
| 2021-05-28 14:56:47 | → | jg joins (~jg@12.218.15.210) |
| 2021-05-28 14:57:12 | <mc47> | not a better time to join :)) |
| 2021-05-28 14:57:22 | <Solid> | hah |
| 2021-05-28 14:57:28 | <liskin> | sounded like the old xmobar didn't terminate on and waited until it got another input to show |
| 2021-05-28 14:57:58 | <mc47> | I thought I still didn't add dynamicEasySBs, but apaprently I did, so we could just merge it |
| 2021-05-28 14:58:47 | <mc47> | the only issue there is the composability with #460, but we could take care of it afterwards |
| 2021-05-28 14:59:01 | <jg> | Y’all run into an issue with the new xmonad statusbar hook where when you —restart the xmobarwno longer behaves struts until opening a window. I might make a github post but not sure if I should put it on xmonad contrib or xmobar |
| 2021-05-28 14:59:24 | <liskin> | jg: hey here's a crazy idea: do you have any sensitive data on that VM of yours? there are apparently two issues that we're interested in understanding, so if you just give us the VM in the broken state then we can dig right into it :-) |
| 2021-05-28 14:59:59 | mc47 | has also been spending a lot of time on his thesis... writing a linter without constructing an AST was quite the challenge |
| 2021-05-28 15:00:16 | <jg> | Nah I got nothin on it I could install SSH later. I got around my issue with the degree symbol by using Unicode directly recommended by jaor |
| 2021-05-28 15:01:10 | <liskin> | I thought you'd just send the disk image itself, as doing graphical stuff over ssh will be a bit painful |
| 2021-05-28 15:01:58 | <liskin> | mc47: why not construct an AST? trying to do single-pass constant-memory stuff? |
| 2021-05-28 15:02:21 | <jg> | Oh yea I could totally do that when I get home! What are the issues you’re trying to find or y’all are just being hella nice haha! And how would I share it with y’all ? |
| 2021-05-28 15:03:18 | <mc47> | liskin it's not really worth it, and it's also kinda useless, since you can define new syntax on the fly (isabelle enables you to do some really wacky stuff) |
| 2021-05-28 15:04:00 | <mc47> | And the grammar is a bit complicated |
| 2021-05-28 15:05:30 | <mc47> | the middle ground we're going with is to implement the lints themselves as parser combinators, and provide combinators for the most common syntactical constructs... that way you can easily add new lint types, and I won't have to parse the whole grammar |
| 2021-05-28 15:06:10 | <liskin> | jg: the xmobar encoding issue because I'm just really nice and really curious what the root cause is and I want to know what to tell the next person who comes with the same problem; and then the toggle struts issue, because that might be a real problem of X.H.StatusBar that we want fixed before the release |
| 2021-05-28 15:06:49 | <liskin> | and how to share, hm, that's a good question |
| 2021-05-28 15:07:17 | <jg> | I could probably upload to dropbox maybe and share it. I’m not sure of file size limitations |
| 2021-05-28 15:07:44 | <liskin> | yeah a dropbox or google drive should work if you have enough free capacity there |
| 2021-05-28 15:08:02 | <liskin> | google drive has no limitations on single file sizes as far as I know |
| 2021-05-28 15:08:24 | <liskin> | if you compress the disk image it's not going to be more than a gig anyway |
| 2021-05-28 15:09:45 | <jg> | yea I can try to figure it out and get that to you. I really appreciate it. That statsbar hook y’all made is really something though beyond that little hickup. I thought it was hella cool |
| 2021-05-28 15:10:31 | <jg> | Which could totally be on my end too haha and not a problem with the hook |
| 2021-05-28 15:10:31 | <mc47> | that's awesome to hear :D |
| 2021-05-28 15:12:12 | <liskin> | yeah and it's going to get better with the PR we were just talking about merging :-) |
| 2021-05-28 15:18:58 | <mc47> | I'll take a look at it again later or tomorrow, and merge it if that's okay |
| 2021-05-28 15:19:19 | <mc47> | That way people can use and we can get a broader feedback |
| 2021-05-28 15:19:23 | <jg> | What’s the PR? I missed that part haha |
| 2021-05-28 15:19:39 | <mc47> | We could also wait a bit liskin, if you really want to try it before merging :D |
All times are in UTC.