IRCBrowse

2021/01/28

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