IRCBrowse

2021/03/05

2021-03-05 00:10:55 +0100vanvik(~nimor@82.194.204.210) (Quit: Ping timeout (120 seconds))
2021-03-05 00:11:25 +0100vanvik(~nimor@82.194.204.210)
2021-03-05 00:29:23 +0100seschwar(~seschwar@unaffiliated/seschwar) (Quit: :wq)
2021-03-05 00:40:44 +0100materiyolo(~materiyol@112.204.160.151)
2021-03-05 01:05:05 +0100batdog_(~batdog@lnsq.elkins.co) (Quit: Bye)
2021-03-05 01:07:39 +0100batdog(batdog@lnsq.elkins.co)
2021-03-05 01:14:14 +0100belst_(~belst@unaffiliated/belst) (Ping timeout: 245 seconds)
2021-03-05 01:14:30 +0100heck-to-the-gnom(heck-to-th@gateway/shell/matrix.org/x-dkqfwxrpalpplgbl) (Ping timeout: 246 seconds)
2021-03-05 01:14:39 +0100heck-to-the-gnom(heck-to-th@gateway/shell/matrix.org/x-lpqeckkflomaivst)
2021-03-05 01:15:00 +0100belst(~belst@unaffiliated/belst)
2021-03-05 01:15:12 +0100liskin[m](liskinmatr@gateway/shell/matrix.org/x-bixuwkizgkubfawz) (Ping timeout: 246 seconds)
2021-03-05 01:15:12 +0100molinus[m](molinusmat@gateway/shell/matrix.org/x-uhmumrzkxzfphxxy) (Ping timeout: 246 seconds)
2021-03-05 01:15:23 +0100liskin[m](liskinmatr@gateway/shell/matrix.org/x-rgrvecydkmxvnepj)
2021-03-05 01:15:54 +0100pharaun(~pharaun@static.88-198-62-245.clients.your-server.de) (Ping timeout: 245 seconds)
2021-03-05 01:15:54 +0100psibi[m](psibimatri@gateway/shell/matrix.org/x-lcizqwaqkrbojkuk) (Ping timeout: 246 seconds)
2021-03-05 01:16:19 +0100sagax(~sagax_nb@213.138.71.146) (Ping timeout: 245 seconds)
2021-03-05 01:17:34 +0100theDon(~td@94.134.91.49) (Ping timeout: 245 seconds)
2021-03-05 01:17:39 +0100molinus[m](molinusmat@gateway/shell/matrix.org/x-lmiqohiexpjcpafz)
2021-03-05 01:18:42 +0100pharaun(~pharaun@static.88-198-62-245.clients.your-server.de)
2021-03-05 01:18:58 +0100theDon(~td@94.134.91.49)
2021-03-05 01:19:31 +0100psibi[m](psibimatri@gateway/shell/matrix.org/x-yfxnvavdaavmrgev)
2021-03-05 01:20:09 +0100notis(~notis@185.51.134.230) (Ping timeout: 260 seconds)
2021-03-05 01:27:51 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-05 01:34:52 +0100toniz4(~toniz4@unaffiliated/toniz4) (Quit: leaving)
2021-03-05 01:45:48 +0100heroux(sandroco@gateway/shell/insomnia247/x-mxhxxnqspmknpeuc) (Ping timeout: 246 seconds)
2021-03-05 01:49:22 +0100nosewings(~user@2603-8081-3e07-cbc8-0000-0000-0000-1aef.res6.spectrum.com)
2021-03-05 01:56:47 +0100nosewings(~user@2603-8081-3e07-cbc8-0000-0000-0000-1aef.res6.spectrum.com) ("ERC (IRC client for Emacs 28.0.50)")
2021-03-05 02:04:55 +0100xaltsc(~xaltsc@unaffiliated/xaltsc) (Ping timeout: 276 seconds)
2021-03-05 02:15:50 +0100kelnoky(~shao@ip1f1285ec.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.0)
2021-03-05 02:33:10 +0100sagax(~sagax_nb@213.138.71.146)
2021-03-05 02:44:42 +0100sam_d(~sam@unaffiliated/sam-d/x-1905598) (Quit: Bye)
2021-03-05 02:45:05 +0100Ikosit(vherrmanns@gateway/shell/matrix.org/x-hmvzdbbomixuiazx) (Ping timeout: 240 seconds)
2021-03-05 02:45:54 +0100psibi[m](psibimatri@gateway/shell/matrix.org/x-yfxnvavdaavmrgev) (Ping timeout: 265 seconds)
2021-03-05 02:45:58 +0100sam_d(~sam@unaffiliated/sam-d/x-1905598)
2021-03-05 02:48:15 +0100PotatoHatsue(berbermanp@gateway/shell/matrix.org/x-eaqrdmjzoipzuify) (Ping timeout: 240 seconds)
2021-03-05 02:48:18 +0100jeyj0[m](jeyj0matri@gateway/shell/matrix.org/x-jpcsmypeustaiyzc) (Ping timeout: 244 seconds)
2021-03-05 02:48:26 +0100liskin[m](liskinmatr@gateway/shell/matrix.org/x-rgrvecydkmxvnepj) (Ping timeout: 240 seconds)
2021-03-05 02:49:26 +0100molinus[m](molinusmat@gateway/shell/matrix.org/x-lmiqohiexpjcpafz) (Ping timeout: 240 seconds)
2021-03-05 02:49:26 +0100heck-to-the-gnom(heck-to-th@gateway/shell/matrix.org/x-lpqeckkflomaivst) (Ping timeout: 240 seconds)
2021-03-05 02:50:15 +0100Ikosit(vherrmanns@gateway/shell/matrix.org/x-weonsgkxfeyzszxp)
2021-03-05 03:06:15 +0100ericsagnes(~ericsagne@2405:6580:0:5100:42a8:8650:90d4:54bc) (Ping timeout: 240 seconds)
2021-03-05 03:07:26 +0100lambdabot(~lambdabot@haskell/bot/lambdabot) (Ping timeout: 265 seconds)
2021-03-05 03:08:47 +0100growpotkin(~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-05 03:10:45 +0100lambdabot(~lambdabot@haskell/bot/lambdabot)
2021-03-05 03:10:45 +0100ChanServ+v lambdabot
2021-03-05 03:12:39 +0100heroux(sandroco@gateway/shell/insomnia247/x-tvbfchmbsxwsmnyj)
2021-03-05 03:13:23 +0100psibi[m](psibimatri@gateway/shell/matrix.org/x-zriuzrmugxffrdyy)
2021-03-05 03:18:15 +0100ericsagnes(~ericsagne@2405:6580:0:5100:ce0d:4010:b248:c5be)
2021-03-05 03:19:23 +0100jeyj0[m](jeyj0matri@gateway/shell/matrix.org/x-azrjozmkdfsbqyuz)
2021-03-05 03:20:06 +0100liskin[m](liskinmatr@gateway/shell/matrix.org/x-wwwmmxistiaeijnb)
2021-03-05 03:21:25 +0100molinus[m](molinusmat@gateway/shell/matrix.org/x-gffnjpfbiohcjcng)
2021-03-05 03:25:45 +0100PotatoHatsue(berbermanp@gateway/shell/matrix.org/x-owxvktbultetirdz)
2021-03-05 03:31:49 +0100heck-to-the-gnom(heck-to-th@gateway/shell/matrix.org/x-knksglsfyyacjpqp)
2021-03-05 03:41:07 +0100rednaZ[m](r3dnazmatr@gateway/shell/matrix.org/x-dbwjulyjscwdxosr)
2021-03-05 04:19:38 +0100MasseR(~MasseR@51.15.143.128) (Quit: Ping timeout (120 seconds))
2021-03-05 04:20:03 +0100MasseR(~MasseR@51.15.143.128)
2021-03-05 04:43:09 +0100theDon(~td@94.134.91.49) (Ping timeout: 264 seconds)
2021-03-05 04:44:29 +0100theDon(~td@muedsl-82-207-238-191.citykom.de)
2021-03-05 05:05:39 +0100 <heck-to-the-gnom> mc47: You on? I was scrolling through your xmonad config, and I saw you wanted a more dynamic trayer solution... I have a shell script for your xmobar config, if you're interested
2021-03-05 05:07:55 +0100 <heck-to-the-gnom> Oh, shoot, didn't see his exit message, I'll catch him tomorrow
2021-03-05 05:20:56 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-05 05:21:16 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-05 05:24:09 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-05 05:24:28 +0100totte(~totte@chakra/totte) (Ping timeout: 276 seconds)
2021-03-05 05:25:11 +0100eb0t_eb0t
2021-03-05 05:27:24 +0100totte(~totte@chakra/totte)
2021-03-05 06:05:46 +0100adamik(~nodelet@unaffiliated/adamik) (Quit: leaving)
2021-03-05 06:06:33 +0100adamik(~nodelet@unaffiliated/adamik)
2021-03-05 07:07:46 +0100deepy(deepy@wrongplanet/deepa) (Read error: Connection reset by peer)
2021-03-05 07:10:15 +0100palo1(~weechat@c-base/crew/palo)
2021-03-05 07:13:27 +0100palo(~weechat@c-base/crew/palo) (Ping timeout: 265 seconds)
2021-03-05 07:13:27 +0100palo1palo
2021-03-05 07:59:57 +0100gazler(~gazler@195.107.2.81.in-addr.arpa)
2021-03-05 08:30:02 +0100 <Solid> heck-to-the-gnom: you can `?tell mc47 message'
2021-03-05 08:41:55 +0100cfricke(~cfricke@unaffiliated/cfricke)
2021-03-05 09:00:01 +0100meck(~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-05 09:31:06 +0100wz1000(~wz1000@static.11.113.47.78.clients.your-server.de) (Ping timeout: 260 seconds)
2021-03-05 09:42:02 +0100thunderrd(~thunderrd@183.182.112.145) (Ping timeout: 272 seconds)
2021-03-05 09:44:54 +0100ericsagnes(~ericsagne@2405:6580:0:5100:ce0d:4010:b248:c5be) (Ping timeout: 258 seconds)
2021-03-05 09:46:08 +0100notis(~notis@185.51.134.230)
2021-03-05 09:51:29 +0100mc47(~yecinem@89.246.239.190)
2021-03-05 09:53:59 +0100 <mc47> heck-to-the-gnom oh thanks! By dynamic I want it to be always redrawrn whenever *any* screen gets attached
2021-03-05 09:55:21 +0100kelnoky(~shao@ip1f1285ec.dynamic.kabel-deutschland.de)
2021-03-05 09:56:07 +0100thunderrd(~thunderrd@183.182.115.72)
2021-03-05 09:56:14 +0100 <mc47> currently #463 it optimistic and only spawn or kills things if the corresponding screen get attached or detached
2021-03-05 09:57:26 +0100ericsagnes(~ericsagne@2405:6580:0:5100:28ac:b0b7:174e:3f67)
2021-03-05 09:58:15 +0100 <mc47> Not sure if we should support killing *everything* and spawning the necessary things in the module, or if I should whip up a personal solution
2021-03-05 09:59:49 +0100 <mc47> (the problem with trayer: it's spawned on screen 0, which is my laptop screen. If attach an external monitor, that monitor becomes screen 0. xmobar moves to the external monitor, but trayer stays on the laptop monitor)
2021-03-05 10:00:09 +0100 <mc47> (which is ugly because my xmobar has now a trayer-shaped hole)
2021-03-05 10:12:17 +0100 <Solid> your xmobar is a lens? :o
2021-03-05 10:13:13 +0100kelnoky(~shao@ip1f1285ec.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.0)
2021-03-05 10:23:31 +0100 <mc47> lens in the physical sense or the haskell sense? :D
2021-03-05 10:24:08 +0100 <mc47> my xmobar seems transparent because my background has a solid color around the edges, hence the "hole"
2021-03-05 10:25:24 +0100 <mc47> unrelated, how can I make a layout redraw itself? :/
2021-03-05 10:25:53 +0100 <mc47> trying to workout the problem in #213
2021-03-05 10:26:27 +0100 <Solid> in the haskell sense :) but I got it the wrong way around (of course); it should be that trayer is the lens, as it's a trayes shaped whole in the surrounding xmobar
2021-03-05 10:27:04 +0100 <mc47> nah I have no lenses in the haskell sense whatsoever
2021-03-05 10:27:53 +0100 <mc47> I'm launching it as statusBarProp with mempty in the logHook
2021-03-05 10:27:55 +0100 <Solid> (it was a bad joke, I'm sorry)
2021-03-05 10:28:21 +0100 <mc47> (I felt it was a joke, I know too little about lenses though lol)
2021-03-05 10:28:58 +0100 <Solid> The usual intuition of a `Lens s s a a' is "an `a' shaped whole in the structure `s'"
2021-03-05 10:29:19 +0100 <Solid> I don't know whether there is a good solution for the layout redrawing besides M-S-<Space> and then switching to that layout again
2021-03-05 10:29:52 +0100 <mc47> that won't work I guess
2021-03-05 10:30:50 +0100 <mc47> a tl;dr of #213: create keybinding "modes", so basically you're trapped in an infinite submap until you press a ESC
2021-03-05 10:31:33 +0100 <mc47> (useful if you want to move floats around or resize them with the keyboard without going crazy, for example)
2021-03-05 10:31:37 +0100 <Solid> wasn't there a much better implementation of modal keybindings
2021-03-05 10:32:21 +0100 <mc47> the problem is that things like kill change the windows but the layout doesn't get updated
2021-03-05 10:32:27 +0100 <mc47> oh no idea, where?
2021-03-05 10:32:34 +0100 <Solid> let me try to find it
2021-03-05 10:33:03 +0100 <mc47> tbh I wanted to do the exact same thing but didn't have time for it
2021-03-05 10:33:55 +0100 <Solid> https://gist.github.com/LSLeary/6741b0572d62db3f0cea8e6618141b2f
2021-03-05 10:34:05 +0100 <Solid> it's another cool thing by lsleary that only needs docs last time I checked
2021-03-05 10:34:19 +0100 <Solid> I tried contacting them about getting it into -contrib proper but they didn't reply :(
2021-03-05 10:34:48 +0100 <Solid> it doesn't rely on recursive submaps and is thus probably a lot more stable
2021-03-05 10:34:54 +0100 <mc47> that's awesome! they were the ones who reported the problem with kill
2021-03-05 10:36:16 +0100 <mc47> that looks good at a first glance! they even thought of the labels so we can add a logger for it
2021-03-05 10:36:24 +0100 <mc47> thanks Solid!
2021-03-05 10:36:49 +0100 <Solid> npnp :)
2021-03-05 10:37:49 +0100deepy(deepy@wrongplanet/deepa)
2021-03-05 10:39:34 +0100 <mc47> I really hope they reply, it feels "cheaty" picking up a PR
2021-03-05 10:42:53 +0100 <Liskni_si> mc47: My config also doesn't restart panels on screens that are still connected and my trayer doesn't move. Isn't it a bit weird that in your setup trayer moves and xmobar does not?
2021-03-05 10:43:34 +0100 <mc47> it's the other way around
2021-03-05 10:43:44 +0100 <mc47> trayer doesn't move but xmobar does
2021-03-05 10:43:48 +0100 <mc47> I want trayer to also move
2021-03-05 10:44:01 +0100 <Liskni_si> And by doesn't move I probably mean it actually does move, because to stay on the screen, it needs to move when that screen changes its position.
2021-03-05 10:44:39 +0100 <mc47> maybe I messed up the trayer parameters
2021-03-05 10:46:06 +0100 <mc47> yep it was the parameters lol
2021-03-05 10:47:20 +0100 <Solid> mc47: you can potentially push to their branch when picking up a pr, thus you don't need to open anything new and they still get credit with regards to the commits they've already done (if you don't squash everything :))
2021-03-05 10:48:33 +0100 <mc47> they don't have the code in a branch I guess
2021-03-05 10:50:22 +0100 <Solid> push other their master then, I'm sure they won't mind :D
2021-03-05 10:51:11 +0100 <mc47> that's an option yeah!
2021-03-05 11:48:19 +0100kelnoky(~shao@ip1f1285ec.dynamic.kabel-deutschland.de)
2021-03-05 11:49:27 +0100thc202(~thc202@unaffiliated/thc202)
2021-03-05 12:32:46 +0100wz1000(~wz1000@static.11.113.47.78.clients.your-server.de)
2021-03-05 12:33:43 +0100xaltsc(~xaltsc@unaffiliated/xaltsc)
2021-03-05 12:47:17 +0100adamik(~nodelet@unaffiliated/adamik) (Quit: leaving)
2021-03-05 12:59:52 +0100adamik(~nodelet@unaffiliated/adamik)
2021-03-05 13:39:38 +0100 <mc47> Kinda thankful the IRC channel is "low latency"... I've been sitting for hours now looking at the logs from october, because I forgot to keep references to the relevant conversations
2021-03-05 13:40:28 +0100 <mc47> (relevant for my report, I need to talk about the community and what goes well/what doesn't)
2021-03-05 13:41:47 +0100 <Solid> I can give you my logs for easier grepping if you want
2021-03-05 13:43:17 +0100 <mc47> oh that won't be necessary, thanks though
2021-03-05 13:43:42 +0100 <mc47> I kinda forgot some things too, so it's good to review the logs
2021-03-05 13:44:04 +0100 <Solid> :)
2021-03-05 13:44:38 +0100 <mc47> already found the "interesting" parts :)
2021-03-05 13:52:03 +0100ericsagnes(~ericsagne@2405:6580:0:5100:28ac:b0b7:174e:3f67) (Ping timeout: 260 seconds)
2021-03-05 14:03:52 +0100ericsagnes(~ericsagne@2405:6580:0:5100:be08:ef83:7da5:b97a)
2021-03-05 14:07:16 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-05 14:13:55 +0100xaltsc(~xaltsc@unaffiliated/xaltsc) (Ping timeout: 240 seconds)
2021-03-05 14:27:36 +0100cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0.1)
2021-03-05 15:12:56 +0100 <Liskni_si> this sounds like a nice idea: https://simonwillison.net/2021/Feb/19/office-hours/
2021-03-05 15:14:24 +0100 <geekosaur> freebsd does that
2021-03-05 15:20:22 +0100 <Ikosit> Hi :) I'm a haskell noob and trying to use a IO monad as "Action" of a Keypress. So I'm using the function 'io' to lift the IO monad to a X monad. But when I press the bound key, nothing happens.
2021-03-05 15:20:43 +0100 <Ikosit> When i use the same code at the repl it works
2021-03-05 15:23:39 +0100 <geekosaur> @where paste
2021-03-05 15:23:39 +0100 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2021-03-05 15:23:54 +0100 <Ikosit> https://haste.m0rtis.com/?174b48e4728e1068#3b69Z7Ywk5vnwCotCxFUuikaBH4QPNGDxwcFobWJcAzr
2021-03-05 15:26:22 +0100 <Solid> do I now need webasm support to view text in my browser
2021-03-05 15:26:24 +0100 <Solid> what a time to be alive
2021-03-05 15:26:32 +0100 <Solid> Liskni_si: that sounds brilliant!
2021-03-05 15:26:41 +0100 <geekosaur> it's worse with webasm
2021-03-05 15:26:52 +0100 <geekosaur> I had to highlight everything to be able to read any of it
2021-03-05 15:26:59 +0100 <Solid> lol
2021-03-05 15:27:05 +0100 <geekosaur> you don't need to use io within brightness_notify, since it's already in IO
2021-03-05 15:30:41 +0100 <geekosaur> one common issue is that $PATH often isn't set for xmonad (this depends on the system, it is for debian-based distributions for example) so if some program isn't in /usr/bin it won't be found
2021-03-05 15:31:31 +0100 <geekosaur> I'd check the session log (usually ~/.xsession-errors) to see if it shows anything
2021-03-05 15:40:50 +0100 <Ikosit> geekosaur: It seems that PATH is set, because i can use e.g. 'spawn "pactl set-sink-mute @DEFAULT_SINK@ toggle"'
2021-03-05 15:41:31 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-05 15:42:44 +0100 <Ikosit> the io in brightness_notify was a relict from a time when brightness_notify had the type X ()
2021-03-05 15:43:06 +0100 <Ikosit> Without it, brightness_notify still dosn't work
2021-03-05 15:43:42 +0100 <Ikosit> a full config: https://paste.tomsmeding.com/SV4Nesji
2021-03-05 15:47:45 +0100ADG1089__(~aditya@106.214.235.119)
2021-03-05 15:56:33 +0100 <heck-to-the-gnom> Why not just move this into a shell script and spawn that?
2021-03-05 15:56:44 +0100 <heck-to-the-gnom> That seems much simpler to me
2021-03-05 15:57:17 +0100 <Ikosit> I want to learn Haskell by doing
2021-03-05 15:57:20 +0100 <Ikosit> ¯\_(ツ)_/¯
2021-03-05 15:57:35 +0100 <Ikosit> But that would also be an option
2021-03-05 15:59:02 +0100 <Solid> what doesn't work? only the notification or the whole thing?
2021-03-05 16:00:25 +0100 <heck-to-the-gnom> it seems that the notification is all that's failing
2021-03-05 16:00:30 +0100 <Ikosit> yes
2021-03-05 16:00:36 +0100 <Ikosit> only the notification
2021-03-05 16:01:16 +0100 <heck-to-the-gnom> pro tip I learned less than 24 hrs ago: use `<>` instead of `++`
2021-03-05 16:01:21 +0100seschwar(~seschwar@unaffiliated/seschwar)
2021-03-05 16:01:41 +0100 <Solid> that is equivalent for string
2021-03-05 16:02:19 +0100 <heck-to-the-gnom> Yes, but if you want to ever migrate to another data type for whatever reason, it'll be uniform, and no change'll be necessary.
2021-03-05 16:02:34 +0100 <Solid> Ikosit: I wonder if this is another case of SIGCHLD interfering with getting a proper exit code
2021-03-05 16:02:53 +0100 <Solid> perhaps try using the functions in https://hackage.haskell.org/package/xmonad-contrib-0.16/docs/XMonad-Util-Run.html instead of `readCreateProcess'
2021-03-05 16:03:16 +0100 <Solid> heck-to-the-gnom: xmonad won't migrate away from String anytime soon I can assure you that ;)
2021-03-05 16:04:12 +0100 <heck-to-the-gnom> Yes, but he is trying to learn haskel...
2021-03-05 16:04:15 +0100 <heck-to-the-gnom> ll*
2021-03-05 16:05:29 +0100 <Ikosit> he?
2021-03-05 16:06:08 +0100 <Solid> s/he/they/
2021-03-05 16:06:41 +0100 <heck-to-the-gnom> sorry, they
2021-03-05 16:07:21 +0100 <Solid> don't get me wrong, monoids are cool (and I personally never use ++ either), but there's a time and a place for everything :)
2021-03-05 16:07:39 +0100 <Ikosit> :P
2021-03-05 16:08:55 +0100 <heck-to-the-gnom> Man, I have no clue what's off about what you're doing, try running a command like `touch` or something to see if it's getting ran at all, and it's not a lack of parameters or something
2021-03-05 16:09:53 +0100 <heck-to-the-gnom> you could also ask in #haskell - they're usually willing to help
2021-03-05 16:10:51 +0100 <Solid> (do try to use X.U.Run first, we had a problem that readProcessWithExitCode just blocks in xmonad due to SIGCHLD not too long ago here)
2021-03-05 16:11:06 +0100 <Solid> and readCreateProcess is not so dissimilar
2021-03-05 16:11:09 +0100 <Ikosit> it's not a lack of parameters, bc if i run it in the repl it works
2021-03-05 16:13:20 +0100 <Solid> indeed, both functions call a function named `waitForProcess' which I think could be the issue
2021-03-05 16:14:23 +0100 <heck-to-the-gnom> Another thing you could try: running another xmonad session on another TTY, but before you launch it, run `typescript` - this logs all things any subprocess outputs. Then you can cat `~/typescript` any errors in spawning things will appear there (in my experience, anyway)
2021-03-05 16:15:08 +0100 <Ikosit> ok, thx for the tip
2021-03-05 16:28:07 +0100kelnoky(~shao@ip1f1285ec.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.0)
2021-03-05 16:31:30 +0100xaltsc(~xaltsc@unaffiliated/xaltsc)
2021-03-05 16:38:01 +0100 <heck-to-the-gnom> mc47: How do you keep trayer below everything, and xmobar below that? I copied `doLower` from your config, and I tried to apply it to xmobar too, but trayer still goes below xmobar.
2021-03-05 16:40:12 +0100 <Liskni_si> that's actually a good question that I wanted to ask as well and forgot
2021-03-05 16:40:33 +0100 <Liskni_si> I have this abomination in my config: https://github.com/liskin/dotfiles/blob/home/.xmonad/xmonad.hs#L431-L443 and I suspect mc47 must have something else
2021-03-05 16:45:12 +0100 <Solid> does it matter if trayer goes below xmobar if you have a trayer shaped hole in xmobar?
2021-03-05 16:46:36 +0100 <heck-to-the-gnom> I suppose, no, but how would one make such a hole? Two bars that are dynamically resized?
2021-03-05 16:46:49 +0100 <heck-to-the-gnom> (I have mine centered)
2021-03-05 16:47:52 +0100 <Liskni_si> Solid: I don't :-)
2021-03-05 16:48:30 +0100 <Solid> Liskni_si: that's fair enough :)
2021-03-05 16:48:59 +0100 <Solid> heck-to-the-gnom: most people I've seen just make xmobar only take up 90% of the top space and put trayer into that space
2021-03-05 16:50:39 +0100materiyolo(~materiyol@112.204.160.151) (Quit: WeeChat 3.0.1)
2021-03-05 16:55:08 +0100ADG1089__(~aditya@106.214.235.119) (Remote host closed the connection)
2021-03-05 16:57:30 +0100Waifod(~Waifod@91.106.123.186)
2021-03-05 17:08:23 +0100Waifod(~Waifod@91.106.123.186) (Quit: leaving)
2021-03-05 17:08:38 +0100Waifod(~Waifod@91.106.123.186)
2021-03-05 17:10:43 +0100 <mc47> heck-to-the-gnom euuh, nothing, really
2021-03-05 17:11:50 +0100 <mc47> I suspect it's a combination of the parameters I supply to trayer
2021-03-05 17:12:06 +0100 <heck-to-the-gnom> OK, well, how does your config work then? The hole in xmobar thing that Solid suggested?
2021-03-05 17:12:18 +0100 <mc47> probably --SetDockType true --SetPartialStrut true
2021-03-05 17:14:07 +0100 <heck-to-the-gnom> I had the first one, but the second doesn't seem to fix it... :/
2021-03-05 17:14:48 +0100 <mc47> there's a script that's creating a "transparent" icon in xmobar, where trayer should be. trayer was stuck on the wrong monitor, hence the hole
2021-03-05 17:15:20 +0100 <Solid> heck-to-the-gnom: I suspect you also need to tell xmobar to not take up the whole top
2021-03-05 17:15:52 +0100 <heck-to-the-gnom> mc47, and that's clickable?
2021-03-05 17:15:59 +0100 <heck-to-the-gnom> trayer, beneath that, I mean
2021-03-05 17:16:32 +0100 <mc47> trayer is rendered on top of xmobar actually
2021-03-05 17:17:04 +0100 <mc47> xmobar doesn't know transparency AFAIK, it's just a trick with the colors so it seems transparent on my screen
2021-03-05 17:17:13 +0100Waifod(~Waifod@91.106.123.186) (Quit: leaving)
2021-03-05 17:17:29 +0100Waifod(~Waifod@91.106.123.186)
2021-03-05 17:17:40 +0100 <heck-to-the-gnom> Hm, perhaps it's the fact that I'm also using `<+> manageDocks`
2021-03-05 17:18:18 +0100 <mc47> if you have `docks` I don't think you need that
2021-03-05 17:19:23 +0100 <mc47> for me, I have overrideRedirect = False in xmobar
2021-03-05 17:19:31 +0100ADG1089__(~aditya@106.214.235.119)
2021-03-05 17:19:42 +0100 <mc47> as well as checkDock --> doLower in the manageHook
2021-03-05 17:20:12 +0100 <mc47> oh I'm also using manageDocks...
2021-03-05 17:20:52 +0100 <mc47> which is redundant since I also have `docks`
2021-03-05 17:25:50 +0100 <heck-to-the-gnom> OK, well, overrideRedirect didn't seem to do much
2021-03-05 17:27:15 +0100 <heck-to-the-gnom> Perhaps, I could make/find a function that moves an item to the second lowest position? I might be able to do that with a mess of head + tails
2021-03-05 17:28:39 +0100Waifod(~Waifod@91.106.123.186) (Quit: leaving)
2021-03-05 17:28:54 +0100Waifod(~Waifod@91.106.123.186)
2021-03-05 17:29:17 +0100 <Liskni_si> or you can just copypaste what I have
2021-03-05 17:29:42 +0100 <heck-to-the-gnom> I'm hesitant, seeing as that thing, I barely understand, but I, I might just do it
2021-03-05 17:30:26 +0100 <Liskni_si> oh, by all means do try to make your own thing
2021-03-05 17:30:58 +0100 <Liskni_si> but since these windows aren't managed by xmonad, heads/tails won't really help you
2021-03-05 17:31:06 +0100ADG1089__(~aditya@106.214.235.119) (Remote host closed the connection)
2021-03-05 17:31:31 +0100ADG1089__(~aditya@106.214.235.119)
2021-03-05 17:31:45 +0100 <Liskni_si> you could possibly try to find the lowest managed window and restack trayer below that, which might hopefully stack the trayer above xmobar, which should be at the bottom
2021-03-05 17:31:56 +0100ADG1089__(~aditya@106.214.235.119) (Remote host closed the connection)
2021-03-05 17:31:57 +0100 <Liskni_si> but that'd quite likely be more complex than what I have
2021-03-05 17:32:50 +0100 <heck-to-the-gnom> No, just `head $ reverse down`, copy the items index, then move below.
2021-03-05 17:33:24 +0100 <heck-to-the-gnom> But moving it to a managehook, I'm not certain on that, I'll probably reference yours for that
2021-03-05 17:33:53 +0100 <Liskni_si> when you say "move", what do you (think you) mean exactly?
2021-03-05 17:34:07 +0100 <Liskni_si> these docks are _unmanaged_
2021-03-05 17:34:11 +0100 <Liskni_si> they're not in stackset
2021-03-05 17:34:30 +0100 <Liskni_si> so xmonad won't take care of syncing the stacking order to X
2021-03-05 17:34:59 +0100growpotkin(~growpotki@130-45-30-154.dyn.grandenetworks.net)
2021-03-05 17:39:14 +0100 <heck-to-the-gnom> Couldn't I do `checkDock --> myMovementFunction --> doIgnore`? My movement function would temporarily remap it, then, once the order has been fixed, it'd be re-ignored
2021-03-05 17:39:31 +0100 <heck-to-the-gnom> remap, meaning placing it back into the window stack
2021-03-05 17:41:09 +0100 <Liskni_si> it's not in the window stack until after the managehook finishes
2021-03-05 17:41:11 +0100 <Liskni_si> so… no
2021-03-05 17:45:39 +0100 <heck-to-the-gnom> OK, well, your thing it is then
2021-03-05 17:55:34 +0100ericsagnes(~ericsagne@2405:6580:0:5100:be08:ef83:7da5:b97a) (Ping timeout: 258 seconds)
2021-03-05 17:56:25 +0100 <mc47> Liskni_si the office-hours idea sounds good
2021-03-05 17:57:19 +0100Liskni_siwonders what would you say if I suggest "a friday clubhouse" instead :-D
2021-03-05 17:59:35 +0100 <mc47> if it's not the iOS clubhouse, then it sounds good :D
2021-03-05 18:01:03 +0100 <Liskni_si> well, the original Clubhouse is a Jira alternative
2021-03-05 18:01:18 +0100 <Liskni_si> but I was just kidding :-)
2021-03-05 18:02:04 +0100 <mc47> :D
2021-03-05 18:02:05 +0100 <Liskni_si> video/voice conferences don't scale above 3 to 4 people
2021-03-05 18:02:45 +0100 <mc47> sometimes it doesn't work with two people if the discussion gets too heated :D
2021-03-05 18:07:48 +0100ericsagnes(~ericsagne@2405:6580:0:5100:e26e:cf9:1dd6:9615)
2021-03-05 18:08:07 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-05 18:15:59 +0100 <heck-to-the-gnom> Liskni_si: https://p.bsd-unix.net/view/c7ed979b -- I'm trying to generalize your function, and I've almost got it, I just don't know how to proceed from here
2021-03-05 18:26:15 +0100 <geekosaur> you can't use whenX there because if the condition is false it does return () instead of mempty
2021-03-05 18:27:55 +0100 <heck-to-the-gnom> liskin had it there before... I only added arguments. Why did that alter it so?
2021-03-05 18:36:31 +0100growpotkin(~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-05 18:42:59 +0100growpotkin(~growpotki@130-45-30-154.dyn.grandenetworks.net)
2021-03-05 18:51:18 +0100jd_(~jd@23-127-25-87.lightspeed.rcsntx.sbcglobal.net)
2021-03-05 18:51:20 +0100jd_juliusdelta
2021-03-05 18:54:46 +0100 <Liskni_si> you also botched the mempty indent
2021-03-05 18:54:54 +0100 <Liskni_si> https://github.com/liskin/dotfiles/blob/home/.xmonad/xmonad.hs#L442
2021-03-05 19:00:29 +0100 <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 19:01:41 +0100 <mc47> I wish there was an easy way to write the bottom symbol, so I can replace the mempty with it
2021-03-05 19:02:00 +0100 <Solid> mc47: you use emacs right?
2021-03-05 19:02:16 +0100 <mc47> Solid :o how did I not think of tht
2021-03-05 19:02:17 +0100 <mc47> yes
2021-03-05 19:02:19 +0100 <mc47> I do
2021-03-05 19:02:28 +0100 <Solid> mc47: you can use the agda2 input method
2021-03-05 19:02:33 +0100 <Solid> then it's just \bot
2021-03-05 19:02:38 +0100growpotkin(~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-05 19:03:05 +0100 <Solid> if you have agda2-mode installed you can switch to it with C-\ (bound to `toggle-input-method' by default)
2021-03-05 19:03:11 +0100 <Solid> Never long for unicode again :D
2021-03-05 19:03:21 +0100 <mc47> I'll try that, thanks for the tip!
2021-03-05 19:03:56 +0100 <Solid> or just hack something together of course :D
2021-03-05 19:04:01 +0100 <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 19:04:24 +0100 <mc47> so much so that the plain text version of files is almost unreadable
2021-03-05 19:04:26 +0100 <Solid> probably reasonably easy to just replace every occurance of mempty in haskell code with ⊥
2021-03-05 19:04:34 +0100 <Solid> visually, that is
2021-03-05 19:04:51 +0100 <mc47> well, I would, if I knew enough elisp
2021-03-05 19:05:00 +0100 <Solid> using prettify-symbols-mode I once did something like that for elisp (lambda -> λ)
2021-03-05 19:06:33 +0100 <Liskni_si> or XCompose
2021-03-05 19:06:35 +0100 <Liskni_si> https://github.com/liskin/dotfiles/blob/home/.XCompose#L89
2021-03-05 19:08:21 +0100 <mc47> huh
2021-03-05 19:08:27 +0100 <mc47> that's also interesting
2021-03-05 19:13:59 +0100 <Solid> mc47: http://ix.io/2RNJ
2021-03-05 19:15:25 +0100 <mc47> awesome! thanks
2021-03-05 19:16:13 +0100 <Solid> my pleasure! always a joy writing more LISP
2021-03-05 19:16:20 +0100 <Solid> the advantage of this approach is that your code won't confuse anyone else :D
2021-03-05 19:17:57 +0100 <Solid> actually that code may be slightly wrong
2021-03-05 19:18:10 +0100 <Solid> could be better to just set the alist to that value instead of pushing it
2021-03-05 19:18:16 +0100 <Solid> probably not a big deal though
2021-03-05 19:18:44 +0100 <mc47> the alist is already modified
2021-03-05 19:18:45 +0100 <mc47> a lot
2021-03-05 19:19:29 +0100 <Solid> ah, in that case you know what to do :D
2021-03-05 19:23:15 +0100 <mc47> it's modified, but not by me :D
2021-03-05 19:26:05 +0100growpotkin(~growpotki@130-45-30-154.dyn.grandenetworks.net)
2021-03-05 19:27:01 +0100Liskni_sidecided to rebuild all Haskell stuff with -dynamic :-)
2021-03-05 19:27:10 +0100 <Liskni_si> I wonder if/when anything breaks
2021-03-05 19:29:56 +0100 <Solid> Oo
2021-03-05 19:30:00 +0100 <geekosaur> nothing should break unless you forget to also build some dependent with -dynamic
2021-03-05 19:30:41 +0100 <Liskni_si> I can't forget to build anything, as I build everything from a single home-wide stack.yaml
2021-03-05 19:30:59 +0100 <Liskni_si> which is also why I thought it's reasonably safe to do this
2021-03-05 19:32:02 +0100 <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 19:46:05 +0100 <mc47> Solid the thing is, I'm not sure where exactly it's being set
2021-03-05 19:46:58 +0100 <mc47> I successfully added '("mempty" . ⊥) to the alist but it didn't do anything, so something else is going on there
2021-03-05 19:47:13 +0100 <mc47> I asked in the doom discord, hopefully someone comes along
2021-03-05 19:47:25 +0100 <Solid> make sure `prettify-symbols-mode' is actually on
2021-03-05 19:47:28 +0100 <Solid> oh doom
2021-03-05 19:47:37 +0100 <Solid> yeah no idea in that case :D
2021-03-05 19:49:00 +0100 <mc47> yeah other symbols are being replaced, I think it needs more than just ⊥
2021-03-05 19:51:10 +0100 <Solid> other symbols shouldn't really matter for this as we're explicitly associating mempty to ⊥
2021-03-05 19:54:43 +0100geekosaur(82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-03-05 19:58:59 +0100Waifod(~Waifod@91.106.123.186) (Ping timeout: 260 seconds)
2021-03-05 20:00:20 +0100Waifod(Waifod@gateway/vpn/protonvpn/waifod)
2021-03-05 20:10:41 +0100 <mc47> Solid doom had indeed its way of doing things
2021-03-05 20:11:55 +0100 <Solid> ah, of course
2021-03-05 20:17:33 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-05 20:18:35 +0100seschwar(~seschwar@unaffiliated/seschwar) (Quit: :wq)
2021-03-05 20:21:42 +0100ADG1089__(~aditya@171.79.107.148)
2021-03-05 20:22:02 +0100seschwar(~seschwar@unaffiliated/seschwar)
2021-03-05 21:16:06 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-05 21:21:54 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-05 21:22:58 +0100xaltsc(~xaltsc@unaffiliated/xaltsc) (Ping timeout: 260 seconds)
2021-03-05 22:46:17 +0100_ashbreeze_(~mark@64.85.214.234.reverse.socket.net) (Ping timeout: 265 seconds)
2021-03-05 22:47:32 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-05 22:52:37 +0100_ashbreeze_(~mark@64.85.214.234.reverse.socket.net)
2021-03-05 23:13:33 +0100mc47(~yecinem@89.246.239.190) (Quit: Leaving)
2021-03-05 23:21:25 +0100ADG1089__(~aditya@171.79.107.148) (Remote host closed the connection)