Logs: freenode/#xmonad
| 2021-03-05 17:54:46 | <Liskni_si> | you also botched the mempty indent |
| 2021-03-05 17:54:54 | <Liskni_si> | https://github.com/liskin/dotfiles/blob/home/.xmonad/xmonad.hs#L442 |
| 2021-03-05 18:00:29 | <heck-to-the-gnom> | Well, fixing the indent caused that one to go away, there's another, but I'll only bother you with that if I can't solve it |
| 2021-03-05 18:01:41 | <mc47> | I wish there was an easy way to write the bottom symbol, so I can replace the mempty with it |
| 2021-03-05 18:02:00 | <Solid> | mc47: you use emacs right? |
| 2021-03-05 18:02:16 | <mc47> | Solid :o how did I not think of tht |
| 2021-03-05 18:02:17 | <mc47> | yes |
| 2021-03-05 18:02:19 | <mc47> | I do |
| 2021-03-05 18:02:28 | <Solid> | mc47: you can use the agda2 input method |
| 2021-03-05 18:02:33 | <Solid> | then it's just \bot |
| 2021-03-05 18:02:38 | × | growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-03-05 18:03:05 | <Solid> | if you have agda2-mode installed you can switch to it with C-\ (bound to `toggle-input-method' by default) |
| 2021-03-05 18:03:11 | <Solid> | Never long for unicode again :D |
| 2021-03-05 18:03:21 | <mc47> | I'll try that, thanks for the tip! |
| 2021-03-05 18:03:56 | <Solid> | or just hack something together of course :D |
| 2021-03-05 18:04:01 | <mc47> | the funny thing is that I used emacs for Isabelle for sometime (never again, too slow) and there were a lot of fancy symbols there |
| 2021-03-05 18:04:24 | <mc47> | so much so that the plain text version of files is almost unreadable |
| 2021-03-05 18:04:26 | <Solid> | probably reasonably easy to just replace every occurance of mempty in haskell code with ⊥ |
| 2021-03-05 18:04:34 | <Solid> | visually, that is |
| 2021-03-05 18:04:51 | <mc47> | well, I would, if I knew enough elisp |
| 2021-03-05 18:05:00 | <Solid> | using prettify-symbols-mode I once did something like that for elisp (lambda -> λ) |
| 2021-03-05 18:06:33 | <Liskni_si> | or XCompose |
| 2021-03-05 18:06:35 | <Liskni_si> | https://github.com/liskin/dotfiles/blob/home/.XCompose#L89 |
| 2021-03-05 18:08:21 | <mc47> | huh |
| 2021-03-05 18:08:27 | <mc47> | that's also interesting |
| 2021-03-05 18:13:59 | <Solid> | mc47: http://ix.io/2RNJ |
| 2021-03-05 18:15:25 | <mc47> | awesome! thanks |
| 2021-03-05 18:16:13 | <Solid> | my pleasure! always a joy writing more LISP |
| 2021-03-05 18:16:20 | <Solid> | the advantage of this approach is that your code won't confuse anyone else :D |
| 2021-03-05 18:17:57 | <Solid> | actually that code may be slightly wrong |
| 2021-03-05 18:18:10 | <Solid> | could be better to just set the alist to that value instead of pushing it |
| 2021-03-05 18:18:16 | <Solid> | probably not a big deal though |
| 2021-03-05 18:18:44 | <mc47> | the alist is already modified |
| 2021-03-05 18:18:45 | <mc47> | a lot |
| 2021-03-05 18:19:29 | <Solid> | ah, in that case you know what to do :D |
| 2021-03-05 18:23:15 | <mc47> | it's modified, but not by me :D |
| 2021-03-05 18:26:05 | → | growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 2021-03-05 18:27:01 | Liskni_si | decided to rebuild all Haskell stuff with -dynamic :-) |
| 2021-03-05 18:27:10 | <Liskni_si> | I wonder if/when anything breaks |
| 2021-03-05 18:29:56 | <Solid> | Oo |
| 2021-03-05 18:30:00 | <geekosaur> | nothing should break unless you forget to also build some dependent with -dynamic |
| 2021-03-05 18:30:41 | <Liskni_si> | I can't forget to build anything, as I build everything from a single home-wide stack.yaml |
| 2021-03-05 18:30:59 | <Liskni_si> | which is also why I thought it's reasonably safe to do this |
| 2021-03-05 18:32:02 | <Solid> | mc47: ah well, in that case you can decide if it's worth walking over the entire list and looking if that cons cell already exists or if it's okay to just have it there a couple of times at the end of the day :) |
| 2021-03-05 18:46:05 | <mc47> | Solid the thing is, I'm not sure where exactly it's being set |
| 2021-03-05 18:46:58 | <mc47> | I successfully added '("mempty" . ⊥) to the alist but it didn't do anything, so something else is going on there |
| 2021-03-05 18:47:13 | <mc47> | I asked in the doom discord, hopefully someone comes along |
| 2021-03-05 18:47:25 | <Solid> | make sure `prettify-symbols-mode' is actually on |
| 2021-03-05 18:47:28 | <Solid> | oh doom |
| 2021-03-05 18:47:37 | <Solid> | yeah no idea in that case :D |
| 2021-03-05 18:49:00 | <mc47> | yeah other symbols are being replaced, I think it needs more than just ⊥ |
| 2021-03-05 18:51:10 | <Solid> | other symbols shouldn't really matter for this as we're explicitly associating mempty to ⊥ |
| 2021-03-05 18:54:43 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-05 18:58:59 | × | Waifod quits (~Waifod@91.106.123.186) (Ping timeout: 260 seconds) |
| 2021-03-05 19:00:20 | → | Waifod joins (Waifod@gateway/vpn/protonvpn/waifod) |
| 2021-03-05 19:10:41 | <mc47> | Solid doom had indeed its way of doing things |
| 2021-03-05 19:11:55 | <Solid> | ah, of course |
| 2021-03-05 19:17:33 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-05 19:18:35 | × | seschwar quits (~seschwar@unaffiliated/seschwar) (Quit: :wq) |
| 2021-03-05 19:21:42 | → | ADG1089__ joins (~aditya@171.79.107.148) |
| 2021-03-05 19:22:02 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 2021-03-05 20:16:06 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-05 20:21:54 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-05 20:22:58 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 260 seconds) |
| 2021-03-05 21:46:17 | × | _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Ping timeout: 265 seconds) |
| 2021-03-05 21:47:32 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-05 21:52:37 | → | _ashbreeze_ joins (~mark@64.85.214.234.reverse.socket.net) |
| 2021-03-05 22:13:33 | × | mc47 quits (~yecinem@89.246.239.190) (Quit: Leaving) |
| 2021-03-05 22:21:25 | × | ADG1089__ quits (~aditya@171.79.107.148) (Remote host closed the connection) |
| 2021-03-05 23:13:56 | × | dmwit quits (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-03-05 23:18:07 | → | dmwit joins (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) |
| 2021-03-05 23:20:53 | → | AlexNevesky joins (~brtt@2600:8804:8689:3f00::62c1) |
| 2021-03-05 23:21:23 | <AlexNevesky> | Okay i have a fresh install of Arch on a new system but my xmobar wont start. Every time i try to start it i get this error : xmobar hGetContents: invalid argument invalid byte sequence |
| 2021-03-05 23:21:28 | <AlexNevesky> | can anyone help me? |
| 2021-03-05 23:22:26 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds) |
| 2021-03-05 23:24:44 | <Liskni_si> | AlexNevesky: can you try https://github.com/xmonad/xmonad-contrib/pull/471? |
| 2021-03-05 23:25:22 | <Liskni_si> | or, if you want a quick check to see if that's what I think it is, replace spawnPipe with spawnPipeWithNoEncoding |
| 2021-03-05 23:26:43 | <Liskni_si> | (yeah, we should've just merged this a while ago, but there are other open PRs touching the same code and I've been terribly busy the last few weeks) |
| 2021-03-05 23:28:32 | <AlexNevesky> | this is happening even if i try to run xmobar |
| 2021-03-05 23:30:11 | <Liskni_si> | I don't understand what you mean by that |
| 2021-03-05 23:30:27 | <AlexNevesky> | okay if i just type xmobar in a terminal. that is the error that my terminal spits out |
| 2021-03-05 23:30:35 | <Liskni_si> | oh! |
| 2021-03-05 23:30:39 | <AlexNevesky> | xmobar wont spawn either through spawnPipe or terminal |
| 2021-03-05 23:30:53 | <Liskni_si> | in that case there must be something wrong with your xmobarrc |
| 2021-03-05 23:31:11 | <AlexNevesky> | its the same xmobarrc that i use on my other machine |
| 2021-03-05 23:31:13 | <Liskni_si> | or your locale |
| 2021-03-05 23:31:30 | <Liskni_si> | https://wiki.archlinux.org/index.php/locale |
| 2021-03-05 23:36:09 | × | adamik quits (~nodelet@unaffiliated/adamik) (Quit: leaving) |
| 2021-03-05 23:36:27 | × | AlexNevesky quits (~brtt@2600:8804:8689:3f00::62c1) (Quit: WeeChat 3.0.1) |
| 2021-03-05 23:36:35 | → | adamik joins (~nodelet@unaffiliated/adamik) |
| 2021-03-05 23:48:44 | <heck-to-the-gnom> | Leaves the room... |
| 2021-03-05 23:51:38 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:e26e:cf9:1dd6:9615) (Ping timeout: 264 seconds) |
| 2021-03-05 23:53:02 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:388b:b0a5:f74:a953) |
| 2021-03-06 00:06:58 | × | notis quits (~notis@185.51.134.230) (Ping timeout: 260 seconds) |
| 2021-03-06 00:26:55 | × | seschwar quits (~seschwar@unaffiliated/seschwar) (Quit: :wq) |
| 2021-03-06 00:27:01 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:388b:b0a5:f74:a953) (Ping timeout: 272 seconds) |
| 2021-03-06 01:19:04 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:b415:f422:4eeb:ecc6) |
| 2021-03-06 01:50:06 | × | xsperry quits (~as@unaffiliated/xsperry) (Ping timeout: 246 seconds) |
| 2021-03-06 02:10:47 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-03-06 02:48:58 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
All times are in UTC.