Logs on 2021-01-24 (freenode/#xmonad)
| 00:36:07 | × | notis quits (~notis@185.51.134.222) (Ping timeout: 264 seconds) |
| 01:34:45 | → | gazler joins (~gazler@2001:8b0:b165:a8d2:1553:5c63:3022:700e) |
| 01:35:25 | × | gazler_ quits (~gazler@2001:8b0:b165:a8d2:1553:5c63:3022:700e) (Read error: Connection reset by peer) |
| 03:13:12 | × | gaberdines quits (~sid312924@103.144.175.210) (Remote host closed the connection) |
| 03:32:43 | × | theDon quits (~td@94.134.91.217) (Ping timeout: 246 seconds) |
| 03:34:49 | → | theDon joins (~td@muedsl-82-207-238-092.citykom.de) |
| 05:02:09 | → | idhugo joins (~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) |
| 06:10:39 | × | growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 06:14:04 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 06:21:55 | → | palo1 joins (~weechat@c-base/crew/palo) |
| 06:25:10 | × | palo quits (~weechat@c-base/crew/palo) (Ping timeout: 256 seconds) |
| 06:25:10 | palo1 | is now known as palo |
| 06:58:27 | × | nkuld4 quits (~nkuld4@2600:1008:b14f:b2db:4ff5:72d8:7f87:2702) (Ping timeout: 272 seconds) |
| 07:01:37 | → | nkuld4 joins (~nkuld4@2600:1008:b15b:d686:773d:4b3a:b0f5:c0cd) |
| 07:07:03 | × | nkuld4 quits (~nkuld4@2600:1008:b15b:d686:773d:4b3a:b0f5:c0cd) (Ping timeout: 265 seconds) |
| 07:19:13 | → | nkuld4 joins (~nkuld4@2600:1008:b120:b1b1:6e75:700f:c736:37ea) |
| 07:38:42 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 260 seconds) |
| 08:01:30 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 08:17:21 | → | idhugo_ joins (~idhugo@130.225.16.16) |
| 08:19:36 | × | idhugo quits (~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 08:24:34 | × | idhugo_ quits (~idhugo@130.225.16.16) (Read error: Connection reset by peer) |
| 08:26:19 | → | idhugo_ joins (~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) |
| 08:36:04 | × | idhugo_ quits (~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Ping timeout: 256 seconds) |
| 09:05:51 | → | idhugo_ joins (~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) |
| 09:13:48 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 09:18:39 | → | mc47 joins (~yecinem@89.246.239.190) |
| 09:30:13 | → | notis joins (~notis@185.51.134.229) |
| 09:39:38 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 264 seconds) |
| 09:42:02 | × | L29Ah quits (~L29Ah@unaffiliated/l29ah) (Quit: Gateway shutdown) |
| 09:52:49 | × | idhugo_ quits (~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 10:32:43 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 11:22:06 | → | toniz4 joins (~toniz4@unaffiliated/toniz4) |
| 11:22:08 | <mc47> | Hey, I've been looking at the TODOs in X.U.Loggers, and I'm not sure I understand what "fns for "ppExtras as a whole", combine loggers more nicely." is supposed to mean... |
| 11:23:24 | <mc47> | In my last PR (#448, it would be awesome if someone takes a look at it) I added a way to combine loggers, but I'm not sure if that is what was meant by "combine loggers more nicely" |
| 11:34:19 | → | ADG1089__ joins (~aditya@122.163.160.223) |
| 11:37:12 | <mc47> | The other TODO "dynamicLogXinerama logger? Or sorted onscreen Id's with "current" indicator?" could also be somewhat easily implemented with the stuff I added, but I wanted to see what people think about the PR first |
| 13:32:16 | × | ADG1089__ quits (~aditya@122.163.160.223) (Remote host closed the connection) |
| 13:36:49 | → | fionnan joins (~fionnan@109.255.20.201) |
| 14:01:02 | × | toniz4 quits (~toniz4@unaffiliated/toniz4) (Ping timeout: 265 seconds) |
| 14:02:31 | → | toniz4 joins (~toniz4@unaffiliated/toniz4) |
| 14:05:36 | × | toniz4 quits (~toniz4@unaffiliated/toniz4) (Remote host closed the connection) |
| 14:24:30 | → | ADG1089__ joins (~aditya@122.163.160.223) |
| 14:45:53 | → | toniz4 joins (~toniz4@unaffiliated/toniz4) |
| 14:47:21 | <toniz4> | hello, For some reason xmonad is not showing the right border in just zathura, it's white when focused and unfocused. What can be causing this? |
| 14:57:38 | → | felko joins (5cb86a5d@pop.92-184-106-93.mobile.abo.orange.fr) |
| 14:58:53 | × | ADG1089__ quits (~aditya@122.163.160.223) (Remote host closed the connection) |
| 15:01:32 | <felko> | hello, i'm currently hacking on my xmonad config and would like to turn my xmonad instance to a server that receives request/commands from a CLI client (much like what i3/bspwm i think), what's the best approach to this? I found XMonad.Hooks.ServerMode but it looks like it supports only client->server messages |
| 15:09:47 | × | toniz4 quits (~toniz4@unaffiliated/toniz4) (Quit: Lost terminal) |
| 15:16:45 | <Liskni_si> | felko: you might be able to send a reply using X.H.DynamicLog.xmonadPropLog' |
| 15:17:03 | <Liskni_si> | but it'll never be really "clean" or "nice" |
| 15:18:12 | <Liskni_si> | dbus would obviously be way nicer but the event loop in xmonad makes this almost impossible to implement |
| 15:18:17 | <felko> | yeah i might just as well dump the result in a file and let my CLI client deal with it, hoping that i will never have concurrent stuff going on |
| 15:18:27 | <Liskni_si> | (and few people dare to touch the core these days) |
| 15:18:49 | <felko> | why not? |
| 15:19:38 | <Liskni_si> | why which of the things? |
| 15:20:07 | <felko> | why few people dare to touch xmonad core |
| 15:20:19 | <Liskni_si> | oh |
| 15:21:02 | <Liskni_si> | there are very few active maintainers, so getting noncontroversial changes merged is hard as it is |
| 15:21:14 | <Liskni_si> | anything more ambitious is going to take years |
| 15:22:02 | <Liskni_si> | there's also the decade-old ideal of xmonad core being intentionally very minimal, which maybe few people really need, but nobody has the authority to change the design goals |
| 15:22:25 | <felko> | i see, are there actively maintained forks that are more flexible? |
| 15:22:46 | <Liskni_si> | haven't heard about any |
| 15:23:08 | <felko> | i mean, i don't really care to merge my features in xmonad anyway, i just want something that works for me |
| 15:23:48 | <Liskni_si> | xmonad being in Haskell probably scares most of the kids who'd have time to actually maintain a fork away |
| 15:24:02 | <Liskni_si> | or maybe it's just so niche the community is small |
| 15:24:04 | <Liskni_si> | dunno |
| 15:24:49 | <Liskni_si> | it's not like it's dead, I was recently added to the core team and several other people here have joined the xmonad-contrib community recently |
| 15:25:20 | <Liskni_si> | but there's not enough momentum to do anything wild |
| 15:25:39 | <felko> | i see |
| 15:26:18 | <felko> | what scares me is x11 more than haskell really |
| 15:35:04 | <felko> | so anyway my ultimate goal is to be able to save the layout in some workspace and reapply it later, is that possible? |
| 15:36:29 | → | geekosaur joins (ae68c070@cpe-174-104-192-112.neo.res.rr.com) |
| 15:38:07 | <Liskni_si> | xmonad does serialize and deserialize the layout when restarting, so yes, this should be technically possible |
| 15:39:01 | <felko> | but it does so for the entire state, is there a way to do it only for a single workspace? |
| 15:42:19 | <Liskni_si> | yes |
| 15:42:28 | <Liskni_si> | there's always a way :-) |
| 15:42:56 | <Liskni_si> | but you'll need to write some code, and you'll probably want to get inspired by the code that does the restart |
| 15:46:25 | <felko> | ok ill check it out, my concern is that x windows are identified by some ID, so even if i spawn the applications in the correct order and then tell xmonad to restore the layout, im not guaranteed that the windows will have the same ID |
| 15:47:29 | <felko> | the xmonad --restart assumes that no window will spawn in between the time at which xmonad is killed and relaunched |
| 15:47:58 | <Liskni_si> | most layous don't care about window ids |
| 15:48:35 | <felko> | hmm ok so i should save the layout itself rather than the StackSet i think |
| 15:48:38 | <Liskni_si> | SubLayouts does, maybe a few other as well, but most just do their thing based on the order of windows |
| 15:48:53 | <Liskni_si> | yes |
| 15:52:38 | <felko> | any examples of sublayouts in action? i tried using it before but couldn't get it to work, i'd like to use an external file tree program like "broot" running on the left and then have all my editor instances on the right, in a way that i can change the layout of the editors without affecting broot |
| 15:56:23 | <Liskni_si> | I use SubLayouts to add tabs to a normal tiled layout |
| 15:57:02 | <Liskni_si> | navigation between windows is a bit weird though, took me a while to configure something that I can use |
| 15:57:44 | <felko> | is your config hosted somewhere like github? |
| 15:57:58 | <Liskni_si> | https://github.com/liskin/dotfiles/tree/home/.xmonad |
| 15:58:08 | <felko> | thanks |
| 16:12:53 | → | ADG1089__ joins (~aditya@122.163.160.223) |
| 16:26:45 | <Liskni_si> | mc47: what do you use to see the hlint warnings, btw? |
| 16:27:35 | <Liskni_si> | (when I hack on xmonad I'm swamped by ghc warnings so hlint seems like another level that we haven't reached yet :-)) |
| 16:28:28 | <Liskni_si> | (the core is almost ready to enable -Werror, but I'm waiting for things to settle down a bit before touching it again) |
| 16:29:39 | <Liskni_si> | haven't looked at the other PRs yet as that will require an actual congnitive effort, sorry |
| 16:29:41 | <mc47> | Liskni_si I'm using doom emacs with dante-mode, which has hlint support |
| 16:29:54 | <mc47> | Liskni_si no worries! Thanks |
| 16:31:35 | <mc47> | I guess you could also run hlint from the command line |
| 16:32:43 | <mc47> | BTW, quoting from XMonad.Doc.Developing " Code should be free of any warnings or errors from the Hlint tool" .. :D |
| 16:33:16 | <Liskni_si> | yeah I can enable it in ale (vim plugin), it just feels weird to need to manually enable something and not have it be part of CI or stack test or something |
| 16:33:34 | <Liskni_si> | anyway my question was purely out of curiosity :-) |
| 16:35:38 | <mc47> | Liskni_si makes sense, if it's not enforced there's a high chance people won't respect it, so the warnings will be a distraction |
| 16:36:49 | × | ADG1089__ quits (~aditya@122.163.160.223) (Remote host closed the connection) |
| 16:37:17 | → | ADG1089__ joins (~aditya@122.163.160.223) |
| 16:43:27 | × | ADG1089__ quits (~aditya@122.163.160.223) (Remote host closed the connection) |
| 17:05:33 | → | growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 17:36:26 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 18:08:42 | <Solid> | Liskni_si: we *could* enable hlint during the CI |
| 18:08:49 | <Solid> | but that would be a very big mess right now :> |
| 18:09:29 | × | felko quits (5cb86a5d@pop.92-184-106-93.mobile.abo.orange.fr) (Quit: Connection closed) |
| 18:11:01 | → | kelnoky joins (~shao@ip1f1222c4.dynamic.kabel-deutschland.de) |
| 18:12:41 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 18:51:44 | × | nkuld4 quits (~nkuld4@2600:1008:b120:b1b1:6e75:700f:c736:37ea) (Read error: Connection reset by peer) |
| 19:12:07 | → | ADG1089__ joins (~aditya@122.163.160.223) |
| 19:24:43 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 244 seconds) |
| 19:32:45 | → | felko joins (5cb86a5d@pop.92-184-106-93.mobile.abo.orange.fr) |
| 19:49:21 | × | ADG1089__ quits (~aditya@122.163.160.223) (Remote host closed the connection) |
| 20:11:54 | → | ADG1089__ joins (~aditya@122.163.160.223) |
| 20:40:36 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 21:03:15 | × | ADG1089__ quits (~aditya@122.163.160.223) (Remote host closed the connection) |
| 21:03:31 | × | felko quits (5cb86a5d@pop.92-184-106-93.mobile.abo.orange.fr) (Quit: Connection closed) |
| 21:04:35 | → | ADG1089__ joins (~aditya@122.163.160.223) |
| 21:25:22 | × | geekosaur quits (ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Quit: Connection closed) |
| 21:36:25 | × | ADG1089__ quits (~aditya@122.163.160.223) (Remote host closed the connection) |
| 21:39:01 | → | hvr joins (~hvr@haskell/developer/hvr) |
| 22:09:17 | → | felko joins (5cb87bcb@pop.92-184-123-203.mobile.abo.orange.fr) |
| 22:12:42 | × | felko quits (5cb87bcb@pop.92-184-123-203.mobile.abo.orange.fr) (Client Quit) |
| 22:23:43 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 23:02:18 | × | seschwar quits (~seschwar@unaffiliated/seschwar) (Quit: :wq) |
| 23:04:56 | × | mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 23:39:19 | × | notis quits (~notis@185.51.134.229) (Ping timeout: 265 seconds) |
All times are in UTC on 2021-01-24.