Logs on 2022-07-04 (liberachat/#xmonad)
| 00:14:30 | Γ | jao quits (~jao@guest2.nyenrode.nl) (Ping timeout: 264 seconds) |
| 00:16:55 | β | jao joins (~jao@guest2.nyenrode.nl) |
| 00:24:10 | Γ | jao quits (~jao@guest2.nyenrode.nl) (Ping timeout: 240 seconds) |
| 00:30:24 | <geekosaur> | figuring out that X11 doesn't really support alpha internally had a lot to do with that |
| 00:49:29 | <Lears> | scotabroad[m]: X.L.Tabbed does vertical decorations. |
| 00:50:43 | <geekosaur> | hm, okay, so that means Decoration should work fine for that |
| 00:50:51 | <geekosaur> | I forgot about vertical tabs |
| 00:53:27 | <scotabroad[m]> | Lears: Ooh, I am going to look more into that |
| 01:14:48 | <liskin> | oh my I'm so glad we have CI but I wish I waited for it before opening a PR and making an idiot of myself :-) |
| 01:15:53 | <geekosaur> | I got nailed by a tab (damn nvim anyway) and had to hurriedly force-push π |
| 01:16:49 | <liskin> | oh you got nvim already :-o |
| 01:17:21 | <liskin> | anyway, I'm like 140 minutes past the time I should've gone to sleep so β¦ |
| 01:17:22 | <geekosaur> | mostly I use emacs but it's annoying to open a new frame for quickish changes |
| 01:17:27 | <geekosaur> | gnite |
| 01:17:41 | <geekosaur> | someone can deal with our PRs tomorrow |
| 01:17:56 | <liskin> | good job on the colors stuff btw, but I'm not commenting on it today :-) |
| 01:18:06 | <liskin> | gnite |
| 02:03:50 | Γ | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 240 seconds) |
| 02:12:03 | Γ | sogens quits (~sogens@211.30.154.12) (Ping timeout: 276 seconds) |
| 02:13:27 | β | sogens joins (~sogens@211.30.154.12) |
| 02:22:55 | Γ | sogens quits (~sogens@211.30.154.12) (Ping timeout: 256 seconds) |
| 02:23:05 | β | banc joins (banc@gateway/vpn/airvpn/banc) |
| 02:24:40 | β | sogens joins (~sogens@gateway/vpn/pia/sogens) |
| 02:37:39 | Γ | td_ quits (~td@muedsl-82-207-238-139.citykom.de) (Ping timeout: 246 seconds) |
| 02:39:37 | β | td_ joins (~td@94.134.91.91) |
| 04:26:13 | Γ | lisq quits (~quassel@lis.moe) (*.net *.split) |
| 04:26:13 | Γ | amir quits (sid22336@user/amir) (*.net *.split) |
| 04:26:26 | β | lisq joins (~quassel@lis.moe) |
| 04:26:29 | β | amir joins (sid22336@user/amir) |
| 04:37:26 | Γ | ircbrowse_tom quits (~ircbrowse@static.162.49.55.162.clients.your-server.de) (ZNC 1.7.5+deb4 - https://znc.in) |
| 04:38:19 | β | ircbrowse_tom joins (~ircbrowse@2a01:4f8:1c1c:9319::1) |
| 04:38:19 | Server | sets mode +cnt |
| 04:38:37 | β | PotatoGim joins (sid99505@id-99505.lymington.irccloud.com) |
| 04:38:52 | β | coldpress joins (~coldpress@72.136.212.35.bc.googleusercontent.com) |
| 05:52:01 | Γ | sogens quits (~sogens@gateway/vpn/pia/sogens) (Ping timeout: 256 seconds) |
| 05:54:04 | β | sogens joins (~sogens@gateway/vpn/pia/sogens) |
| 06:52:58 | β | alternateved joins (~alternate@37.120.211.126) |
| 06:53:51 | β | cfricke joins (~cfricke@user/cfricke) |
| 06:56:23 | β | chomwitt joins (~chomwitt@2a02:587:dc17:ef00:b970:eb1f:3e6:5c29) |
| 07:22:33 | Γ | sogens quits (~sogens@gateway/vpn/pia/sogens) (Ping timeout: 246 seconds) |
| 07:32:39 | β | benin0 joins (~benin@183.82.27.194) |
| 08:08:41 | β | Jade20 joins (~Jade@ip-178-201-128-039.um46.pools.vodafone-ip.de) |
| 08:08:52 | β | dschrempf joins (~dominik@mobiledyn-62-240-134-178.mrsn.at) |
| 08:09:16 | Γ | Jade20 quits (~Jade@ip-178-201-128-039.um46.pools.vodafone-ip.de) (Client Quit) |
| 08:11:49 | β | sogens joins (~sogens@gateway/vpn/pia/sogens) |
| 08:16:24 | Γ | dschrempf quits (~dominik@mobiledyn-62-240-134-178.mrsn.at) (Quit: WeeChat 3.5) |
| 08:50:44 | β | dschrempf joins (~dominik@mobiledyn-62-240-134-178.mrsn.at) |
| 09:06:57 | Γ | dschrempf quits (~dominik@mobiledyn-62-240-134-178.mrsn.at) (Ping timeout: 256 seconds) |
| 09:12:57 | Γ | sogens quits (~sogens@gateway/vpn/pia/sogens) (Ping timeout: 276 seconds) |
| 09:14:07 | β | sogens joins (~sogens@gateway/vpn/pia/sogens) |
| 09:55:51 | Γ | benin0 quits (~benin@183.82.27.194) (Ping timeout: 246 seconds) |
| 09:57:24 | β | benin0 joins (~benin@183.82.26.81) |
| 11:33:35 | <deepy> | Do I need to do anything magical in xmobar to get utf8 to work? Debian promises they're building with full unicode support but if I cat a file or if I have a window with traditional chinese characters in it they all get messed up :-( |
| 11:44:15 | <MrElendig> | messed up how? |
| 11:46:27 | <deepy> | I'm getting latin characters instead: https://i.imgur.com/6ETUL4n.png |
| 11:46:59 | <deepy> | 2&3>J? is one heck of an artist name though :-) |
| 11:50:00 | <deepy> | ι»θΆ shows as }YD6 |
| 11:57:26 | Γ | ectospasm quits (~ectospasm@user/ectospasm) (Quit: WeeChat 3.5) |
| 11:58:36 | <vrs> | check that your env has set the correct locale, the desktop session doesn't read its env variables from the same place as shell sessions |
| 11:58:52 | <vrs> | also sometimes it's a font problem |
| 11:59:52 | <vrs> | you can test that by starting your xmobar from a shell with the correct locale |
| 12:02:40 | <deepy> | starting with the correct locale I still get the same issue |
| 12:03:30 | <deepy> | ah, it's probably fonts, it works fine with Γ₯Àâ and those aren't latin1 |
| 12:03:37 | <deepy> | thanks! |
| 12:10:25 | <fizzie> | That's a bit confusing statement, because Γ₯Àâ *are* part of the Latin 1 (ISO-8859-1) repertoire. (Perhaps not encoded as such in your specific instance, but still.) |
| 12:11:29 | <deepy> | it's probably fonts, it worked fine with a particular set of utf8 Γ₯Àâs :-) |
| 12:12:34 | <geekosaur> | still doesn't make a whole lot of sense⦠|
| 12:13:02 | <deepy> | Okay, it's probably fonts, it worked with ΧΧΧ€ΧΧ© and Hebrew on IRC is what initially got me to learn about encodings |
| 12:15:21 | geekosaur | wonders if that's big5 encoded |
| 12:16:23 | <geekosaur> | nope |
| 12:16:38 | <geekosaur> | seems like a double byte encoding of some kind |
| 12:18:38 | <alternateved> | Not sure if that is connected, but I also have issues with rendering some symbols on xmobar - mostly window titles |
| 12:19:33 | <alternateved> | Like if there are some polish characters such as Δ ΔΔΓ³ΕΕ, they do not get rendered at all |
| 12:20:22 | <geekosaur> | hm. I don't but I use xmonad-log-applet which uses pango so there's rarely a problem with such characters these days |
| 12:21:17 | <alternateved> | Not sure, what is the problem here. Weirdly enough I can render those characters anywhere else - like in plugins, as a string or as a workspace name |
| 12:21:32 | <alternateved> | So it is not font |
| 12:21:49 | β | dschrempf joins (~dominik@mobiledyn-62-240-134-178.mrsn.at) |
| 12:22:46 | <deepy> | I tried adding ι»θΆ directly into xmobar and that didn't work for me either |
| 12:23:18 | <geekosaur> | there's a separate ppTitleSanitize, might check that |
| 12:23:47 | <geekosaur> | xmobar is supposed to handle utf8 but I don't know much in the way of details since I don't use it |
| 12:29:13 | <vrs> | those chinese chars work for me, at least in window titles |
| 12:36:26 | <deepy> | Anything out of the ordinary in your setup? |
| 12:39:48 | <vrs> | locale is en_US.UTF-8 (I set this somewhere global, forgot where), fontstring is "xft:Terminus (TTF):pixelsize=12,Fairfax:pixelsize=12,Unifont:pixelsize=12" |
| 12:40:17 | <vrs> | unifont is ugly but has almost everything so it's an okay fallback |
| 12:44:12 | <vrs> | kind of annoyingly, some cyrillic chars have really weird lowercase forms in this, but at least I don't get mojibake |
| 12:48:45 | <vrs> | putting the chars directly into my config also works fine |
| 12:49:21 | <deepy> | AR PL UKai HK:style=Book works for me, and looks pretty nice |
| 12:49:29 | <deepy> | It was fonts, thanks everyone :-) |
| 12:56:03 | β | Guest27 joins (~Guest27@h-98-128-228-171.NA.cust.bahnhof.se) |
| 12:56:36 | <Guest27> | Hello! I'm studying design of haskell projects, and came across denotational design. Has anybody here used it? |
| 12:58:14 | <geekosaur> | not really. xmonad is about as procedural as haskell gets, since it's a thin layer atop Xlib. you might ask in #haskell though |
| 12:58:49 | <geekosaur> | functional reactive programming might be of interest, but it's still very much in development so I don't think any major projects use it yet |
| 13:02:25 | <alternateved> | FRP in development? What do you mean by that? |
| 13:02:44 | Γ | thunderrd quits (~thunderrd@183.182.115.193) (Ping timeout: 272 seconds) |
| 13:03:09 | <geekosaur> | it's a research topic still |
| 13:03:37 | <alternateved> | Ah, I am just surprised, I work for company where FRP is used |
| 13:03:44 | <geekosaur> | there are libraries for it (e.g. reactive-banana) but it's not really up to production use yet |
| 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 |
| 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) |
| 13:04:34 | <Guest27> | Found denotational design and thought it might help me write more idiomatic code |
| 13:04:54 | <geekosaur> | right, you'll do better in #haskell then |
| 13:05:12 | <alternateved> | Yeah, Obsidian use reflex: https://reflex-frp.org/ |
| 13:07:24 | <Guest27> | alright, thanks for the tip! |
| 13:21:34 | β | Guest2776 joins (~Guest27@h-98-128-228-171.NA.cust.bahnhof.se) |
| 13:21:41 | Γ | Guest2776 quits (~Guest27@h-98-128-228-171.NA.cust.bahnhof.se) (Client Quit) |
| 13:27:37 | β | Jade1 joins (~Jade@ip-178-201-128-039.um46.pools.vodafone-ip.de) |
| 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 |
| 13:30:20 | <Jade1> | Everything else works as I said, including the mod key and "normal" keybindings |
| 13:32:49 | <geekosaur> | @paste |
| 13:32:49 | <lambdabot> | A pastebin: https://paste.debian.net/ |
| 13:32:56 | <geekosaur> | bah |
| 13:32:59 | <geekosaur> | @where paste |
| 13:32:59 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 13:33:06 | <geekosaur> | can you show us your config? |
| 13:33:19 | Γ | dschrempf quits (~dominik@mobiledyn-62-240-134-178.mrsn.at) (Quit: WeeChat 3.5) |
| 13:35:51 | <Jade1> | https://paste.tomsmeding.com/xeXQw7ib |
| 13:35:59 | <Jade1> | thats the entire config |
| 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 |
| 13:37:24 | <geekosaur> | so your rebinding of mod-w gets overwritten |
| 13:37:36 | <geekosaur> | see line 145 |
| 13:37:48 | <Jade1> | oh yeah I see, thanks a bunch |
| 13:38:20 | Γ | Jade1 quits (~Jade@ip-178-201-128-039.um46.pools.vodafone-ip.de) (Quit: Client closed) |
| 13:39:26 | β | Jade1 joins (~Jade1@ip-178-201-128-039.um46.pools.vodafone-ip.de) |
| 13:39:37 | <Jade1> | I deleted those lines but it still does not work |
| 13:39:55 | <Jade1> | saved file, restarted xmonad etc. |
| 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 |
| 13:40:45 | <Jade1> | hm? I thought the `keys = ...` set a new keybinding scheme |
| 13:42:13 | <Jade1> | how can I make this work? |
| 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 |
| 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) |
| 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? |
| 13:44:51 | <geekosaur> | (my head is kinda somewhere else today, sorry, waiting for my sister to arrive for a family thing) |
| 13:45:12 | <Jade1> | Ahhhhh, I did not remove the `++` to concat the lists ... resulted in a syntax error |
| 13:45:19 | <Jade1> | now it works. Thanks a bunch! |
| 13:45:25 | <geekosaur> | yep, I suspected that |
| 13:45:29 | <geekosaur> | no problem |
| 13:45:49 | <geekosaur> | and 0.15 didn';t reliably show error popups |
| 13:46:08 | <geekosaur> | (we're on 0.17 now but very few distros have picked it up for some reason) |
| 13:47:57 | <Jade1> | nope |
| 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 |
| 13:49:30 | <geekosaur> | if you used cabal or stack to install then you probably want to install xmessage |
| 13:50:43 | <Jade1> | I'm on 0.15 |
| 13:50:50 | <Jade1> | as by `xmonad --version` |
| 13:55:34 | Γ | Jade1 quits (~Jade1@ip-178-201-128-039.um46.pools.vodafone-ip.de) (Quit: Client closed) |
| 13:57:50 | β | dschrempf joins (~dominik@mobiledyn-62-240-134-178.mrsn.at) |
| 13:57:52 | Γ | Guest27 quits (~Guest27@h-98-128-228-171.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 14:04:36 | β | thunderrd joins (~thunderrd@183.182.111.73) |
| 14:12:36 | Γ | dschrempf quits (~dominik@mobiledyn-62-240-134-178.mrsn.at) (Ping timeout: 276 seconds) |
| 14:41:16 | Γ | alternateved quits (~alternate@37.120.211.126) (Remote host closed the connection) |
| 14:41:50 | Γ | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
| 14:46:05 | β | Guest27 joins (~Guest27@h-98-128-228-171.NA.cust.bahnhof.se) |
| 14:58:02 | Γ | Guest27 quits (~Guest27@h-98-128-228-171.NA.cust.bahnhof.se) (Quit: Client closed) |
| 15:20:52 | β | cfricke joins (~cfricke@user/cfricke) |
| 15:24:10 | Γ | sogens quits (~sogens@gateway/vpn/pia/sogens) (Ping timeout: 240 seconds) |
| 15:26:16 | β | sogens joins (~sogens@gateway/vpn/pia/sogens) |
| 15:26:43 | Γ | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.5) |
| 15:39:16 | β | alternateved joins (~alternate@5.253.206.141) |
| 15:44:17 | β | dschrempf joins (~dominik@mobiledyn-62-240-134-178.mrsn.at) |
| 15:46:27 | Γ | alternateved quits (~alternate@5.253.206.141) (Remote host closed the connection) |
| 16:00:06 | Γ | M-_-[m] quits (~testdrive@2001:470:69fc:105::2:6d6) (Quit: You have been kicked for being idle) |
| 16:00:10 | Γ | aura1337[m] quits (~aura1337m@2001:470:69fc:105::2:230a) (Quit: You have been kicked for being idle) |
| 18:04:43 | Γ | benin0 quits (~benin@183.82.26.81) (Quit: The Lounge - https://thelounge.chat) |
| 18:06:32 | Γ | chomwitt quits (~chomwitt@2a02:587:dc17:ef00:b970:eb1f:3e6:5c29) (Ping timeout: 260 seconds) |
| 18:10:30 | Γ | dschrempf quits (~dominik@mobiledyn-62-240-134-178.mrsn.at) (Ping timeout: 240 seconds) |
| 19:32:30 | Γ | sogens quits (~sogens@gateway/vpn/pia/sogens) (Ping timeout: 264 seconds) |
| 19:50:33 | β | Guest2745 joins (~Guest27@h-155-4-15-75.A163.priv.bahnhof.se) |
| 20:08:12 | Γ | Guest2745 quits (~Guest27@h-155-4-15-75.A163.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 20:10:12 | Γ | redgloboli quits (~redglobol@user/redgloboli) (Quit: ...enter the matrix...) |
| 20:11:16 | β | redgloboli joins (~redglobol@user/redgloboli) |
| 20:45:32 | β | chomwitt joins (~chomwitt@2a02:587:dc17:ef00:6aee:6c8:90ff:eaab) |
| 21:46:18 | Γ | chomwitt quits (~chomwitt@2a02:587:dc17:ef00:6aee:6c8:90ff:eaab) (Ping timeout: 276 seconds) |
| 21:55:33 | β | cyr4x3 joins (~cyr4x3@139.47.116.80) |
| 22:00:43 | Γ | cyr4x3 quits (~cyr4x3@139.47.116.80) (Quit: WeeChat 2.3) |
| 22:00:58 | β | cyr4x3 joins (~cyr4x3@139.47.116.80) |
| 22:05:15 | Γ | cyr4x3 quits (~cyr4x3@139.47.116.80) (Client Quit) |
| 22:09:48 | β | cyr4x3 joins (~cyr4x3@139.47.116.80) |
| 22:23:27 | Γ | cyr4x3 quits (~cyr4x3@139.47.116.80) (Quit: WeeChat 2.3) |
| 23:07:53 | β | hexo_ joins (~hexo@user/hexo) |
| 23:10:21 | Γ | hexo quits (~hexo@user/hexo) (Ping timeout: 246 seconds) |
| 23:49:22 | Γ | steve__ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 272 seconds) |
All times are in UTC on 2022-07-04.