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