Home freenode/#xmonad: Logs Calendar

Logs on 2021-01-28 (freenode/#xmonad)

00:10:13 <DrEuclidean> if you don't mind my asking, xmobar is there, but covered by the window
00:10:36 <DrEuclidean> can you point me towards a place where I can find documentation for all the xmonad configuration options
00:12:47 <DrEuclidean> shit--META-Q is not updating xmonad after changes in xmonad.hs
00:22:07 <Liskni_si> for xmobar being covered you're looking for https://hackage.haskell.org/package/xmonad-contrib-0.16/docs/XMonad-Hooks-ManageDocks.html
00:22:28 <Liskni_si> documentation for configuration options would be somewhere around there as well
00:22:37 × sagax quits (~sagax_nb@213.138.71.146) (Ping timeout: 256 seconds)
00:22:42 <Liskni_si> and then also https://wiki.haskell.org/Xmonad/Frequently_asked_questions and related pages
00:22:57 <Liskni_si> and there's also https://wiki.archlinux.org/index.php/xmonad
00:23:05 <Liskni_si> and I'm sure gentoo wiki will have a page about that as well
00:23:12 <Liskni_si> and a million other places all over the internet
00:24:01 <Liskni_si> (yeah I know it would be nice to have a single official documentation that's nice and clear and stuff, but someone would have to work on that, and there's a shortage of such someones)
00:26:35 <DrEuclidean> thank you very much
00:26:47 <DrEuclidean> is there some equivalent for man pages for haskel?
00:26:51 <DrEuclidean> or is that their wiki
00:27:20 × xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 244 seconds)
00:27:49 <Liskni_si> those docs on hackage is as close to manpages for haskell as you can get
00:27:57 <Liskni_si> there's a search engine called hoogle as well
00:30:22 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds)
00:33:07 <DrEuclidean> what's the difference with having a main that uses do ..., and one that looks like main = xmonad =<< xmobar def { ... }
00:40:45 × notis quits (~notis@185.51.134.230) (Ping timeout: 246 seconds)
00:55:47 <fizzie> Nothing, really. You can translate between do notation and the >> / >>= operators. And =<< is just a flipped >>=. Whichever you find more readable.
00:56:37 <fizzie> `main = xmonad =<< xmobar def { ... }` should be the same as `main = do { cfg <- xmobar def { ... }; xmonad cfg }` for example.
01:11:08 × ntm quits (~ntm@2600:1700:5526:4080::42) (Ping timeout: 260 seconds)
01:12:03 → ntm joins (~ntm@2600:1700:5526:4080::42)
01:16:02 × evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in)
01:16:30 → evanjs joins (~evanjs@075-129-098-007.res.spectrum.com)
01:48:23 → materiyolo joins (~materiyol@112.204.170.198)
02:06:18 × toniz4 quits (~toniz4@unaffiliated/toniz4) (Quit: Lost terminal)
02:20:36 → jmct_ joins (sid160793@gateway/web/irccloud.com/x-dcccwketcosjgrfw)
02:21:32 → travv0_ joins (sid293381@gateway/web/irccloud.com/x-qfqftjhlfdqcrtoj)
02:21:41 × travv0 quits (sid293381@gateway/web/irccloud.com/x-wunsptkywdjaiqfa) (Ping timeout: 256 seconds)
02:21:41 × jmct quits (sid160793@gateway/web/irccloud.com/x-bdacuhqfxwywobqj) (Ping timeout: 256 seconds)
02:21:42 travv0_ is now known as travv0
02:21:47 jmct_ is now known as jmct
02:48:38 × ntm quits (~ntm@2600:1700:5526:4080::42) (Ping timeout: 264 seconds)
03:20:10 × drl quits (~l@2600:1700:8360:3870:a9c9:c13e:5a72:1ff1) (Quit: Leaving)
03:28:36 × theDon quits (~td@94.134.91.140) (Ping timeout: 240 seconds)
03:30:49 → theDon joins (~td@94.134.91.59)
03:40:23 × materiyolo quits (~materiyol@112.204.170.198) (Quit: WeeChat 2.9)
03:51:05 × thunderrd quits (~thunderrd@183.182.115.7) (Remote host closed the connection)
03:53:01 → thunderrd joins (~thunderrd@183.182.115.7)
03:54:21 → ntm joins (~ntm@2600:1700:5526:4080::42)
04:14:30 × DrEuclidean quits (~kurtlmani@2601:401:c400:bcbe:6cbc:bfa9:59ac:7edb) (Quit: Leaving)
04:32:04 → p71 joins (~chatzilla@097-083-185-160.res.spectrum.com)
04:44:56 × tcberner quits (~quassel@freebsd/developer/tcberner) (Ping timeout: 240 seconds)
04:47:08 → tcberner joins (~quassel@freebsd/developer/tcberner)
04:51:57 × tcberner quits (~quassel@freebsd/developer/tcberner) (Ping timeout: 272 seconds)
05:01:05 → tcberner joins (~quassel@freebsd/developer/tcberner)
05:52:49 → gazler_ joins (~gazler@195.107.2.81.in-addr.arpa)
05:55:17 × gazler quits (~gazler@195.107.2.81.in-addr.arpa) (Ping timeout: 272 seconds)
05:59:26 × ntm quits (~ntm@2600:1700:5526:4080::42) (Ping timeout: 264 seconds)
06:17:44 → palo1 joins (~weechat@c-base/crew/palo)
06:20:35 × palo quits (~weechat@c-base/crew/palo) (Ping timeout: 246 seconds)
06:20:35 palo1 is now known as palo
06:45:29 → ntm joins (~ntm@2600:1700:5526:4080::42)
06:46:27 → gazler__ joins (~gazler@195.107.2.81.in-addr.arpa)
06:49:14 × gazler_ quits (~gazler@195.107.2.81.in-addr.arpa) (Ping timeout: 264 seconds)
07:20:51 → ChubaDuba joins (~ChubaDuba@176.212.44.202)
07:21:04 × ChubaDuba quits (~ChubaDuba@176.212.44.202) (Client Quit)
07:22:37 → ChubaDuba joins (~ChubaDuba@176.212.44.202)
07:26:26 × ntm quits (~ntm@2600:1700:5526:4080::42) (Ping timeout: 264 seconds)
07:30:53 × ChubaDuba quits (~ChubaDuba@176.212.44.202) (Quit: WeeChat 1.6)
07:44:05 → ntm joins (~ntm@2600:1700:5526:4080::42)
07:46:00 → cfricke joins (~cfricke@unaffiliated/cfricke)
07:53:36 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0)
07:53:50 → cfricke joins (~cfricke@unaffiliated/cfricke)
08:09:54 → thc202 joins (~thc202@unaffiliated/thc202)
08:12:56 × growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in)
08:34:14 × vrs quits (~vrs@unaffiliated/vrs) (Ping timeout: 264 seconds)
08:36:18 × ericsagn1 quits (~ericsagne@2405:6580:0:5100:befe:a59d:a937:2991) (Ping timeout: 260 seconds)
08:42:21 <Solid> Liskni_si: I just looked and that is actually on my TODO list for xmobar docs ^^'
08:42:41 <Solid> I should probably just open up a quick pr with just that, it's quite important after all
08:42:46 <Solid> thanks!
08:48:46 → ericsagn1 joins (~ericsagne@2405:6580:0:5100:9ca:aef9:e139:13f6)
09:06:26 → notis joins (~notis@185.51.134.229)
09:37:06 → vrs joins (~vrs@unaffiliated/vrs)
09:56:18 <Liskni_si> Solid: #270 is probably DrEuclidean from yesterday
09:56:37 <Solid> oh I didn't read the whole backlog
09:56:39 <Liskni_si> Solid: I think they have ~/.xmonad/build which produces xmonad instead of xmonad-x86_64-freebsd
09:56:50 <Liskni_si> which I said yesterday, but it went unnoticed
09:56:52 <Solid> ah I see
09:57:11 <Liskni_si> and then I ran out of patience and energy
10:22:41 → Nahra joins (~Nahra@unaffiliated/nahra)
10:55:26 × hexo quits (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 268 seconds)
10:56:30 → ircbrowse_tom joins (~ircbrowse@64.225.78.177)
10:56:30 Server sets mode +cnt
10:59:33 → hexo joins (~hexo@gateway/tor-sasl/hexo)
11:00:00 → mc47 joins (~yecinem@89.246.239.190)
11:06:30 → ADG1089__ joins (~aditya@223.236.187.18)
11:37:14 × Nahra quits (~Nahra@unaffiliated/nahra) (Quit: leaving)
11:37:23 ← ntm parts (~ntm@2600:1700:5526:4080::42) ("Leaving")
11:39:26 → sagax joins (~sagax_nb@213.138.71.146)
12:09:01 → xaltsc joins (~xaltsc@unaffiliated/xaltsc)
12:27:22 <Liskni_si> note to self and maybe others: type StatusBarConfig = XConfig -> IO XConfig :-)
12:27:50 <Liskni_si> (I need to go to lunch so feel free to guess what I mean if you're impatient, I will explain later otherwise)
12:29:01 × ADG1089__ quits (~aditya@223.236.187.18) (Remote host closed the connection)
12:37:58 <mc47> :D
13:15:03 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0)
13:16:52 → geekosaur joins (82650c7c@130.101.12.124)
13:21:07 <geekosaur> the `build` script is passed the correct output name as `$1` and should use `-o "$1"` with `ghc`
13:29:21 → cfricke joins (~cfricke@unaffiliated/cfricke)
13:46:06 → Nahra joins (~Nahra@unaffiliated/nahra)
14:01:00 <Liskni_si> mc47: I think I probably totally got lost in all the types and abstractions and forgot what the whole motivation of #443 was :-/
14:01:08 <Liskni_si> my brain tends to do that, lose the big picture
14:03:32 <mc47> Liskni_si I guess it started by me asking "it would be cool to use statusBarProp, but I don't want to bind anything to `sendMessage ToggleStruts`"
14:04:17 <mc47> You suggested the record, and I played with it and thought "huh, we could actually support multiple status bars easily without taking care of the plumbing"
14:05:07 <Liskni_si> hm, that makes sense
14:05:18 <Liskni_si> but we ended up in not being able to not bind the keybinding, right?
14:05:56 <Liskni_si> (and the same thing with the AvoidStruts layout modifier, which I also don't want to have added automatically)
14:06:34 geekosaur has been de facto ignoring the whole thing since he can't use any of it
14:06:51 <mc47> kinda yeah
14:07:16 <geekosaur> (I log via dbus to an xmonad-log-applet running in mate-panel, nothing related is started by xmonad in any fashion)
14:07:23 <mc47> I think the reason behind the current design in the PR is that I thought it's better to talk and argue when we have something concrete in our hands
14:08:10 <mc47> instead of "maybe use a record that does this and this" to "hey, this is a record, what can we do about it and how can we improve it?" :-)
14:08:45 <mc47> \me feels intimidated by dbus...
14:09:07 mc47 feels intimidated by dbus...
14:09:11 <mc47> that's more like it hahaha
14:09:30 <Liskni_si> yeah it's definitely good that we have something concrete to talk about
14:09:45 <Liskni_si> I just feel bad for coming late to the party and ruining everything :-)
14:09:51 <mc47> Anyways, I'm actually more excited about the conversation and the exchange than having written code that works :)
14:10:32 <mc47> you shouldn't, since there is nothing at stake here, let's take our time and think this through
14:11:22 <Liskni_si> (the excuse being somewhat similar to geekosaur's, I kind of assumed that my config won't fit the usecase, and thus needed extra motivation to take a look)
14:14:43 <Liskni_si> so anyway, I'd say that keeping the "dzen", "xmobar" and maybe "statusBar" backward compatible is about the only constraint worth having :-)
14:14:59 <Liskni_si> anything else is up for disruption
14:15:16 <mc47> That's also my thought
14:15:24 <mc47> IMO, going from just two parameters to `XConfig l → XConfig l` is kinda a big leap, and I'm not sure how the UX would look like
14:15:48 <Liskni_si> (well, PP and dynamicLogString and so on should stay, but I'd almost say this stuff should be in a different module almost)
14:19:13 <mc47> Writing a different module would free us up from worrying about compatibility and such
14:19:56 <mc47> we also need to decide how we should comrpomise between flexibility and ease of use
14:20:52 <Liskni_si> I wasn't really suggesting that, just that there are two big concepts in DynamicLog: the PP abstraction about constructing the log line, and then the abstraction about running an external status bar and communicating with it
14:21:40 <Liskni_si> and that when I said "anything else", I was bounded by the second concept, not extending to the first one as well
14:23:12 <mc47> yeah that makes sense
14:25:14 × jchia__ quits (~jchia@58.32.38.49) (Ping timeout: 264 seconds)
14:27:33 × geekosaur quits (82650c7c@130.101.12.124) (Quit: Ping timeout (120 seconds))
14:28:32 → geekosaur joins (82650c7c@130.101.12.124)
14:43:41 × Nahra quits (~Nahra@unaffiliated/nahra) (Quit: leaving)
14:53:31 × geekosaur quits (82650c7c@130.101.12.124) (Quit: Connection closed)
14:55:26 <Solid> backwards compatibility is the root of all evil, I see :>
15:15:25 <Liskni_si> yeah, one needs to always question everything :-)
15:21:49 → seschwar joins (~seschwar@unaffiliated/seschwar)
15:22:45 → everythingTaken joins (~everythin@gateway/tor-sasl/everythingtaken)
15:32:00 <Solid> Liskni_si: the xmobar thing is fixed :)
15:32:16 <Liskni_si> Solid: yeah, thanks!
15:32:26 <Liskni_si> (I'm watching xmobar notifications so I know :-))
15:32:48 <Solid> ah I see
15:34:16 × everythingTaken quits (~everythin@gateway/tor-sasl/everythingtaken) (Quit: everythingTaken)
15:35:39 → jchia__ joins (~jchia@jungle.jchia.net)
15:39:55 × jchia__ quits (~jchia@jungle.jchia.net) (Remote host closed the connection)
15:40:15 → eqw joins (~eqw@31.134.178.99)
15:56:35 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0)
16:04:50 → jchia__ joins (~jchia@58.32.38.49)
16:38:33 → growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net)
16:41:36 × thunderrd quits (~thunderrd@183.182.115.7) (Remote host closed the connection)
16:55:27 → geekosaur joins (82650c7c@130.101.12.124)
17:07:16 × seschwar quits (~seschwar@unaffiliated/seschwar) (Ping timeout: 256 seconds)
17:07:16 × notis quits (~notis@185.51.134.229) (Ping timeout: 256 seconds)
17:07:38 → seschwar joins (~seschwar@unaffiliated/seschwar)
17:07:42 → notis joins (~notis@185.51.134.229)
17:07:50 × vrs quits (~vrs@unaffiliated/vrs) (Ping timeout: 256 seconds)
17:08:09 → vrs joins (~vrs@unaffiliated/vrs)
17:36:28 <Solid> I didn't even know that xmonad-extras existed
17:37:09 × notis quits (~notis@185.51.134.229) (Quit: WeeChat 3.0)
17:38:34 <Solid> I love absolutely love "Third party extensions for xmonad with wacky dependencies" though :D
17:39:50 → notis joins (~notis@185.51.134.230)
18:14:57 × geekosaur quits (82650c7c@130.101.12.124) (Quit: Ping timeout (120 seconds))
18:17:35 → geekosaur joins (82650c7c@130.101.12.124)
18:36:54 × wonko7 quits (~wonko7@78.199.183.4) (Ping timeout: 256 seconds)
18:38:52 → wonko7 joins (~wonko7@2a01:e34:ec7b:7040:40c9:55ff:fe52:3a73)
18:51:45 × geekosaur quits (82650c7c@130.101.12.124) (Ping timeout: 248 seconds)
19:04:09 × ft quits (~ft@shell.chaostreff-dortmund.de) (Ping timeout: 260 seconds)
19:08:26 → geekosaur joins (82650c7c@130.101.12.124)
19:23:01 × jchia__ quits (~jchia@58.32.38.49) (Ping timeout: 265 seconds)
19:40:47 → ft joins (~ft@shell.chaostreff-dortmund.de)
20:03:32 × wonko7 quits (~wonko7@2a01:e34:ec7b:7040:40c9:55ff:fe52:3a73) (Quit: See You Space Cowboy..)
20:31:29 × mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection)
20:31:59 → jchia__ joins (~jchia@jungle.jchia.net)
20:38:04 × jchia__ quits (~jchia@jungle.jchia.net) (Ping timeout: 256 seconds)
20:45:57 × sam_d quits (~sam@unaffiliated/sam-d/x-1905598) (Read error: Connection reset by peer)
20:46:17 → sam_d joins (~sam@unaffiliated/sam-d/x-1905598)
21:05:19 → jchia__ joins (~jchia@58.32.38.49)
21:27:38 × ryjm quits (sid383513@gateway/web/irccloud.com/x-rtromtwwgkanhrlc) (Ping timeout: 264 seconds)
21:30:09 → ryjm joins (sid383513@gateway/web/irccloud.com/x-tszvxtkoavldjrjz)
21:42:49 → _jak joins (~jak@cpe-24-90-94-163.nyc.res.rr.com)
21:52:48 × geekosaur quits (82650c7c@130.101.12.124) (Quit: Connection closed)
22:17:56 × jchia__ quits (~jchia@58.32.38.49) (Ping timeout: 240 seconds)
22:22:14 → jchia__ joins (~jchia@jungle.jchia.net)
22:25:08 × jchia__ quits (~jchia@jungle.jchia.net) (Remote host closed the connection)
22:27:32 × ericsagn1 quits (~ericsagne@2405:6580:0:5100:9ca:aef9:e139:13f6) (Ping timeout: 260 seconds)
22:31:43 → jchia__ joins (~jchia@58.32.38.49)
22:39:34 → ericsagn1 joins (~ericsagne@2405:6580:0:5100:1bf9:a0e5:954d:9e4e)
22:46:09 × seschwar quits (~seschwar@unaffiliated/seschwar) (Quit: :wq)
22:52:39 → kelnoky joins (~shao@ip1f1285ec.dynamic.kabel-deutschland.de)
22:54:07 × kelnoky quits (~shao@ip1f1285ec.dynamic.kabel-deutschland.de) (Client Quit)
22:55:58 × jchia__ quits (~jchia@58.32.38.49) (Ping timeout: 246 seconds)
23:07:12 × _jak quits (~jak@cpe-24-90-94-163.nyc.res.rr.com) (Ping timeout: 256 seconds)
23:16:56 × tv quits (~tv@unaffiliated/tv) (Ping timeout: 240 seconds)
23:23:06 → tv joins (~tv@unaffiliated/tv)
23:37:25 × sagax quits (~sagax_nb@213.138.71.146) (Remote host closed the connection)
23:37:28 × pittma quits (sid332680@gateway/web/irccloud.com/x-umfooqhfdhayepww) (Ping timeout: 268 seconds)
23:38:12 → pittma joins (sid332680@gateway/web/irccloud.com/x-svqkedfvdpawlbet)

All times are in UTC on 2021-01-28.