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