Logs: freenode/#xmonad
| 2020-12-13 02:57:18 | <By_JumperX4[m]> | now it's good |
| 2020-12-13 02:57:21 | <By_JumperX4[m]> | thx |
| 2020-12-13 02:57:36 | <vrs> | avoidstruts is a layout modifier, you can think of it a bit like a function |
| 2020-12-13 02:57:49 | <vrs> | it takes a layout and returns another layout |
| 2020-12-13 02:57:55 | <By_JumperX4[m]> | hmmm |
| 2020-12-13 02:58:06 | <vrs> | and the parens decide what the precedence is |
| 2020-12-13 02:58:07 | <By_JumperX4[m]> | okay |
| 2020-12-13 02:58:46 | <By_JumperX4[m]> | now that I can read the clock without having to close all my windows, I have to find a way to remove that horrible focus on mouse hover |
| 2020-12-13 03:00:19 | <vrs> | tried https://wiki.haskell.org/Xmonad/Frequently_asked_questions#I_don.27t_want_the_focus_to_follow_the_mouse? |
| 2020-12-13 03:03:10 | <By_JumperX4[m]> | uuuh |
| 2020-12-13 03:03:18 | <By_JumperX4[m]> | I don't have that in my config file |
| 2020-12-13 03:04:29 | <vrs> | , focusFollowsMouse = False |
| 2020-12-13 03:06:42 | <By_JumperX4[m]> | compilation fails with this |
| 2020-12-13 03:06:49 | <By_JumperX4[m]> | No such file or direcory |
| 2020-12-13 03:07:03 | <vrs> | ?? |
| 2020-12-13 03:07:09 | By_JumperX4[m] | sent a long message: < https://matrix.org/_matrix/media/r0/download/matrix.org/NVQEXbqhyBQjLzwYkYlvCpML/message.txt > |
| 2020-12-13 03:07:38 | <vrs> | put it where you also set the layouthook |
| 2020-12-13 03:07:50 | → | abhixec joins (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net) |
| 2020-12-13 03:08:00 | <vrs> | also it's focusFollowsMouse not focusFollowMouse |
| 2020-12-13 03:08:31 | → | rabliatu joins (~quassel@184.170.240.109) |
| 2020-12-13 03:08:41 | <By_JumperX4[m]> | nice |
| 2020-12-13 03:08:44 | <By_JumperX4[m]> | this is way better |
| 2020-12-13 03:08:56 | <By_JumperX4[m]> | now my xmonad is almost usable |
| 2020-12-13 03:09:09 | <By_JumperX4[m]> | I just have to make that xmobar less empty |
| 2020-12-13 03:09:15 | <By_JumperX4[m]> | and less broken also |
| 2020-12-13 03:09:31 | <By_JumperX4[m]> | then I'll have to do 2-3 rebinds |
| 2020-12-13 03:10:01 | <By_JumperX4[m]> | (like moving Mod + T to Mod + Space and moving Mod + Return to Ctrl + Alt + T) |
| 2020-12-13 03:24:05 | × | theDon quits (~td@94.134.91.51) (Ping timeout: 240 seconds) |
| 2020-12-13 03:26:13 | → | theDon joins (~td@muedsl-82-207-238-126.citykom.de) |
| 2020-12-13 03:45:07 | → | earldouglas joins (~james@unaffiliated/jamestastic) |
| 2020-12-13 04:52:14 | → | doct0rhu joins (~orctarorg@pool-72-88-158-154.nwrknj.fios.verizon.net) |
| 2020-12-13 05:26:45 | × | terrorjack quits (~terrorjac@static.23.111.201.195.clients.your-server.de) (Remote host closed the connection) |
| 2020-12-13 05:46:28 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2020-12-13 05:49:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2020-12-13 06:04:19 | → | palo1 joins (~weechat@c-base/crew/palo) |
| 2020-12-13 06:07:43 | × | palo quits (~weechat@c-base/crew/palo) (Ping timeout: 260 seconds) |
| 2020-12-13 06:07:44 | palo1 | is now known as palo |
| 2020-12-13 06:17:16 | × | abhixec quits (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2020-12-13 06:20:01 | × | ddellacosta quits (dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 264 seconds) |
| 2020-12-13 06:51:27 | × | thunderrd quits (~thunderrd@183.182.111.131) (Quit: If it wasn't written down it didn't happen...) |
| 2020-12-13 07:59:02 | × | growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2020-12-13 08:44:35 | → | notis joins (~notis@45.134.22.48) |
| 2020-12-13 09:08:22 | → | wonko7 joins (~wonko7@2a01:e35:2ffb:7040:14a1:46f4:68f7:2133) |
| 2020-12-13 09:45:58 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2020-12-13 10:12:08 | × | doct0rhu quits (~orctarorg@pool-72-88-158-154.nwrknj.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2020-12-13 10:18:15 | → | daphnis joins (~daphnis@cm-84.214.179.98.getinternet.no) |
| 2020-12-13 10:18:15 | → | daphnis_ joins (~daphnis@cm-84.214.179.98.getinternet.no) |
| 2020-12-13 10:27:46 | <mc47> | Hey! |
| 2020-12-13 10:28:13 | <mc47> | What do you people think about this https://github.com/xmonad/xmonad-contrib/issues/381 ? What would be the best place to mention how to run tests for the xmonad-contrib package? |
| 2020-12-13 10:29:11 | <mc47> | I thought about adding it to the CONTRIBUTING.md file, but maybe XMonad.Doc.Developing is a better place |
| 2020-12-13 10:37:01 | <Solid> | psibi[m]: I saw that the `tests.yml` you added for xmonad-contrib only goes back to lts-14, while the one for xmonad goes back to lts-12; is there a reason for that? |
| 2020-12-13 10:37:38 | <Solid> | mc47: CONTRIBUTING sounds good to me, if one contributes tests for their module it's of course important that they actually run ;) |
| 2020-12-13 10:41:29 | <mc47> | Solid I thought the same, but XMonad.Doc.Developing seemed to have more detailed information about Code style, haddock, hlint and stuff like that |
| 2020-12-13 10:43:08 | <mc47> | But i feel that that file is getting ignored/overlooked: there is a point stating "There should be no warnings", which is kinda ignored |
| 2020-12-13 10:44:09 | <Solid> | mc47: Indeed; I'm currently in the procces of removing unused import warnings and let's just say "-Wall -Werror" doesn't *quite* compile ;) |
| 2020-12-13 10:44:33 | <Solid> | Also hlinting contrib was on the cards at one point---many people don't do that with the modules they submit |
| 2020-12-13 10:45:28 | <Solid> | also things like "use 4 spaces", "follow the coding style of the other modules" probably have never been enforced |
| 2020-12-13 10:45:53 | <Solid> | and you are explicitly told about the existence of CONTRIBUTING when you submit a merge request |
| 2020-12-13 10:46:03 | <Solid> | so I think that is the better place in this case |
| 2020-12-13 10:46:21 | <mc47> | That's true |
| 2020-12-13 10:47:14 | <Solid> | it may be worth making X.D.Developing more visible though |
| 2020-12-13 10:47:17 | <mc47> | I think the best thing is to mention it there, and mention the existence XMonad.Doc.Developing there |
| 2020-12-13 10:47:23 | <mc47> | Exactly what I wanted to say |
| 2020-12-13 10:47:27 | <Solid> | :) |
| 2020-12-13 10:47:31 | <Solid> | Yes! |
| 2020-12-13 10:48:07 | <mc47> | Cool, I take care of the uni stuff and I'll do it |
| 2020-12-13 10:48:25 | <Solid> | awesome, thanks! |
| 2020-12-13 10:48:35 | <mc47> | taking care of the hlint warnings is on my todo list... but I'll probably do more fun stuff first |
| 2020-12-13 10:48:38 | <mc47> | :) |
| 2020-12-13 10:48:52 | <Solid> | hah, yeah I started doing this at one point |
| 2020-12-13 10:49:05 | <Solid> | it's a very thankless (and boring) job |
| 2020-12-13 10:49:45 | <mc47> | btw, if I remember correctly, you use emacs, right? |
| 2020-12-13 10:49:53 | <Solid> | I do yes |
| 2020-12-13 10:50:06 | <mc47> | are you using dante for haskell? or lsp? |
| 2020-12-13 10:50:33 | <mc47> | or something else? |
| 2020-12-13 10:50:55 | <Solid> | I used to use intero, but once that became unmaintained I caved and switched to the LSP solution |
| 2020-12-13 10:51:13 | <Solid> | it's... bearable with Emacs 27+ and proper JSON parsing support |
| 2020-12-13 10:51:42 | <Liskni_si> | I think all this hlint and warnings and coding style should just be automated these days. People aren't going to remember to run it manually. |
| 2020-12-13 10:52:41 | <Solid> | Liskni_si: yes, we could probably integrate hlint into the github actions thing |
| 2020-12-13 10:52:51 | <Solid> | but we'd still need to manually sort this out at least once first |
| 2020-12-13 10:52:52 | <mc47> | I had so many trouble setting it up, so I'm sticking to dante... But yes, emacs is terribly slow, which makes me sad |
| 2020-12-13 10:53:16 | <mc47> | Solid if you have your emacs config hosted somewhere, would you want to throw a link? maybe it'll help me |
| 2020-12-13 10:53:36 | <mc47> | Liskni_si definitely |
| 2020-12-13 10:54:30 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 2020-12-13 10:55:47 | <Solid> | mc47: emacs 27 really improves things since it can be compiled to use jansson instead of the handrolled elisp parser they were using before |
| 2020-12-13 10:57:14 | <mc47> | Solid I'm using that too, but some parts are still slow (I'm using it for Isabelle/HOL, but I find myself switching to jEdit if things get a bit complicated... maybe the mode is just coded sub-optimally) |
| 2020-12-13 10:57:20 | <Solid> | mc47: sure, the relevant parts are https://gitlab.com/slotThe/dotfiles/-/blob/master/emacs/.config/emacs/configuration.org#L1182 and https://gitlab.com/slotThe/dotfiles/-/blob/master/emacs/.config/emacs/configuration.org#L1133 |
| 2020-12-13 10:58:24 | <mc47> | Awesome! thanks |
| 2020-12-13 10:58:33 | <Solid> | I'm glad at least Agda has a proper emacs mode I can use :> |
| 2020-12-13 10:59:14 | <mc47> | lucky you! |
| 2020-12-13 11:07:02 | × | daphnis_ quits (~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 256 seconds) |
| 2020-12-13 11:07:36 | × | daphnis quits (~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 256 seconds) |
| 2020-12-13 11:25:48 | <Liskni_si> | psibi[m], Solid: speaking of github tests, either xmonad or xmonad-contrib should not pass now because they don't build together, but they do pass, because we're not testing the git master / git master combo |
| 2020-12-13 11:56:09 | <Solid> | aha good point |
| 2020-12-13 11:56:17 | → | daphnis joins (~daphnis@cm-84.214.179.98.getinternet.no) |
| 2020-12-13 11:56:18 | → | daphnis_ joins (~daphnis@cm-84.214.179.98.getinternet.no) |
| 2020-12-13 11:56:34 | <Solid> | I have sadly never used github actions personally, so can't help much there :/ |
| 2020-12-13 12:05:40 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 2020-12-13 12:35:35 | × | daphnis_ quits (~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 258 seconds) |
| 2020-12-13 12:35:35 | × | daphnis quits (~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 258 seconds) |
All times are in UTC.