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