Logs on 2021-03-30 (freenode/#xmonad)
| 00:13:16 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 245 seconds) |
| 00:19:25 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 00:31:07 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 268 seconds) |
| 02:09:07 | → | gazler_ joins (~gazler@195.107.2.81.in-addr.arpa) |
| 02:11:42 | × | gazler quits (~gazler@195.107.2.81.in-addr.arpa) (Ping timeout: 265 seconds) |
| 02:30:23 | <heck-to-the-gnom> | I finally decided to sink more time into it, now I have xmonad-git on nix ( on arch technically, but yeah )! (it wasn't that hard, I just had to do a lot of digging around in nix) |
| 02:31:46 | <heck-to-the-gnom> | Does anyone recommend a commit for reasonable use? I'm OK with minor bugginess, and I will have to use the head of the master branch if I want to contribute more, but any commit specifically? |
| 03:23:24 | × | crab quits (~crab@pitta.toroid.org) (Remote host closed the connection) |
| 03:25:00 | → | crab joins (~crab@pitta.toroid.org) |
| 04:43:03 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 05:08:04 | eb0t_ | is now known as eblip |
| 05:19:40 | × | Shadorain quits (uid453914@gateway/web/irccloud.com/x-vdzqbqbofpuunlrg) (Quit: Connection closed for inactivity) |
| 05:38:37 | × | growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 05:56:59 | → | palo1 joins (~weechat@c-base/crew/palo) |
| 05:57:50 | <Solid> | heck-to-the-gnom: I think HEAD is stable enough |
| 06:00:00 | × | palo quits (~weechat@c-base/crew/palo) (Ping timeout: 246 seconds) |
| 06:00:00 | palo1 | is now known as palo |
| 06:03:32 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 06:21:40 | → | notis joins (~notis@85.203.44.184) |
| 06:30:45 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 240 seconds) |
| 06:32:34 | → | hexo joins (~hexo@gateway/tor-sasl/hexo) |
| 06:38:05 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 06:41:18 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 246 seconds) |
| 06:43:30 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 07:08:38 | × | rafadc_ quits (~rafadc@213.37.16.152.dyn.user.ono.com) (Ping timeout: 240 seconds) |
| 07:18:43 | → | rafadc joins (~rafadc@213.37.16.152.dyn.user.ono.com) |
| 07:23:40 | × | rafadc quits (~rafadc@213.37.16.152.dyn.user.ono.com) (Ping timeout: 268 seconds) |
| 07:24:28 | → | rafadc joins (~rafadc@213.37.16.152.dyn.user.ono.com) |
| 07:48:57 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 268 seconds) |
| 07:50:53 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 08:09:25 | × | thunderrd quits (~thunderrd@183.182.111.116) (Remote host closed the connection) |
| 08:33:38 | × | notis quits (~notis@85.203.44.184) (Ping timeout: 240 seconds) |
| 08:36:02 | → | notis joins (~notis@85.203.44.170) |
| 08:36:32 | → | thunderrd joins (~thunderrd@183.182.111.116) |
| 08:36:58 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 240 seconds) |
| 09:04:46 | → | mc47 joins (~yecinem@196.179.190.248) |
| 09:06:41 | <mc47> | Solid just out of interest, how did you change all the imports in the modules in your Prelude PR? |
| 09:07:41 | <Solid> | painfully |
| 09:07:52 | <mc47> | haha+ |
| 09:08:05 | <Solid> | I did a first round with sed where I just replaced every `Data.Foldable` import etc. with `XMonad.Prelude` |
| 09:08:39 | <Solid> | and then I counsel-rg'd all imports and deleted duplicates |
| 09:09:58 | <Solid> | though I'm wondering if something like this would've been possible with retrie or a similar tool |
| 09:12:28 | <mc47> | I have no idea |
| 09:12:50 | <mc47> | I'm still having troubles getting my emacs setup working to the point I want it to |
| 09:14:34 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 09:21:49 | <Solid> | just do it like SPJ and only use haskell-mode :D |
| 09:39:37 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 09:50:38 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 240 seconds) |
| 09:53:57 | → | idhugo joins (~idhugo@87-49-45-185-mobile.dk.customer.tdc.net) |
| 09:53:59 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 10:15:03 | <mc47> | I tried LSP, it feels like I'm trying to kill a spider with a tank |
| 10:15:24 | <mc47> | I think I'll just go back to dante... it just works |
| 10:15:56 | × | novas0x2a quits (~blah@157-131-126-102.fiber.dynamic.sonic.net) (Quit: Leaving.) |
| 10:17:39 | <Liskni_si> | I'm quite happy with ghcid. The thought of trying to tell my editor how to invoke HLS for any particular file scares me. |
| 10:18:30 | → | idhugo_ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 10:18:39 | × | rafadc quits (~rafadc@213.37.16.152.dyn.user.ono.com) (Ping timeout: 246 seconds) |
| 10:19:19 | <mc47> | the best thing about dante is the REPLoid and the fact that I can highlight some text and ask for its type (like some complex expression) |
| 10:19:35 | <mc47> | and hlint integration, of course |
| 10:19:43 | <mc47> | it helps with exploring and learning haskell |
| 10:20:24 | → | rafadc joins (~rafadc@213.37.16.152.dyn.user.ono.com) |
| 10:20:54 | × | idhugo quits (~idhugo@87-49-45-185-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds) |
| 10:25:37 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 260 seconds) |
| 10:29:21 | <mc47> | does someone have an dumbed-down explanation of how the keybindings work? |
| 10:29:49 | <mc47> | I'm trying to pick up the work of LSLeary (input modes: https://gist.github.com/LSLeary/6741b0572d62db3f0cea8e6618141b2f) |
| 10:34:43 | <Liskni_si> | we ask X for a passive grab, which means when the keybinding is pressed, X hands the keyboard to us, and once it's released, normal processing returns |
| 10:40:50 | <mc47> | there are some shenanigans happening with the numLock mask that I don't understand |
| 10:43:38 | <Liskni_si> | I know nothing about those |
| 10:44:42 | <mc47> | I'm looking at the submap code |
| 10:44:56 | <mc47> | -- Remove num lock mask and Xkb group state bits |
| 10:44:56 | <mc47> | m' <- cleanMask $ m .&. ((1 `shiftL` 12) - 1) |
| 10:47:44 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 11:04:41 | × | typetetris quits (sid275937@gateway/web/irccloud.com/x-dcerdocovoshoxng) (Quit: Connection closed for inactivity) |
| 11:14:28 | → | eb0t joins (~eblip@unaffiliated/eblip) |
| 11:14:37 | → | eb0t_ joins (~eblip@unaffiliated/eblip) |
| 11:15:54 | × | def_jam quits (~eblip@unaffiliated/eblip) (Ping timeout: 252 seconds) |
| 11:16:05 | × | eblip quits (~eblip@unaffiliated/eblip) (Ping timeout: 246 seconds) |
| 11:16:42 | <mc47> | regarding the names of the functions, how about `bindSB` instead of `makeStatusBar` and `bindAndManageSB` instead of `makeStatusBar'`? |
| 11:17:26 | <mc47> | manage sounds... off |
| 11:17:35 | <mc47> | bindSBExtras? |
| 11:26:45 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Quit: WeeChat 3.1) |
| 11:29:21 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 246 seconds) |
| 11:35:37 | → | Shadorain joins (uid453914@gateway/web/irccloud.com/x-upujwpnrlwgnzwtx) |
| 11:38:17 | → | azg256 joins (~azg256@78-56-98-5.static.zebra.lt) |
| 12:05:41 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 12:10:16 | <geekosaur> | numlockMask is a server hack, X11 was designed for keyboards without numlock so they had to stick it and its functionality somewhere |
| 12:10:43 | <geekosaur> | they stole a modifier bit, so that has to be stripped out for most things to work regardless of numlock state. |
| 12:11:49 | <geekosaur> | our handling of Xkb states is a bit more dubious, arguably we should track that in keybinds so people could e.g. move keys around depending on Xkb level, but that also becomes very complex for both users and implementors quickly |
| 12:53:24 | <mc47> | huh, I think I'm starting to see what's going on |
| 12:53:26 | <mc47> | thanks! |
| 12:58:42 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 13:06:29 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 13:11:35 | → | idhugo__ joins (~idhugo@87-49-45-185-mobile.dk.customer.tdc.net) |
| 13:14:32 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds) |
| 13:19:54 | <Solid> | X.D.Developing could certainly use an overhaul |
| 13:38:30 | × | srk quits (~sorki@gateway/tor-sasl/sorki) (Remote host closed the connection) |
| 13:38:30 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (Remote host closed the connection) |
| 13:38:48 | → | hexo joins (~hexo@gateway/tor-sasl/hexo) |
| 13:38:49 | → | srk joins (~sorki@gateway/tor-sasl/sorki) |
| 13:43:15 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 13:48:09 | → | thoros joins (~thoros@194-166-47-167.hdsl.highway.telekom.at) |
| 13:55:27 | × | azg256 quits (~azg256@78-56-98-5.static.zebra.lt) (Quit: leaving) |
| 14:04:33 | × | thoros quits (~thoros@194-166-47-167.hdsl.highway.telekom.at) (Quit: WeeChat 3.0.1) |
| 14:11:35 | → | azg256 joins (~azg256@78-56-98-5.static.zebra.lt) |
| 14:18:49 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 14:20:50 | × | idhugo__ quits (~idhugo@87-49-45-185-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
| 14:40:34 | → | materiyolo joins (~materiyol@112.204.174.249) |
| 14:57:27 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 15:04:35 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 15:13:32 | × | azg256 quits (~azg256@78-56-98-5.static.zebra.lt) (Quit: leaving) |
| 15:28:24 | → | azg256 joins (~azg256@78-56-98-5.static.zebra.lt) |
| 15:48:49 | × | notis quits (~notis@85.203.44.170) (Read error: Connection reset by peer) |
| 15:51:36 | → | notis joins (~notis@85.203.44.170) |
| 15:58:05 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 16:08:46 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 16:09:55 | → | thoros joins (~thoros@194-166-47-167.hdsl.highway.telekom.at) |
| 16:26:28 | → | idhugo__ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 16:28:04 | → | mmarconm joins (~mmarconm@unaffiliated/mmarconm) |
| 16:33:01 | → | growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 16:59:34 | × | mmarconm quits (~mmarconm@unaffiliated/mmarconm) (Quit: Leaving) |
| 17:15:33 | × | idhugo__ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 17:16:01 | → | idhugo__ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 17:23:54 | × | idhugo__ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 17:36:43 | × | materiyolo quits (~materiyol@112.204.174.249) (Quit: WeeChat 3.0.1) |
| 17:45:40 | → | idhugo__ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 17:49:22 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 18:05:39 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 18:12:54 | × | thoros quits (~thoros@194-166-47-167.hdsl.highway.telekom.at) (Quit: WeeChat 3.0.1) |
| 18:15:13 | × | azg256 quits (~azg256@78-56-98-5.static.zebra.lt) (Quit: leaving) |
| 18:16:33 | → | azg256 joins (~azg256@78-56-98-5.static.zebra.lt) |
| 18:27:15 | eb0t_ | is now known as eblip |
| 18:32:36 | × | azg256 quits (~azg256@78-56-98-5.static.zebra.lt) (Quit: leaving) |
| 18:57:46 | <heck-to-the-gnom> | I've convinced maybe 3 people at this point to start using xmonad. All from the `Arch Linux` matrix room. So, that's cool, I guess. |
| 18:59:27 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 246 seconds) |
| 19:01:51 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 19:22:20 | <burp> | :D |
| 19:22:50 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 19:23:09 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 252 seconds) |
| 19:25:02 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 19:26:11 | <mc47[m]> | I think we'll get more activity once we do the release |
| 19:37:43 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 19:58:38 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 240 seconds) |
| 20:00:59 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 20:13:42 | × | mc47 quits (~yecinem@196.179.190.248) (Remote host closed the connection) |
| 20:13:47 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 20:14:29 | → | kelnoky joins (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 20:18:12 | × | idhugo__ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds) |
| 20:24:27 | → | mc47 joins (~yecinem@196.179.190.248) |
| 20:40:38 | × | notis quits (~notis@85.203.44.170) (Ping timeout: 240 seconds) |
| 20:45:50 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 260 seconds) |
| 20:50:10 | × | mc47 quits (~yecinem@196.179.190.248) (Remote host closed the connection) |
| 21:51:32 | × | seschwar quits (~seschwar@unaffiliated/seschwar) (Quit: :wq) |
| 21:57:39 | × | eyenx quits (~eyenxeyen@unaffiliated/eye/x-1653358) (Quit: Bridge terminating on SIGTERM) |
| 22:00:12 | → | eyenx joins (~eyenxeyen@unaffiliated/eye/x-1653358) |
| 22:00:48 | × | eyenx quits (~eyenxeyen@unaffiliated/eye/x-1653358) (Remote host closed the connection) |
| 22:05:17 | → | novas0x2a joins (~blah@157-131-126-102.fiber.dynamic.sonic.net) |
| 22:05:23 | → | eyenx joins (~eyenxeyen@unaffiliated/eye/x-1653358) |
| 22:06:34 | × | novas0x2a quits (~blah@157-131-126-102.fiber.dynamic.sonic.net) (Client Quit) |
| 22:20:42 | × | kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 22:23:24 | → | novas0x2a joins (~blah@157-131-126-102.fiber.dynamic.sonic.net) |
| 22:23:30 | × | novas0x2a quits (~blah@157-131-126-102.fiber.dynamic.sonic.net) (Client Quit) |
| 22:38:47 | → | codedmart_ joins (~codedmart@149.28.9.205) |
| 22:39:06 | → | tcb joins (~quassel@212-51-143-151.fiber7.init7.net) |
| 22:39:06 | × | tcb quits (~quassel@212-51-143-151.fiber7.init7.net) (Changing host) |
| 22:39:06 | → | tcb joins (~quassel@freebsd/developer/tcberner) |
| 22:39:43 | → | styledash7 joins (~styledash@157.230.173.136) |
| 22:40:26 | → | skewerr joins (~spoonm@tokyo.spoonm.org) |
| 22:41:22 | × | scardinal quits (~supreme@unaffiliated/scardinal) (Ping timeout: 265 seconds) |
| 22:41:24 | × | crmaurei quits (crmaurei@nat/qt/x-gyvfhyyznxnkyoal) (Read error: Connection reset by peer) |
| 22:41:24 | × | Ristovski quits (~364e20076@unaffiliated/ristovski) (Read error: Connection reset by peer) |
| 22:41:41 | → | sundbry_ joins (~quassel@99-42-143-129.lightspeed.sntcca.sbcglobal.net) |
| 22:41:47 | × | fizzie quits (fis@unaffiliated/fizzie) (Ping timeout: 265 seconds) |
| 22:41:48 | → | scardinal joins (~supreme@unaffiliated/scardinal) |
| 22:41:48 | → | crmaurei joins (crmaurei@nat/qt/x-wpancojchnjrnbkd) |
| 22:42:01 | × | spoonm quits (~spoonm@tokyo.spoonm.org) (Read error: Connection reset by peer) |
| 22:42:03 | → | fizzie joins (fis@unaffiliated/fizzie) |
| 22:42:16 | × | sundbry quits (~quassel@99-42-143-129.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 22:42:26 | → | jtcs_ joins (~jtcs@vmi359854.contaboserver.net) |
| 22:42:45 | × | tcberner quits (~quassel@freebsd/developer/tcberner) (Ping timeout: 265 seconds) |
| 22:43:09 | → | Solitary_ joins (~Solitary@ip-78-45-155-137.net.upcbroadband.cz) |
| 22:43:13 | × | jtcs quits (~jtcs@vmi359854.contaboserver.net) (Ping timeout: 240 seconds) |
| 22:43:13 | × | Solitary quits (~Solitary@ip-78-45-155-137.net.upcbroadband.cz) (Ping timeout: 240 seconds) |
| 22:43:13 | × | p71 quits (~chatzilla@097-083-185-160.res.spectrum.com) (Ping timeout: 240 seconds) |
| 22:43:13 | × | codedmart quits (~codedmart@149.28.9.205) (Read error: Connection reset by peer) |
| 22:43:13 | × | styledash quits (~styledash@157.230.173.136) (Ping timeout: 240 seconds) |
| 22:43:13 | → | Ristovski joins (~364e20076@unaffiliated/ristovski) |
| 22:43:14 | styledash7 | is now known as styledash |
| 22:44:22 | → | p71 joins (~chatzilla@097-083-185-160.res.spectrum.com) |
| 22:44:41 | Solitary_ | is now known as Solitary |
| 22:45:20 | skewerr | is now known as spoonm |
| 22:56:11 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 245 seconds) |
All times are in UTC on 2021-03-30.