Logs: liberachat/#xmonad
| 2022-02-08 00:11:48 | × | kayvank quits (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Read error: Connection reset by peer) |
| 2022-02-08 00:55:57 | × | jao quits (~jao@211.68.17.95.dynamic.jazztel.es) (Remote host closed the connection) |
| 2022-02-08 01:09:19 | → | jao joins (~jao@211.68.17.95.dynamic.jazztel.es) |
| 2022-02-08 01:10:57 | × | m5zs7k quits (aquares@web10.mydevil.net) (Ping timeout: 256 seconds) |
| 2022-02-08 02:06:41 | × | mvk quits (~mvk@2607:fea8:5cdc:bf00::80f1) (Ping timeout: 250 seconds) |
| 2022-02-08 02:15:43 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal) |
| 2022-02-08 02:15:57 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-02-08 02:23:29 | × | jao quits (~jao@211.68.17.95.dynamic.jazztel.es) (Ping timeout: 256 seconds) |
| 2022-02-08 03:03:09 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 256 seconds) |
| 2022-02-08 03:22:18 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 2022-02-08 03:39:02 | → | m5zs7k joins (aquares@web10.mydevil.net) |
| 2022-02-08 03:42:16 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-02-08 03:44:42 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-02-08 03:48:10 | × | td_ quits (~td@muedsl-82-207-238-072.citykom.de) (Ping timeout: 256 seconds) |
| 2022-02-08 03:49:49 | × | noex quits (~null@user/noex) (Ping timeout: 250 seconds) |
| 2022-02-08 03:50:01 | → | td_ joins (~td@muedsl-82-207-238-149.citykom.de) |
| 2022-02-08 04:22:37 | → | noex joins (~null@user/noex) |
| 2022-02-08 04:43:20 | → | mvk joins (~mvk@2607:fea8:5cdc:bf00::80f1) |
| 2022-02-08 05:14:37 | × | steve__ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2022-02-08 05:15:25 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 256 seconds) |
| 2022-02-08 05:19:20 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2022-02-08 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. |
| 2022-02-08 05:44:27 | <galactic_starfis> | With the use case being running `hasTag tg w` within the managehook. |
| 2022-02-08 05:44:36 | <galactic_starfis> | (not sure if that's possible?) |
| 2022-02-08 06:18:01 | × | thunderrd quits (~thunderrd@183.182.114.80) (Remote host closed the connection) |
| 2022-02-08 06:27:01 | → | thunderrd joins (~thunderrd@183.182.114.80) |
| 2022-02-08 06:28:10 | × | thunderrd quits (~thunderrd@183.182.114.80) (Remote host closed the connection) |
| 2022-02-08 06:29:13 | → | thunderrd joins (~thunderrd@183.182.114.80) |
| 2022-02-08 06:41:05 | × | mvk quits (~mvk@2607:fea8:5cdc:bf00::80f1) (Ping timeout: 256 seconds) |
| 2022-02-08 07:25:45 | × | thunderrd quits (~thunderrd@183.182.114.80) (Remote host closed the connection) |
| 2022-02-08 07:27:04 | <Solid> | galactic_starfis: you lift values X to values in Query with liftX |
| 2022-02-08 07:27:06 | → | thunderrd joins (~thunderrd@183.182.114.80) |
| 2022-02-08 07:27:30 | <Solid> | liftX (hasTag tg w) :: Query Bool |
| 2022-02-08 07:27:43 | <Solid> | > :t liftX |
| 2022-02-08 07:27:44 | <lambdabot> | <hint>:1:1: error: parse error on input ‘:’ |
| 2022-02-08 07:28:03 | <Solid> | > liftX |
| 2022-02-08 07:28:04 | <lambdabot> | error: |
| 2022-02-08 07:28:04 | <lambdabot> | • Variable not in scope: liftX |
| 2022-02-08 07:28:04 | <lambdabot> | • Perhaps you meant one of these: |
| 2022-02-08 07:28:07 | <Solid> | ah well |
| 2022-02-08 07:34:53 | → | steve__ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-02-08 07:59:08 | → | cfricke joins (~cfricke@user/cfricke) |
| 2022-02-08 08:19:16 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2022-02-08 09:38:46 | <geekosaur> | yeh, I keep wishing we had a bot with xmonad and contrib loaded too |
| 2022-02-08 09:39:20 | <geekosaur> | galactic_starfis, I showed you that yesterday |
| 2022-02-08 09:39:40 | <geekosaur> | only with addTag instead of hasTag |
| 2022-02-08 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 |
| 2022-02-08 10:19:21 | <geekosaur> | (ask >>= liftX . hasTag tg) :: Query Bool -- using the new Window the manageHook is running on |
| 2022-02-08 11:03:47 | → | edun joins (~qbt@user/edun) |
| 2022-02-08 11:05:56 | × | edun quits (~qbt@user/edun) (Client Quit) |
| 2022-02-08 11:39:23 | × | sheb_ quits (~sheb@31.223.228.71) (Quit: Leaving) |
| 2022-02-08 13:48:12 | → | jao joins (~jao@211.68.17.95.dynamic.jazztel.es) |
| 2022-02-08 16:16:36 | → | seschwar joins (~seschwar@user/seschwar) |
| 2022-02-08 16:33:16 | → | Rue joins (~rue@2001-b011-1000-1a29-7937-e51c-8a8a-ea67.dynamic-ip6.hinet.net) |
| 2022-02-08 16:46:36 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 2022-02-08 19:02:21 | → | mohab joins (~mohab@45.243.71.249) |
| 2022-02-08 19:09:36 | × | mohab quits (~mohab@45.243.71.249) (Quit: WeeChat 3.4) |
| 2022-02-08 19:16:19 | → | mohab joins (~mohab@45.243.71.249) |
| 2022-02-08 19:23:59 | × | mohab quits (~mohab@45.243.71.249) (Quit: WeeChat 3.4) |
| 2022-02-08 19:29:24 | → | mohab joins (~mohab@45.243.71.249) |
| 2022-02-08 19:36:50 | × | mohab quits (~mohab@45.243.71.249) (Quit: WeeChat 3.4) |
| 2022-02-08 19:37:07 | → | mohab joins (~mohab@45.243.71.249) |
| 2022-02-08 19:51:29 | × | mohab quits (~mohab@45.243.71.249) (Quit: WeeChat 3.4) |
| 2022-02-08 19:55:37 | → | mohab joins (~mohab@45.243.71.249) |
| 2022-02-08 19:55:39 | × | mohab quits (~mohab@45.243.71.249) (Client Quit) |
| 2022-02-08 19:56:05 | → | twiclo joins (~twiclo@2604:7b80:2000:1069:52fc:cedd:fbeb:10c) |
| 2022-02-08 19:56:08 | → | mohab joins (~mohab@45.243.71.249) |
| 2022-02-08 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 |
| 2022-02-08 19:58:05 | × | mohab quits (~mohab@45.243.71.249) (Client Quit) |
| 2022-02-08 19:58:06 | <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 | <twiclo> | Oh I think I know what's wrong |
| 2022-02-08 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 |
| 2022-02-08 19:58:48 | <twiclo> | Oh just kidding no it's not |
| 2022-02-08 19:58:54 | → | mohab joins (~mohab@45.243.71.249) |
| 2022-02-08 20:01:17 | <geekosaur> | hrm. tutorial shouldnot be using xmobarProp, it should be using the new interface |
| 2022-02-08 20:01:31 | <twiclo> | https://xmonad.org/TUTORIAL.html |
| 2022-02-08 20:02:23 | <geekosaur> | you imported X.H.DynamicLog ? |
| 2022-02-08 20:03:12 | <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 | <twiclo> | import XMonad.Hooks.DynamicLog (dynamicLogWithPP, wrap, xmobarPP, xmobarColor, shorten, PP(..)) |
| 2022-02-08 20:03:25 | <twiclo> | I'm not sure what I'm using and not using from this |
| 2022-02-08 20:03:39 | <geekosaur> | yes, you would need to add xmobarProp to that list |
| 2022-02-08 20:04:05 | <geekosaur> | and if you're using xmobarProp you probably aren't using anything else from that list |
| 2022-02-08 20:04:14 | <Solid> | (this is why the tutorial imports things unqualified) |
| 2022-02-08 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 |
| 2022-02-08 20:05:01 | <twiclo> | And I got a new bigger error so let me have a look at that |
| 2022-02-08 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) |
| 2022-02-08 20:06:48 | <twiclo> | I'd be happy with just getting my current workstation in my bar for the time being |
| 2022-02-08 20:07:02 | <twiclo> | p.twil.cx/saj |
| 2022-02-08 20:07:14 | <twiclo> | Having a hard time understanding this error |
| 2022-02-08 20:07:51 | <geekosaur> | you have xmobarProp in the wrong place |
| 2022-02-08 20:08:02 | <twiclo> | I need to swap the two? |
| 2022-02-08 20:08:11 | <Solid> | yes |
| 2022-02-08 20:09:43 | <twiclo> | What does this ewmh library do? |
| 2022-02-08 20:10:25 | <twiclo> | My workstations are there and it's beautiful |
| 2022-02-08 20:10:37 | <twiclo> | But so very ugly holy crap |
| 2022-02-08 20:12:10 | <geekosaur> | basic xmonad only does the minimum window management required by X11R4 back in the late 1980s |
| 2022-02-08 20:12:36 | <geekosaur> | ewmh is a newer window management specification, and the EwmhDesktops module adds support for it |
| 2022-02-08 20:14:02 | <twiclo> | So what do you get when adding that support? |
| 2022-02-08 20:14:22 | <Solid> | clients that also speak EMWH now know how to talk to you |
| 2022-02-08 20:14:33 | <twiclo> | Can you give me an example? |
All times are in UTC.