2022-01-16 00:21:01 +0100 | steve__ | (~steve@ool-182c2b80.dyn.optonline.net) |
2022-01-16 00:21:02 +0100 | sogens | (~Sogens@gateway/vpn/pia/sogens) (Ping timeout: 240 seconds) |
2022-01-16 00:23:01 +0100 | sogens | (~Sogens@pa49-182-138-25.pa.qld.optusnet.com.au) |
2022-01-16 01:09:30 +0100 | benin | (~benin@183.82.30.17) |
2022-01-16 01:57:53 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::55f8) |
2022-01-16 02:11:08 +0100 | sogens | (~Sogens@pa49-182-138-25.pa.qld.optusnet.com.au) (Ping timeout: 250 seconds) |
2022-01-16 02:12:57 +0100 | sogens | (~Sogens@gateway/vpn/pia/sogens) |
2022-01-16 02:51:24 +0100 | seschwar | (~seschwar@user/seschwar) (Quit: :wq) |
2022-01-16 03:19:10 +0100 | catman | (~catman@user/catman) (Ping timeout: 250 seconds) |
2022-01-16 03:25:34 +0100 | catman | (~catman@user/catman) |
2022-01-16 03:41:48 +0100 | <Ocelot_> | H, guys. I got bored and moved almost all of my xmonad.hs into main. It's literally just main, and a few other things at the top level right now (because they had to be, for some reason). Everything works perfectly except for xmobar. Thoughts? |
2022-01-16 03:56:12 +0100 | <Ocelot_> | Scratch that. |
2022-01-16 03:56:28 +0100 | <Ocelot_> | User error… |
2022-01-16 03:57:45 +0100 | <Ocelot_> | So is there any actual advantage to moving, more or less, the entire thing into main? |
2022-01-16 03:58:08 +0100 | <Ocelot_> | I just wanted to see if it would even work. |
2022-01-16 04:02:47 +0100 | banc | (banc@gateway/vpn/airvpn/banc) (Ping timeout: 256 seconds) |
2022-01-16 04:15:04 +0100 | benin | (~benin@183.82.30.17) (Ping timeout: 250 seconds) |
2022-01-16 04:18:27 +0100 | etrigan63[m] | (~etrigan63@2001:470:69fc:105::1:2982) |
2022-01-16 04:19:36 +0100 | <etrigan63[m]> | Hey all. Is there a command that can list the active layout on a workspace? I want to add that info to polybar. Or is there a module somewhere? |
2022-01-16 04:22:06 +0100 | benin | (~benin@183.82.30.17) |
2022-01-16 04:22:22 +0100 | banc | (banc@gateway/vpn/airvpn/banc) |
2022-01-16 04:38:29 +0100 | td_ | (~td@muedsl-82-207-238-062.citykom.de) (Ping timeout: 256 seconds) |
2022-01-16 04:40:08 +0100 | td_ | (~td@muedsl-82-207-238-133.citykom.de) |
2022-01-16 04:43:41 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
2022-01-16 04:46:08 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
2022-01-16 05:26:17 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::55f8) (Ping timeout: 240 seconds) |
2022-01-16 07:04:04 +0100 | catman | (~catman@user/catman) (Ping timeout: 250 seconds) |
2022-01-16 07:31:20 +0100 | sogens | (~Sogens@gateway/vpn/pia/sogens) (Quit: WeeChat 3.4) |
2022-01-16 07:31:30 +0100 | sogens | (~Sogens@gateway/vpn/pia/sogens) |
2022-01-16 07:35:46 +0100 | sogens | (~Sogens@gateway/vpn/pia/sogens) (Client Quit) |
2022-01-16 07:35:57 +0100 | sogens | (~Sogens@gateway/vpn/pia/sogens) |
2022-01-16 07:36:45 +0100 | catman | (~catman@user/catman) |
2022-01-16 07:38:14 +0100 | sogens | (~Sogens@gateway/vpn/pia/sogens) (Client Quit) |
2022-01-16 07:38:23 +0100 | sogens | (~Sogens@gateway/vpn/pia/sogens) |
2022-01-16 07:53:21 +0100 | sogens | (~Sogens@gateway/vpn/pia/sogens) (Quit: WeeChat 3.4) |
2022-01-16 07:53:30 +0100 | sogens | (~Sogens@gateway/vpn/pia/sogens) |
2022-01-16 08:08:12 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 250 seconds) |
2022-01-16 08:10:16 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-01-16 08:16:37 +0100 | catman | (~catman@user/catman) (Quit: WeeChat 3.4-rc1) |
2022-01-16 08:27:17 +0100 | catman | (~catman@user/catman) |
2022-01-16 08:28:09 +0100 | <vrs> | Ocelot_: purely matter of taste |
2022-01-16 08:30:33 +0100 | <vrs> | etrigan63[m]: layouts generally define `description` |
2022-01-16 08:31:11 +0100 | <vrs> | https://hackage.haskell.org/package/xmonad-0.17.0/docs/XMonad-Core.html#v:pureMessage |
2022-01-16 08:31:19 +0100 | <vrs> | err https://hackage.haskell.org/package/xmonad-0.17.0/docs/XMonad-Core.html#v:description |
2022-01-16 08:33:21 +0100 | <vrs> | and elsewhere I have layout <- gets (W.layout . W.workspace . W.current . windowset) |
2022-01-16 08:57:13 +0100 | thunderrd | (~thunderrd@183.182.111.29) |
2022-01-16 09:16:40 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
2022-01-16 09:18:19 +0100 | <Solid> | We have a winner! https://github.com/xmonad/xmonad/discussions/359#discussioncomment-1977016 |
2022-01-16 09:19:00 +0100 | ChanServ | +o Solid |
2022-01-16 09:19:13 +0100 | | xmonad: the tiling window manager with formally proven extensions | https://xmonad.org | https://wiki.haskell.org/Xmonad/Frequently_asked_questions | cheatsheet: https://xmonad.org/images/cheat/xmbindings.png | https://ircbrowse.tomsmeding.com/browse/lcxmonad |
2022-01-16 09:19:19 +0100 | ChanServ | -o Solid |
2022-01-16 09:26:38 +0100 | incertia | (~incertia@24.42.241.219) (Quit: ZNC 1.7.5 - https://znc.in) |
2022-01-16 09:26:58 +0100 | incertia | (~incertia@24.42.241.219) |
2022-01-16 09:27:13 +0100 | <mc47> | yey! Thanks Solid for taking care of this |
2022-01-16 10:11:05 +0100 | liskin | will be afk for most of today, so can't really help much with the additional steps necessary for new logo adoption |
2022-01-16 10:16:59 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer) |
2022-01-16 10:17:38 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2022-01-16 10:18:41 +0100 | <Solid> | that's fine, I'll try to do as much as I can |
2022-01-16 10:18:56 +0100 | <Solid> | doesn't all have to be done in the span of a single day, though |
2022-01-16 11:08:02 +0100 | seschwar | (~seschwar@user/seschwar) |
2022-01-16 11:11:06 +0100 | <mc47> | Tell me if you need any help Solid, I'll be chilling in my room for most of the day |
2022-01-16 11:11:15 +0100 | <mc47> | I'll try to take a look at the PR later too btw |
2022-01-16 11:15:01 +0100 | <Solid> | mc47: awesome! I will start with the easy stuff (like the logo of the org) but will probably need heelp with the website later (what even is a tag? :>) |
2022-01-16 11:15:02 +0100 | humky | (~humky@user/humky) |
2022-01-16 11:15:26 +0100 | <Solid> | I'll just open a PR on xmonad-web and set you as the reviewer |
2022-01-16 11:15:36 +0100 | <mc47> | sounds good (y) |
2022-01-16 11:18:08 +0100 | <Solid> | oh actually I don't think I have enough permisions for the org |
2022-01-16 11:19:36 +0100 | <Solid> | so github org would probably fall to geekosaur and twitter to liskin (no rush, though :) |
2022-01-16 12:08:32 +0100 | <geekosaur> | Ocelot_, splitting it up can make it more maintainable |
2022-01-16 12:08:56 +0100 | <geekosaur> | it's entirely up to you, aside from things you might need to reference elsewhere |
2022-01-16 12:20:07 +0100 | <geekosaur> | ok, I think I did that right. I also locked the discussion |
2022-01-16 12:37:00 +0100 | <Solid> | geekosaur: it looks a bit upscaled I think; try this one https://i.imgur.com/Rpr02iz.png, which should be big enough for the org logo (assuming that github doesn't just let us upload SVGs, in which case try http://ix.io/3Mqm) |
2022-01-16 12:40:18 +0100 | <geekosaur> | they're doing the upscaling :( |
2022-01-16 12:40:18 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2022-01-16 12:40:48 +0100 | <Solid> | oh :/ |
2022-01-16 12:41:42 +0100 | <Solid> | but surely if we give them a logo that's bigger than their "org logo" box they couldn't do that? |
2022-01-16 12:42:10 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2022-01-16 12:45:03 +0100 | <geekosaur> | ok, that looks a bit better |
2022-01-16 12:45:55 +0100 | <geekosaur> | the problem with uploading the svg is it requires a font they may not have |
2022-01-16 12:46:34 +0100 | <geekosaur> | if indeed they accept it at all, but the font requirement is why I didn't bother trying |
2022-01-16 12:47:23 +0100 | <Solid> | afaik the font is only used in the `monad` text |
2022-01-16 12:47:29 +0100 | <Solid> | the `x` part should be self-contained |
2022-01-16 12:47:54 +0100 | <geekosaur> | hm, I figured they started from the font and then applied modifiers |
2022-01-16 12:48:10 +0100 | <geekosaur> | haven't actually tried to decipher the svg though |
2022-01-16 12:49:39 +0100 | <Solid> | oh you are right |
2022-01-16 12:50:09 +0100 | <geekosaur> | "We only support PNG, GIF, or JPG pictures." |
2022-01-16 12:53:30 +0100 | <Solid> | but I think it does look sharp now |
2022-01-16 12:53:33 +0100 | <Solid> | so thanks! :) |
2022-01-16 12:58:17 +0100 | <mc47> | It looks weird with the dark theme of github |
2022-01-16 12:58:25 +0100 | <mc47> | not sure if that's a problem |
2022-01-16 13:00:53 +0100 | <Solid> | ah, indeed, we may want to give it a white background |
2022-01-16 13:02:37 +0100 | <Solid> | something like https://i.imgur.com/m6M2yia.png |
2022-01-16 13:03:49 +0100 | <geekosaur> | uploaded |
2022-01-16 13:04:36 +0100 | <mc47> | looks better, thank you |
2022-01-16 14:47:03 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::55f8) |
2022-01-16 16:13:18 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2022-01-16 16:14:19 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2022-01-16 16:56:22 +0100 | edun | (~qbt@user/edun) |
2022-01-16 16:56:50 +0100 | yehoshua[m] | Yehoshua |
2022-01-16 16:57:35 +0100 | Yehoshua | (~yehoshuay@2001:470:69fc:105::1:593f) (Quit: Reconnecting) |
2022-01-16 16:57:50 +0100 | Yehoshua | (~yehoshuay@2001:470:69fc:105::1:593f) |
2022-01-16 16:58:42 +0100 | Yehoshua | (~yehoshuay@2001:470:69fc:105::1:593f) (Client Quit) |
2022-01-16 16:58:56 +0100 | Yehoshua | (~yehoshua@2001:470:69fc:105::1:593f) |
2022-01-16 17:00:40 +0100 | edun | qbt |
2022-01-16 17:02:29 +0100 | Yehoshua | (~yehoshua@2001:470:69fc:105::1:593f) (Client Quit) |
2022-01-16 17:02:44 +0100 | Yehoshua | (~yehoshua@2001:470:69fc:105::1:593f) |
2022-01-16 17:26:39 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2022-01-16 17:40:42 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
2022-01-16 18:11:23 +0100 | joobus[m] | thejoel[m] |
2022-01-16 18:51:16 +0100 | benin | (~benin@183.82.30.17) (Ping timeout: 250 seconds) |
2022-01-16 18:52:28 +0100 | benin | (~benin@183.82.30.17) |
2022-01-16 20:46:24 +0100 | x88x88x | (~x88x88x@149.28.53.172) (Quit: ZNC - https://znc.in) |
2022-01-16 20:51:57 +0100 | x88x88x | (~x88x88x@149.28.53.172) |
2022-01-16 22:13:25 +0100 | afr3ak | (~weechat@user/afreak) (Quit: WeeChat 3.3) |
2022-01-16 22:34:08 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2022-01-16 22:45:43 +0100 | qbt | (~qbt@user/edun) (Quit: Leaving.) |
2022-01-16 22:49:53 +0100 | benin | (~benin@183.82.30.17) (Ping timeout: 256 seconds) |
2022-01-16 23:12:33 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
2022-01-16 23:14:15 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-01-16 23:16:47 +0100 | benin | (~benin@106.198.88.241) |
2022-01-16 23:50:57 +0100 | catman_ | (~catman@user/catman) |
2022-01-16 23:51:32 +0100 | catman | (~catman@user/catman) (Ping timeout: 240 seconds) |
2022-01-16 23:52:12 +0100 | catman_ | catman |