Logs on 2022-01-16 (liberachat/#xmonad)
| 00:09:30 | → | benin joins (~benin@183.82.30.17) |
| 00:57:53 | → | mvk joins (~mvk@2607:fea8:5cdd:f000::55f8) |
| 01:11:08 | × | sogens quits (~Sogens@pa49-182-138-25.pa.qld.optusnet.com.au) (Ping timeout: 250 seconds) |
| 01:12:57 | → | sogens joins (~Sogens@gateway/vpn/pia/sogens) |
| 01:51:24 | × | seschwar quits (~seschwar@user/seschwar) (Quit: :wq) |
| 02:19:10 | × | catman quits (~catman@user/catman) (Ping timeout: 250 seconds) |
| 02:25:34 | → | catman joins (~catman@user/catman) |
| 02:41:48 | <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? |
| 02:56:12 | <Ocelot_> | Scratch that. |
| 02:56:28 | <Ocelot_> | User error… |
| 02:57:45 | <Ocelot_> | So is there any actual advantage to moving, more or less, the entire thing into main? |
| 02:58:08 | <Ocelot_> | I just wanted to see if it would even work. |
| 03:02:47 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 256 seconds) |
| 03:15:04 | × | benin quits (~benin@183.82.30.17) (Ping timeout: 250 seconds) |
| 03:18:27 | → | etrigan63[m] joins (~etrigan63@2001:470:69fc:105::1:2982) |
| 03:19:36 | <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? |
| 03:22:06 | → | benin joins (~benin@183.82.30.17) |
| 03:22:22 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 03:38:29 | × | td_ quits (~td@muedsl-82-207-238-062.citykom.de) (Ping timeout: 256 seconds) |
| 03:40:08 | → | td_ joins (~td@muedsl-82-207-238-133.citykom.de) |
| 03:43:41 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 03:46:08 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 04:26:17 | × | mvk quits (~mvk@2607:fea8:5cdd:f000::55f8) (Ping timeout: 240 seconds) |
| 06:04:04 | × | catman quits (~catman@user/catman) (Ping timeout: 250 seconds) |
| 06:31:20 | × | sogens quits (~Sogens@gateway/vpn/pia/sogens) (Quit: WeeChat 3.4) |
| 06:31:30 | → | sogens joins (~Sogens@gateway/vpn/pia/sogens) |
| 06:35:46 | × | sogens quits (~Sogens@gateway/vpn/pia/sogens) (Client Quit) |
| 06:35:57 | → | sogens joins (~Sogens@gateway/vpn/pia/sogens) |
| 06:36:45 | → | catman joins (~catman@user/catman) |
| 06:38:14 | × | sogens quits (~Sogens@gateway/vpn/pia/sogens) (Client Quit) |
| 06:38:23 | → | sogens joins (~Sogens@gateway/vpn/pia/sogens) |
| 06:53:21 | × | sogens quits (~Sogens@gateway/vpn/pia/sogens) (Quit: WeeChat 3.4) |
| 06:53:30 | → | sogens joins (~Sogens@gateway/vpn/pia/sogens) |
| 07:08:12 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 07:10:16 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 07:16:37 | × | catman quits (~catman@user/catman) (Quit: WeeChat 3.4-rc1) |
| 07:27:17 | → | catman joins (~catman@user/catman) |
| 07:28:09 | <vrs> | Ocelot_: purely matter of taste |
| 07:30:33 | <vrs> | etrigan63[m]: layouts generally define `description` |
| 07:31:11 | <vrs> | https://hackage.haskell.org/package/xmonad-0.17.0/docs/XMonad-Core.html#v:pureMessage |
| 07:31:19 | <vrs> | err https://hackage.haskell.org/package/xmonad-0.17.0/docs/XMonad-Core.html#v:description |
| 07:33:21 | <vrs> | and elsewhere I have layout <- gets (W.layout . W.workspace . W.current . windowset) |
| 07:57:13 | → | thunderrd joins (~thunderrd@183.182.111.29) |
| 08:16:40 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 08:18:19 | <Solid> | We have a winner! https://github.com/xmonad/xmonad/discussions/359#discussioncomment-1977016 |
| 08:19:00 | ChanServ | sets mode +o Solid |
| 08:19:13 | Solid | sets topic to "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" |
| 08:19:19 | ChanServ | sets mode -o Solid |
| 08:26:38 | × | incertia quits (~incertia@24.42.241.219) (Quit: ZNC 1.7.5 - https://znc.in) |
| 08:26:58 | → | incertia joins (~incertia@24.42.241.219) |
| 08:27:13 | <mc47> | yey! Thanks Solid for taking care of this |
| 09:11:05 | liskin | will be afk for most of today, so can't really help much with the additional steps necessary for new logo adoption |
| 09:16:59 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer) |
| 09:17:38 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 09:18:41 | <Solid> | that's fine, I'll try to do as much as I can |
| 09:18:56 | <Solid> | doesn't all have to be done in the span of a single day, though |
| 10:08:02 | → | seschwar joins (~seschwar@user/seschwar) |
| 10:11:06 | <mc47> | Tell me if you need any help Solid, I'll be chilling in my room for most of the day |
| 10:11:15 | <mc47> | I'll try to take a look at the PR later too btw |
| 10:15:01 | <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? :>) |
| 10:15:02 | → | humky joins (~humky@user/humky) |
| 10:15:26 | <Solid> | I'll just open a PR on xmonad-web and set you as the reviewer |
| 10:15:36 | <mc47> | sounds good (y) |
| 10:18:08 | <Solid> | oh actually I don't think I have enough permisions for the org |
| 10:19:36 | <Solid> | so github org would probably fall to geekosaur and twitter to liskin (no rush, though :) |
| 11:08:32 | <geekosaur> | Ocelot_, splitting it up can make it more maintainable |
| 11:08:56 | <geekosaur> | it's entirely up to you, aside from things you might need to reference elsewhere |
| 11:20:07 | <geekosaur> | ok, I think I did that right. I also locked the discussion |
| 11:37:00 | <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) |
| 11:40:18 | <geekosaur> | they're doing the upscaling :( |
| 11:40:18 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 11:40:48 | <Solid> | oh :/ |
| 11:41:42 | <Solid> | but surely if we give them a logo that's bigger than their "org logo" box they couldn't do that? |
| 11:42:10 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 11:45:03 | <geekosaur> | ok, that looks a bit better |
| 11:45:55 | <geekosaur> | the problem with uploading the svg is it requires a font they may not have |
| 11:46:34 | <geekosaur> | if indeed they accept it at all, but the font requirement is why I didn't bother trying |
| 11:47:23 | <Solid> | afaik the font is only used in the `monad` text |
| 11:47:29 | <Solid> | the `x` part should be self-contained |
| 11:47:54 | <geekosaur> | hm, I figured they started from the font and then applied modifiers |
| 11:48:10 | <geekosaur> | haven't actually tried to decipher the svg though |
| 11:49:39 | <Solid> | oh you are right |
| 11:50:09 | <geekosaur> | "We only support PNG, GIF, or JPG pictures." |
| 11:53:30 | <Solid> | but I think it does look sharp now |
| 11:53:33 | <Solid> | so thanks! :) |
| 11:58:17 | <mc47> | It looks weird with the dark theme of github |
| 11:58:25 | <mc47> | not sure if that's a problem |
| 12:00:53 | <Solid> | ah, indeed, we may want to give it a white background |
| 12:02:37 | <Solid> | something like https://i.imgur.com/m6M2yia.png |
| 12:03:49 | <geekosaur> | uploaded |
| 12:04:36 | <mc47> | looks better, thank you |
| 13:47:03 | → | mvk joins (~mvk@2607:fea8:5cdd:f000::55f8) |
| 15:13:18 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 15:14:19 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 15:56:22 | → | edun joins (~qbt@user/edun) |
| 15:56:50 | yehoshua[m] | is now known as Yehoshua |
| 15:57:35 | × | Yehoshua quits (~yehoshuay@2001:470:69fc:105::1:593f) (Quit: Reconnecting) |
| 15:57:50 | → | Yehoshua joins (~yehoshuay@2001:470:69fc:105::1:593f) |
| 15:58:42 | × | Yehoshua quits (~yehoshuay@2001:470:69fc:105::1:593f) (Client Quit) |
| 15:58:56 | → | Yehoshua joins (~yehoshua@2001:470:69fc:105::1:593f) |
| 16:00:40 | edun | is now known as qbt |
| 16:02:29 | × | Yehoshua quits (~yehoshua@2001:470:69fc:105::1:593f) (Client Quit) |
| 16:02:44 | → | Yehoshua joins (~yehoshua@2001:470:69fc:105::1:593f) |
| 16:26:39 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 16:40:42 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 17:11:23 | joobus[m] | is now known as thejoel[m] |
| 17:51:16 | × | benin quits (~benin@183.82.30.17) (Ping timeout: 250 seconds) |
| 17:52:28 | → | benin joins (~benin@183.82.30.17) |
| 19:46:24 | × | x88x88x quits (~x88x88x@149.28.53.172) (Quit: ZNC - https://znc.in) |
| 19:51:57 | → | x88x88x joins (~x88x88x@149.28.53.172) |
| 21:13:25 | × | afr3ak quits (~weechat@user/afreak) (Quit: WeeChat 3.3) |
| 21:34:08 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 21:45:43 | × | qbt quits (~qbt@user/edun) (Quit: Leaving.) |
| 21:49:53 | × | benin quits (~benin@183.82.30.17) (Ping timeout: 256 seconds) |
| 22:12:33 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 22:14:15 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 22:16:47 | → | benin joins (~benin@106.198.88.241) |
| 22:50:57 | → | catman_ joins (~catman@user/catman) |
| 22:51:32 | × | catman quits (~catman@user/catman) (Ping timeout: 240 seconds) |
| 22:52:12 | catman_ | is now known as catman |
| 23:17:20 | → | benin5 joins (~benin@183.82.179.241) |
| 23:18:17 | × | benin quits (~benin@106.198.88.241) (Ping timeout: 256 seconds) |
| 23:18:18 | benin5 | is now known as benin |
| 23:25:39 | × | scardinal quits (~supreme@customer-212-237-101-39.ip4.gigabit.dk) (Ping timeout: 256 seconds) |
| 23:42:14 | → | scardinal joins (~supreme@customer-212-237-101-39.ip4.gigabit.dk) |
| 23:52:35 | × | seschwar quits (~seschwar@user/seschwar) (Quit: :wq) |
All times are in UTC on 2022-01-16.