Logs: freenode/#xmonad
| 2021-03-03 18:15:52 | <mc47> | Yeah, I've been using it since september I guess |
| 2021-03-03 18:16:15 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-03 18:16:32 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-03 18:16:51 | <mc47> | tbh, I think I'm not planning much next semester("only" my bachelor thesis), so I should have time for xmonad |
| 2021-03-03 18:17:05 | × | supastupid quits (~dexter@c-76-118-2-54.hsd1.nh.comcast.net) (Ping timeout: 256 seconds) |
| 2021-03-03 18:17:32 | <Solid> | famous last words :> |
| 2021-03-03 18:18:27 | <mc47> | haha, I really hope not |
| 2021-03-03 18:18:51 | <mc47> | How hard can writing a linter from scratch can be anyways? haha |
| 2021-03-03 18:19:03 | → | supastupid joins (~dexter@c-76-118-2-54.hsd1.nh.comcast.net) |
| 2021-03-03 18:19:21 | <Solid> | for haskell? |
| 2021-03-03 18:19:41 | <mc47> | No, for Isabelle |
| 2021-03-03 18:20:20 | <Solid> | ah cool |
| 2021-03-03 18:20:35 | <mc47> | https://www21.in.tum.de/students/linter/index.html <-- planning to do this, still not "official", but close enough |
| 2021-03-03 18:21:24 | <Solid> | sounds like a pretty cool project for a BA |
| 2021-03-03 18:22:29 | <mc47> | it's really cool, I'm a bit worried if it'll be hard... but that's the fun of it, right? :D |
| 2021-03-03 18:22:57 | <mc47> | we'll see I guess |
| 2021-03-03 18:23:35 | × | supastupid quits (~dexter@c-76-118-2-54.hsd1.nh.comcast.net) (Ping timeout: 265 seconds) |
| 2021-03-03 18:24:18 | → | supastupid joins (~dexter@c-76-118-2-54.hsd1.nh.comcast.net) |
| 2021-03-03 18:24:34 | <Solid> | definitely yes :) |
| 2021-03-03 18:25:08 | <Solid> | I also tried my hand on something that was way out of my league for my BA |
| 2021-03-03 18:25:25 | <Solid> | of course things didn't quite end up as I thought they would, but I learned a ton and had a blast |
| 2021-03-03 18:25:38 | <Solid> | you'll be fine :) |
| 2021-03-03 18:27:07 | <mc47> | That's the best way to learn I guess! |
| 2021-03-03 18:27:14 | <mc47> | I hope :) |
| 2021-03-03 18:29:52 | × | supastupid quits (~dexter@c-76-118-2-54.hsd1.nh.comcast.net) (Ping timeout: 265 seconds) |
| 2021-03-03 18:31:37 | → | supastupid joins (~dexter@c-76-118-2-54.hsd1.nh.comcast.net) |
| 2021-03-03 18:33:55 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-03 18:34:13 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-03 18:34:47 | × | terrorjack quits (~terrorjac@ec2-18-162-149-225.ap-east-1.compute.amazonaws.com) (Quit: The Lounge - https://thelounge.chat) |
| 2021-03-03 18:37:00 | × | supastupid quits (~dexter@c-76-118-2-54.hsd1.nh.comcast.net) (Ping timeout: 246 seconds) |
| 2021-03-03 18:38:55 | → | supastupid joins (~dexter@c-76-118-2-54.hsd1.nh.comcast.net) |
| 2021-03-03 18:39:24 | <Liskni_si> | I quite like https://tsier.github.io/xmonad-web/index.html, it even correctly reverts to one column when resized, which xmonad.org does not and is therefore probably unusable on mobile |
| 2021-03-03 18:41:21 | <Liskni_si> | and I personally prefer jekyll because it just works out of the box on github, but I have absolutely no intention to interfere in these matters |
| 2021-03-03 18:41:50 | <Liskni_si> | whoever gets the website up gets to decide how, probably :-) |
| 2021-03-03 18:42:00 | <Solid> | well if you people all like it I won't pull a peti on you :) |
| 2021-03-03 18:42:10 | <Solid> | not that I could, anyways |
| 2021-03-03 18:43:02 | <Liskni_si> | on the other hand, the current website isn't all that bad on my mobile (which is on the small side) |
| 2021-03-03 18:43:19 | × | supastupid quits (~dexter@c-76-118-2-54.hsd1.nh.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-03 18:45:09 | → | supastupid joins (~dexter@c-76-118-2-54.hsd1.nh.comcast.net) |
| 2021-03-03 18:50:54 | × | supastupid quits (~dexter@c-76-118-2-54.hsd1.nh.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-03 18:51:03 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-03 18:52:26 | → | supastupid joins (~dexter@c-76-118-2-54.hsd1.nh.comcast.net) |
| 2021-03-03 18:56:44 | × | supastupid quits (~dexter@c-76-118-2-54.hsd1.nh.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-03 18:57:23 | <mc47> | Liskni_si that's definitely a great plus for jekyll, I have no idea how to use both tbh (I just know Hakyll exists!) |
| 2021-03-03 18:58:40 | → | supastupid joins (~dexter@c-76-118-2-54.hsd1.nh.comcast.net) |
| 2021-03-03 18:58:46 | <Solid> | I feel like if anything we'd _have_ to use hakyll :D |
| 2021-03-03 19:00:18 | <mc47> | I also like haskell too much not to at least play with hakyll on my own haha |
| 2021-03-03 19:01:15 | <Solid> | and I'm sort of certain that there's a way to make it work with github directly |
| 2021-03-03 19:03:57 | × | supastupid quits (~dexter@c-76-118-2-54.hsd1.nh.comcast.net) (Ping timeout: 246 seconds) |
| 2021-03-03 19:06:00 | → | supastupid joins (~dexter@c-76-118-2-54.hsd1.nh.comcast.net) |
| 2021-03-03 19:07:26 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds) |
| 2021-03-03 19:09:22 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-03 19:11:19 | × | supastupid quits (~dexter@c-76-118-2-54.hsd1.nh.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-03 19:11:57 | × | rafadc quits (~rafadc@213.37.16.152.dyn.user.ono.com) (Ping timeout: 264 seconds) |
| 2021-03-03 19:13:18 | → | supastupid joins (~dexter@c-76-118-2-54.hsd1.nh.comcast.net) |
| 2021-03-03 19:17:42 | × | supastupid quits (~dexter@c-76-118-2-54.hsd1.nh.comcast.net) (Ping timeout: 256 seconds) |
| 2021-03-03 19:19:34 | <Liskni_si> | yeah I'm pretty sure github actions can run hakyll and deploy to github pages somehow |
| 2021-03-03 19:25:06 | → | heck-to-the-gnom joins (heck-to-th@gateway/shell/matrix.org/x-dkqfwxrpalpplgbl) |
| 2021-03-03 19:28:00 | → | terrorjack joins (~terrorjac@ec2-18-162-149-225.ap-east-1.compute.amazonaws.com) |
| 2021-03-03 19:29:26 | <geekosaur> | (continued from #haskell) |
| 2021-03-03 19:29:50 | <geekosaur> | so for starters, when you're in X you use XMonad.Operations.windows to operate on the StackSet |
| 2021-03-03 19:30:55 | <geekosaur> | in your paste ( https://p.bsd-unix.net/view/174f75a1 ) you then use gets, which won't work inside windows for the same reason you can't operate on the StackSet outside of windows. your first commented-out attempt looks to me like it should work, though |
| 2021-03-03 19:32:28 | <heck-to-the-gnom> | My first attempt as in? P.modify''..., the uncommented one or W.modify'? |
| 2021-03-03 19:32:33 | <geekosaur> | windows $ \ws -> W.modify' ... |
| 2021-03-03 19:33:54 | <heck-to-the-gnom> | so... `windows $ \ws -> W.modify (\(W.Stack t r rs) -> W.Stack t [] (reverse r ++ rs))?` |
| 2021-03-03 19:34:08 | <heck-to-the-gnom> | I meant to put the question mark after the backtick, my bad. |
| 2021-03-03 19:34:14 | <geekosaur> | yes. I think. |
| 2021-03-03 19:34:48 | <heck-to-the-gnom> | That alone, gives a wall of errors, not certain what they all mean, but they're all type mismatches |
| 2021-03-03 19:35:08 | <heck-to-the-gnom> | Couldn't match expected type `X b0' with actual type `(WindowSet -> WindowSet) -> X ()' |
| 2021-03-03 19:35:13 | <heck-to-the-gnom> | etc |
| 2021-03-03 19:35:53 | <geekosaur> | sounds like you did something else wrong then. can you pastebin? |
| 2021-03-03 19:36:19 | <geekosaur> | (the error you show is actually an unexpected parameter, which suggests you're doing this in the wrong place) |
| 2021-03-03 19:39:14 | <heck-to-the-gnom> | https://p.bsd-unix.net/view/40622551 |
| 2021-03-03 19:40:50 | <heck-to-the-gnom> | If this is of any help, running other operations with the `windows` function has worked, just not this particular item |
| 2021-03-03 19:41:16 | <geekosaur> | ok, I think the problem here is that you're combining with >> so the $ is "eating" too much and you need to use parentheses instead |
| 2021-03-03 19:41:54 | <geekosaur> | generally we use do syntax and it stops at the beginning of the line, but that only works with do |
| 2021-03-03 19:41:56 | <heck-to-the-gnom> | That's the last item on the list, so that seems peculiar to me, but I'll go ahead and try that |
| 2021-03-03 19:42:25 | <geekosaur> | it's not peculiar |
| 2021-03-03 19:42:43 | <geekosaur> | it's applying the whole list through "windows", isntead of just "windows" |
| 2021-03-03 19:42:45 | <heck-to-the-gnom> | To me it seems so, perhaps not to someone experienced in Haskell |
| 2021-03-03 19:45:10 | <geekosaur> | ($) has lowest precedence and associates rightward |
| 2021-03-03 19:45:34 | <heck-to-the-gnom> | The first two errors disappeared, but the one with `Maybe (W.Stack...` is still here, and another one appeared being: |
| 2021-03-03 19:46:29 | <geekosaur> | you used W.modify instead of W.modify' |
| 2021-03-03 19:46:30 | heck-to-the-gnom | sent a long message: < https://matrix.org/_matrix/media/r0/download/matrix.org/UerEkZkeZlCpRXpYJjyVlloD/message.txt > |
| 2021-03-03 19:46:42 | <heck-to-the-gnom> | OK, and woops, hit enter too soon |
| 2021-03-03 19:47:15 | <heck-to-the-gnom> | Lone error now, same one that I just accidentally sent |
| 2021-03-03 19:48:00 | <heck-to-the-gnom> | OH |
| 2021-03-03 19:48:13 | <heck-to-the-gnom> | I added ws in, and it compiled, now time to see if it works. |
| 2021-03-03 19:49:10 | <geekosaur> | could probably leave out the `\ws ->` and final `ws`, I was writing generically |
| 2021-03-03 19:50:04 | <heck-to-the-gnom> | You're right, damn, I love haskell's argument system |
| 2021-03-03 19:50:27 | <heck-to-the-gnom> | well, most of the time, that '$' thing is still a bit beyond me |
| 2021-03-03 19:50:55 | <heck-to-the-gnom> | (the quirk (or at least percieved as so by me) that I just encountered) |
| 2021-03-03 19:51:54 | <Solid> | you'll get used to the rules surrounding `$' relatively quickly |
| 2021-03-03 19:54:40 | <heck-to-the-gnom> | I just figured that everything past `windows` would get accepted as a function, and the `ws` argument would get passed on from windows, seeing as it's only one parenthesized function with arguments (well, technically still a function due to haskells argument system, but I'm certain you know that already). |
| 2021-03-03 19:57:26 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-03 19:57:47 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-03 20:01:44 | <mc47> | I love "Aha!" moments :=) you're in for a treat if you decide to learn haskell ;) |
| 2021-03-03 20:02:13 | <toniz4> | how can i make a local module? I want to define the xmobar and xmonad colors in one file. Sorry if it is a noob question |
| 2021-03-03 20:02:30 | <heck-to-the-gnom> | I've been doing so casually for a few months now, it certainly is a rewarding language once you start to grasp it. |
| 2021-03-03 20:02:36 | → | unrooted joins (~unrooted@user-5-173-8-8.play-internet.pl) |
All times are in UTC.