Home liberachat/#xmonad: Logs Calendar

Logs on 2022-02-08 (liberachat/#xmonad)

00:07:31 <geekosaur> https://hackage.haskell.org/package/xmonad-contrib-0.17.0/docs/XMonad-Layout-Reflect.html#v:reflectHoriz
00:11:48 × kayvank quits (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Read error: Connection reset by peer)
00:55:57 × jao quits (~jao@211.68.17.95.dynamic.jazztel.es) (Remote host closed the connection)
01:09:19 → jao joins (~jao@211.68.17.95.dynamic.jazztel.es)
01:10:57 × m5zs7k quits (aquares@web10.mydevil.net) (Ping timeout: 256 seconds)
02:06:41 × mvk quits (~mvk@2607:fea8:5cdc:bf00::80f1) (Ping timeout: 250 seconds)
02:15:43 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal)
02:15:57 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
02:23:29 × jao quits (~jao@211.68.17.95.dynamic.jazztel.es) (Ping timeout: 256 seconds)
03:03:09 × banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 256 seconds)
03:22:18 → banc joins (banc@gateway/vpn/airvpn/banc)
03:39:02 → m5zs7k joins (aquares@web10.mydevil.net)
03:42:16 × terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat)
03:44:42 → terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1)
03:48:10 × td_ quits (~td@muedsl-82-207-238-072.citykom.de) (Ping timeout: 256 seconds)
03:49:49 × noex quits (~null@user/noex) (Ping timeout: 250 seconds)
03:50:01 → td_ joins (~td@muedsl-82-207-238-149.citykom.de)
04:22:37 → noex joins (~null@user/noex)
04:43:20 → mvk joins (~mvk@2607:fea8:5cdc:bf00::80f1)
05:14:37 × steve__ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 240 seconds)
05:15:25 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 256 seconds)
05:19:20 → geekosaur joins (~geekosaur@xmonad/geekosaur)
05:43:51 <galactic_starfis> How do I run the type `WindowSet -> WindowSet` within a manageHook via `doF`, while getting information from a `X Bool` function? Or without `doF`, idk.
05:44:27 <galactic_starfis> With the use case being running `hasTag tg w` within the managehook.
05:44:36 <galactic_starfis> (not sure if that's possible?)
06:18:01 × thunderrd quits (~thunderrd@183.182.114.80) (Remote host closed the connection)
06:27:01 → thunderrd joins (~thunderrd@183.182.114.80)
06:28:10 × thunderrd quits (~thunderrd@183.182.114.80) (Remote host closed the connection)
06:29:13 → thunderrd joins (~thunderrd@183.182.114.80)
06:41:05 × mvk quits (~mvk@2607:fea8:5cdc:bf00::80f1) (Ping timeout: 256 seconds)
07:25:45 × thunderrd quits (~thunderrd@183.182.114.80) (Remote host closed the connection)
07:27:04 <Solid> galactic_starfis: you lift values X to values in Query with liftX
07:27:06 → thunderrd joins (~thunderrd@183.182.114.80)
07:27:30 <Solid> liftX (hasTag tg w) :: Query Bool
07:27:43 <Solid> > :t liftX
07:27:44 <lambdabot> <hint>:1:1: error: parse error on input ‘:’
07:28:03 <Solid> > liftX
07:28:04 <lambdabot> error:
07:28:04 <lambdabot> • Variable not in scope: liftX
07:28:04 <lambdabot> • Perhaps you meant one of these:
07:28:07 <Solid> ah well
07:34:53 → steve__ joins (~steve@ool-182c2b80.dyn.optonline.net)
07:59:08 → cfricke joins (~cfricke@user/cfricke)
08:19:16 → mc47 joins (~mc47@xmonad/TheMC47)
09:38:46 <geekosaur> yeh, I keep wishing we had a bot with xmonad and contrib loaded too
09:39:20 <geekosaur> galactic_starfis, I showed you that yesterday
09:39:40 <geekosaur> only with addTag instead of hasTag
10:17:03 <geekosaur> seriously, gothrough the IO tutorial I pointed you at the other day. then consider the types, and things will start falling into place including how >>= works
10:19:21 <geekosaur> (ask >>= liftX . hasTag tg) :: Query Bool -- using the new Window the manageHook is running on
11:03:47 → edun joins (~qbt@user/edun)
11:05:56 × edun quits (~qbt@user/edun) (Client Quit)
11:39:23 × sheb_ quits (~sheb@31.223.228.71) (Quit: Leaving)
13:48:12 → jao joins (~jao@211.68.17.95.dynamic.jazztel.es)
16:16:36 → seschwar joins (~seschwar@user/seschwar)
16:33:16 → Rue joins (~rue@2001-b011-1000-1a29-7937-e51c-8a8a-ea67.dynamic-ip6.hinet.net)
16:46:36 × cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.3)
19:02:21 → mohab joins (~mohab@45.243.71.249)
19:09:36 × mohab quits (~mohab@45.243.71.249) (Quit: WeeChat 3.4)
19:16:19 → mohab joins (~mohab@45.243.71.249)
19:23:59 × mohab quits (~mohab@45.243.71.249) (Quit: WeeChat 3.4)
19:29:24 → mohab joins (~mohab@45.243.71.249)
19:36:50 × mohab quits (~mohab@45.243.71.249) (Quit: WeeChat 3.4)
19:37:07 → mohab joins (~mohab@45.243.71.249)
19:51:29 × mohab quits (~mohab@45.243.71.249) (Quit: WeeChat 3.4)
19:55:37 → mohab joins (~mohab@45.243.71.249)
19:55:39 × mohab quits (~mohab@45.243.71.249) (Client Quit)
19:56:05 → twiclo joins (~twiclo@2604:7b80:2000:1069:52fc:cedd:fbeb:10c)
19:56:08 → mohab joins (~mohab@45.243.71.249)
19:57:01 <twiclo> I'm going through the tutorial under the section "Make XMonad and Xmobar Talk to Each Other". It talks about adding a few imports then it adds xmobarProp to the "main =" block. When I try to recompile xmonad it tells me that that variable isn't in scope
19:58:05 × mohab quits (~mohab@45.243.71.249) (Client Quit)
19:58:06 <geekosaur> are you using xmonad 0.17.0? (if you got xmonad from a distro, the answer is almost certainly "no")
19:58:17 <twiclo> Oh I think I know what's wrong
19:58:35 <twiclo> Yeah I am on the latest version. xmobarProp is in fact a function they defined earlier and I just missed it
19:58:48 <twiclo> Oh just kidding no it's not
19:58:54 → mohab joins (~mohab@45.243.71.249)
20:01:17 <geekosaur> hrm. tutorial shouldnot be using xmobarProp, it should be using the new interface
20:01:31 <twiclo> https://xmonad.org/TUTORIAL.html
20:02:23 <geekosaur> you imported X.H.DynamicLog ?
20:03:12 <twiclo> Yeah but I have a whole bunch of extras with it. I wonder if that's throwing things off
20:03:17 <twiclo> import XMonad.Hooks.DynamicLog (dynamicLogWithPP, wrap, xmobarPP, xmobarColor, shorten, PP(..))
20:03:25 <twiclo> I'm not sure what I'm using and not using from this
20:03:39 <geekosaur> yes, you would need to add xmobarProp to that list
20:04:05 <geekosaur> and if you're using xmobarProp you probably aren't using anything else from that list
20:04:14 <Solid> (this is why the tutorial imports things unqualified)
20:04:51 <twiclo> I was too afraid to touch it in case something else was using it but now I'm just importing everything
20:05:01 <twiclo> And I got a new bigger error so let me have a look at that
20:05:08 <Solid> geekosaur: xmobarProp is pretty much the new interface, just without the customisation (hence we later switch it out for withEasySB for the people who want that)
20:06:48 <twiclo> I'd be happy with just getting my current workstation in my bar for the time being
20:07:02 <twiclo> p.twil.cx/saj
20:07:14 <twiclo> Having a hard time understanding this error
20:07:51 <geekosaur> you have xmobarProp in the wrong place
20:08:02 <twiclo> I need to swap the two?
20:08:11 <Solid> yes
20:09:43 <twiclo> What does this ewmh library do?
20:10:25 <twiclo> My workstations are there and it's beautiful
20:10:37 <twiclo> But so very ugly holy crap
20:12:10 <geekosaur> basic xmonad only does the minimum window management required by X11R4 back in the late 1980s
20:12:36 <geekosaur> ewmh is a newer window management specification, and the EwmhDesktops module adds support for it
20:14:02 <twiclo> So what do you get when adding that support?
20:14:22 <Solid> clients that also speak EMWH now know how to talk to you
20:14:33 <twiclo> Can you give me an example?
20:17:10 <Solid> e.g., there are some atoms that report the workspace state (active window/workspace, other workspaces, etc.); status bars can now use that information and display it without ever needing to interact with the window manager
20:17:11 <geekosaur> browsers generally insist on ewmh support these days
20:17:59 <Solid> e.g. cnx is a bar that exclusively works off of ewmh properties
20:19:20 <twiclo> Do I really need to go through this whole "Changing What XMonad Sends to Xmobar" section to modify things? I only want to remove the layout name and selected window from my bar
20:19:42 <geekosaur> ewmh support includes things like minimizing windows, statusbar support (not just what Solid is talking about but even just having space reserved for them), urgent windows, etc.
20:21:59 <twiclo> Okay well I added it just in case even though I don't think I'll be using any of that
20:25:58 <twiclo> Any input on my last question?
20:27:27 <geekosaur> xmonadPropdoesn't let you change anything at all, you need to switch to withEasySB (or the old-fashioned way in X.H.DynamicLog but it's even less friendly) if you want to make changes
20:31:17 <twiclo> Sounds good. I'll shelve that for another day then
20:40:08 <galactic_starfis> <geekosaur> "(ask >>= liftX . hasTag tg..." <- I should've seen that, I was being a fool, and trying to parse the information in a modifier in `doF` / the second arg of `-->`. Thanks again for the help, I'll make sure to run through that tutorial as well.
20:45:58 × twiclo quits (~twiclo@2604:7b80:2000:1069:52fc:cedd:fbeb:10c) (Quit: WeeChat 3.3)
20:50:04 → twiclo joins (~twiclo@2604:7b80:2000:1069:52fc:cedd:fbeb:10c)
20:50:58 <twiclo> Okay not sure what I chnaged but my old macro to open a browser (Mod+b) now moves my windows over xmobar
20:51:13 <twiclo> What can I check? It's not mapped to anything besides launching brave-browser
20:51:32 × mohab quits (~mohab@45.243.71.249) (Quit: WeeChat 3.4)
20:51:45 <geekosaur> that's the default binding for hiding docks, yes
20:51:56 <geekosaur> so you'll need to switch in order to override it
20:52:18 → mohab joins (~mohab@45.243.71.249)
20:52:21 <twiclo> What are docks?
20:53:42 <geekosaur> ewmh's name for any status bar, pager, indicator applet/system tray, etc.
20:54:22 <twiclo> I used to have this in my main = do block
20:54:23 <twiclo> xmonad $ docks defaults
20:54:29 <twiclo> I took out the docks so that makes sense
20:54:33 <twiclo> xmonad . ewmh . xmobarProp $ docks defaults
20:54:43 <twiclo> This is what it is now and that's not working
20:57:31 <geekosaur> xmobarProp is adding the mod-b binding, docks just adds the basic mechanism for reserving space for dock windows (status bars etc. as I said)
20:57:48 <Solid> the tutorial shows you show to change this a little bit further down
20:58:14 <twiclo> What section?
20:59:57 <twiclo> Or how do I overwrite that xmobarprop shortcut?
21:03:48 <Solid> It's in "Changing What XMonad Sends to Xmobar"
21:04:02 <twiclo> Oh man
21:11:19 × Rue quits (~rue@2001-b011-1000-1a29-7937-e51c-8a8a-ea67.dynamic-ip6.hinet.net) (Ping timeout: 250 seconds)
21:13:35 → Rue joins (~rue@2001-b011-1000-1402-f4fe-f6f9-1dd3-9979.dynamic-ip6.hinet.net)
21:13:37 <twiclo> Okay so I see setting it to xK_b but how do I just set it to nothing?>
21:18:42 <geekosaur> replace withEasySB with withSB
21:19:14 <twiclo> Will that still let me modify what's being sent to xmobar?
21:19:24 <geekosaur> yes
21:19:45 <geekosaur> only difference is it assumes it's feeding a second bar so it doesn't repeat things like the keybinding
21:21:36 <twiclo> https://p.twil.cx/sov.hs
21:21:50 <twiclo> I think it doesn't like that I'm calling withSB after ewmh?
21:23:08 <geekosaur> you still have defToggleStrutsKey there, which is what withSB doesn't want (and specifically neither do you as that's where the mod-b binding comes from)
21:23:32 <twiclo> . withSB (statusBarProp "xmobar" (pure myXmobarPP))
21:23:35 <twiclo> So just like that?
21:25:57 <geekosaur> looks right to me
21:26:10 × mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
21:26:38 × mohab quits (~mohab@45.243.71.249) (Quit: WeeChat 3.4)
21:27:15 <twiclo> https://p.twil.cx/bis.hs
21:27:31 <twiclo> Is this complaining because spawnPipe is being passed into ewmh?
21:28:15 → mohab joins (~mohab@45.243.71.249)
21:28:53 <geekosaur> yes, because of where you put the .
21:29:14 <geekosaur> but your xmobar is being started by withSB, why are you starting it with spawnPipe as well?
21:29:41 <twiclo> Because I don't know what I'm doing haha. I didn't know that started xmobar
21:29:48 <twiclo> How do I start it three times for every monitor?
21:29:50 <geekosaur> if you really want one per screen you want to use withSB three times, changing each "xmobar" to "xmobar -x1" etc.
21:29:58 <twiclo> Okay
21:31:10 <geekosaur> we're moving away form the spawnPipe version because it will hang if you don't have xmobar configured correctly
21:31:33 <twiclo> Do you not like having one bar for every screen?
21:32:51 <twiclo> Okay now xmonad is starting with the struts thing toggled off meaning my windows are covering the bar
21:36:56 <geekosaur> you removed docks so of course no space is being reserved for them
21:38:06 <twiclo> Ah
21:38:21 × mohab quits (~mohab@45.243.71.249) (Quit: WeeChat 3.4)
21:39:44 → mohab joins (~mohab@45.243.71.249)
21:40:10 <twiclo> Thanks for the help
22:10:46 × jao quits (~jao@211.68.17.95.dynamic.jazztel.es) (Remote host closed the connection)
22:17:25 <twiclo> How do I change the <>s to []s on the selected workstation
22:17:38 <twiclo> I'm ripping off the tutorials styling
22:18:36 → jao joins (~jao@211.68.17.95.dynamic.jazztel.es)
22:32:49 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
22:33:08 → geekosaur joins (~geekosaur@xmonad/geekosaur)
22:35:18 <geekosaur> selected? that should already get []. <> are the non-selected but visible workspaces
22:36:19 <twiclo> Sorry that's what I meant
22:43:19 <twiclo> Where can I find documentation on the DynNetwork plugin for Xmobar? Is it possible to switch it from kB/s to Mb/s?
22:44:11 <geekosaur> sorry, had a phone call.
22:44:17 <twiclo> Oh no worries
22:45:31 <geekosaur> you can set ppVisible to `wrap "[" "]"`, or include a color change with that with a slightly different invocation
22:45:39 <geekosaur> I can't help with xmobar as I don't use it
23:16:17 × jao quits (~jao@211.68.17.95.dynamic.jazztel.es) (Ping timeout: 240 seconds)
23:18:46 → jao joins (~jao@static-68-235-44-10.cust.tzulo.com)
23:33:40 × seschwar quits (~seschwar@user/seschwar) (Quit: :wq)
23:55:20 liskin has been looking into the xmobar memleak today; kinda expected the investigation to be easier
23:55:39 <liskin> it's a slow leak so hp2ps and similar are completely useless
23:56:27 <liskin> I have 3 gigs of .hp data (and still growing) which I analyze using shit like grep, sort and python/numpy
23:58:45 <davean> liskin: I know nothing about xmobar but I had a similar thing with taffybar where they had a Chan they pushed to but never consumed
23:59:26 <liskin> davean: how did you figure that out? any tips?
23:59:46 <davean> Oh I just ran a profiled build

All times are in UTC on 2022-02-08.