Logs: liberachat/#xmonad
| 2022-07-04 13:03:37 | <alternateved> | Ah, I am just surprised, I work for company where FRP is used |
| 2022-07-04 13:03:44 | <geekosaur> | there are libraries for it (e.g. reactive-banana) but it's not really up to production use yet |
| 2022-07-04 13:04:21 | <geekosaur> | and I know Obsidian has some stuff that is largely dependent on fixes to Control.Arrow, which really does need a redesign |
| 2022-07-04 13:04:22 | <Guest27> | Well, all I'm trying to do is write better code. I recently wrote a hang-man in Haskell but wasn't very pleased by how the code look (https://codereview.stackexchange.com/questions/277633/hangman-game-in-haskell-written-using-a-state-monad) |
| 2022-07-04 13:04:34 | <Guest27> | Found denotational design and thought it might help me write more idiomatic code |
| 2022-07-04 13:04:54 | <geekosaur> | right, you'll do better in #haskell then |
| 2022-07-04 13:05:12 | <alternateved> | Yeah, Obsidian use reflex: https://reflex-frp.org/ |
| 2022-07-04 13:07:24 | <Guest27> | alright, thanks for the tip! |
| 2022-07-04 13:21:34 | → | Guest2776 joins (~Guest27@h-98-128-228-171.NA.cust.bahnhof.se) |
| 2022-07-04 13:21:41 | × | Guest2776 quits (~Guest27@h-98-128-228-171.NA.cust.bahnhof.se) (Client Quit) |
| 2022-07-04 13:27:37 | → | Jade1 joins (~Jade@ip-178-201-128-039.um46.pools.vodafone-ip.de) |
| 2022-07-04 13:29:53 | <Jade1> | Hello, I'm having problems setting up xmonad. Everything works but besides having `((modm , xK_w), kill)` in my `xmonad.hs` it will not kill the window |
| 2022-07-04 13:30:20 | <Jade1> | Everything else works as I said, including the mod key and "normal" keybindings |
| 2022-07-04 13:32:49 | <geekosaur> | @paste |
| 2022-07-04 13:32:49 | <lambdabot> | A pastebin: https://paste.debian.net/ |
| 2022-07-04 13:32:56 | <geekosaur> | bah |
| 2022-07-04 13:32:59 | <geekosaur> | @where paste |
| 2022-07-04 13:32:59 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2022-07-04 13:33:06 | <geekosaur> | can you show us your config? |
| 2022-07-04 13:33:19 | × | dschrempf quits (~dominik@mobiledyn-62-240-134-178.mrsn.at) (Quit: WeeChat 3.5) |
| 2022-07-04 13:35:51 | <Jade1> | https://paste.tomsmeding.com/xeXQw7ib |
| 2022-07-04 13:35:59 | <Jade1> | thats the entire config |
| 2022-07-04 13:37:12 | <geekosaur> | right, you still have the multiscreen part at the end, and it rebinds mod-w, mod-e, mod-r to that |
| 2022-07-04 13:37:24 | <geekosaur> | so your rebinding of mod-w gets overwritten |
| 2022-07-04 13:37:36 | <geekosaur> | see line 145 |
| 2022-07-04 13:37:48 | <Jade1> | oh yeah I see, thanks a bunch |
| 2022-07-04 13:38:20 | × | Jade1 quits (~Jade@ip-178-201-128-039.um46.pools.vodafone-ip.de) (Quit: Client closed) |
| 2022-07-04 13:39:26 | → | Jade1 joins (~Jade1@ip-178-201-128-039.um46.pools.vodafone-ip.de) |
| 2022-07-04 13:39:37 | <Jade1> | I deleted those lines but it still does not work |
| 2022-07-04 13:39:55 | <Jade1> | saved file, restarted xmonad etc. |
| 2022-07-04 13:40:05 | <geekosaur> | the way that particular config works, it starts with the default bindings and then overwrites them with the default bindings again |
| 2022-07-04 13:40:45 | <Jade1> | hm? I thought the `keys = ...` set a new keybinding scheme |
| 2022-07-04 13:42:13 | <Jade1> | how can I make this work? |
| 2022-07-04 13:42:18 | <geekosaur> | whoops, I though I had stopped short of sending that so I could check if your config was actually doing that, sorry |
| 2022-07-04 13:43:05 | <geekosaur> | the usual one does a `union` of that with the defaults (there are a lot of passed-around configs that do that, it's kinda stupid to do that kind of duplication but it's really common) |
| 2022-07-04 13:43:37 | <geekosaur> | so I'm not seeing it unless your recompile didn't work and you didn't get an error popup. what does `xmonad --recompile` in a terminal do? |
| 2022-07-04 13:44:51 | <geekosaur> | (my head is kinda somewhere else today, sorry, waiting for my sister to arrive for a family thing) |
| 2022-07-04 13:45:12 | <Jade1> | Ahhhhh, I did not remove the `++` to concat the lists ... resulted in a syntax error |
| 2022-07-04 13:45:19 | <Jade1> | now it works. Thanks a bunch! |
| 2022-07-04 13:45:25 | <geekosaur> | yep, I suspected that |
| 2022-07-04 13:45:29 | <geekosaur> | no problem |
| 2022-07-04 13:45:49 | <geekosaur> | and 0.15 didn';t reliably show error popups |
| 2022-07-04 13:46:08 | <geekosaur> | (we're on 0.17 now but very few distros have picked it up for some reason) |
| 2022-07-04 13:47:57 | <Jade1> | nope |
| 2022-07-04 13:49:12 | <geekosaur> | hm, if you're on 0.17 then you should have gotten a popup. unless xmessage isn't installed but most distros put in a dependency on it |
| 2022-07-04 13:49:30 | <geekosaur> | if you used cabal or stack to install then you probably want to install xmessage |
| 2022-07-04 13:50:43 | <Jade1> | I'm on 0.15 |
| 2022-07-04 13:50:50 | <Jade1> | as by `xmonad --version` |
| 2022-07-04 13:55:34 | × | Jade1 quits (~Jade1@ip-178-201-128-039.um46.pools.vodafone-ip.de) (Quit: Client closed) |
| 2022-07-04 13:57:50 | → | dschrempf joins (~dominik@mobiledyn-62-240-134-178.mrsn.at) |
| 2022-07-04 13:57:52 | × | Guest27 quits (~Guest27@h-98-128-228-171.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-07-04 14:04:36 | → | thunderrd joins (~thunderrd@183.182.111.73) |
| 2022-07-04 14:12:36 | × | dschrempf quits (~dominik@mobiledyn-62-240-134-178.mrsn.at) (Ping timeout: 276 seconds) |
| 2022-07-04 14:41:16 | × | alternateved quits (~alternate@37.120.211.126) (Remote host closed the connection) |
| 2022-07-04 14:41:50 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
| 2022-07-04 14:46:05 | → | Guest27 joins (~Guest27@h-98-128-228-171.NA.cust.bahnhof.se) |
| 2022-07-04 14:58:02 | × | Guest27 quits (~Guest27@h-98-128-228-171.NA.cust.bahnhof.se) (Quit: Client closed) |
| 2022-07-04 15:20:52 | → | cfricke joins (~cfricke@user/cfricke) |
| 2022-07-04 15:24:10 | × | sogens quits (~sogens@gateway/vpn/pia/sogens) (Ping timeout: 240 seconds) |
| 2022-07-04 15:26:16 | → | sogens joins (~sogens@gateway/vpn/pia/sogens) |
| 2022-07-04 15:26:43 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.5) |
| 2022-07-04 15:39:16 | → | alternateved joins (~alternate@5.253.206.141) |
| 2022-07-04 15:44:17 | → | dschrempf joins (~dominik@mobiledyn-62-240-134-178.mrsn.at) |
| 2022-07-04 15:46:27 | × | alternateved quits (~alternate@5.253.206.141) (Remote host closed the connection) |
| 2022-07-04 16:00:06 | × | M-_-[m] quits (~testdrive@2001:470:69fc:105::2:6d6) (Quit: You have been kicked for being idle) |
| 2022-07-04 16:00:10 | × | aura1337[m] quits (~aura1337m@2001:470:69fc:105::2:230a) (Quit: You have been kicked for being idle) |
| 2022-07-04 18:04:43 | × | benin0 quits (~benin@183.82.26.81) (Quit: The Lounge - https://thelounge.chat) |
| 2022-07-04 18:06:32 | × | chomwitt quits (~chomwitt@2a02:587:dc17:ef00:b970:eb1f:3e6:5c29) (Ping timeout: 260 seconds) |
| 2022-07-04 18:10:30 | × | dschrempf quits (~dominik@mobiledyn-62-240-134-178.mrsn.at) (Ping timeout: 240 seconds) |
| 2022-07-04 19:32:30 | × | sogens quits (~sogens@gateway/vpn/pia/sogens) (Ping timeout: 264 seconds) |
| 2022-07-04 19:50:33 | → | Guest2745 joins (~Guest27@h-155-4-15-75.A163.priv.bahnhof.se) |
| 2022-07-04 20:08:12 | × | Guest2745 quits (~Guest27@h-155-4-15-75.A163.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-07-04 20:10:12 | × | redgloboli quits (~redglobol@user/redgloboli) (Quit: ...enter the matrix...) |
| 2022-07-04 20:11:16 | → | redgloboli joins (~redglobol@user/redgloboli) |
| 2022-07-04 20:45:32 | → | chomwitt joins (~chomwitt@2a02:587:dc17:ef00:6aee:6c8:90ff:eaab) |
| 2022-07-04 21:46:18 | × | chomwitt quits (~chomwitt@2a02:587:dc17:ef00:6aee:6c8:90ff:eaab) (Ping timeout: 276 seconds) |
| 2022-07-04 21:55:33 | → | cyr4x3 joins (~cyr4x3@139.47.116.80) |
| 2022-07-04 22:00:43 | × | cyr4x3 quits (~cyr4x3@139.47.116.80) (Quit: WeeChat 2.3) |
| 2022-07-04 22:00:58 | → | cyr4x3 joins (~cyr4x3@139.47.116.80) |
| 2022-07-04 22:05:15 | × | cyr4x3 quits (~cyr4x3@139.47.116.80) (Client Quit) |
| 2022-07-04 22:09:48 | → | cyr4x3 joins (~cyr4x3@139.47.116.80) |
| 2022-07-04 22:23:27 | × | cyr4x3 quits (~cyr4x3@139.47.116.80) (Quit: WeeChat 2.3) |
| 2022-07-04 23:07:53 | → | hexo_ joins (~hexo@user/hexo) |
| 2022-07-04 23:10:21 | × | hexo quits (~hexo@user/hexo) (Ping timeout: 246 seconds) |
| 2022-07-04 23:49:22 | × | steve__ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2022-07-05 00:42:57 | × | bla quits (~bla@79.191.253.107.ipv4.supernova.orange.pl) (Ping timeout: 268 seconds) |
| 2022-07-05 00:46:23 | → | bla joins (~bla@79.191.252.153.ipv4.supernova.orange.pl) |
| 2022-07-05 01:26:19 | → | sogens joins (~sogens@gateway/vpn/pia/sogens) |
| 2022-07-05 02:03:10 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 240 seconds) |
| 2022-07-05 02:23:07 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 2022-07-05 02:24:18 | × | noex quits (~null@user/noex) (Ping timeout: 240 seconds) |
| 2022-07-05 02:27:26 | → | noex joins (~null@user/noex) |
| 2022-07-05 02:30:01 | → | dartleader joins (~dartleade@S0106a84e3f794823.wp.shawcable.net) |
| 2022-07-05 02:36:30 | × | td_ quits (~td@94.134.91.91) (Ping timeout: 246 seconds) |
| 2022-07-05 02:38:20 | → | td_ joins (~td@muedsl-82-207-238-243.citykom.de) |
| 2022-07-05 02:45:07 | → | rekahsoft joins (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-07-05 03:28:13 | × | rekahsoft quits (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Ping timeout: 244 seconds) |
| 2022-07-05 04:38:51 | → | steve__ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-07-05 05:28:30 | × | sogens quits (~sogens@gateway/vpn/pia/sogens) (Ping timeout: 240 seconds) |
| 2022-07-05 05:29:40 | → | sogens joins (~sogens@gateway/vpn/pia/sogens) |
All times are in UTC.