Home liberachat/#xmonad: Logs Calendar

Logs on 2022-08-28 (liberachat/#xmonad)

00:09:33 jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
00:26:56 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
00:45:12 × catman quits (~catman@user/catman) (Ping timeout: 268 seconds)
00:47:08 catman joins (~catman@user/catman)
00:57:36 × catman quits (~catman@user/catman) (Ping timeout: 260 seconds)
00:59:29 catman joins (~catman@user/catman)
01:00:53 jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
01:11:01 × catman quits (~catman@user/catman) (Ping timeout: 260 seconds)
01:12:51 catman joins (~catman@user/catman)
01:17:51 × Buliarous quits (~gypsydang@46.232.210.139) (Ping timeout: 268 seconds)
01:26:51 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
01:40:32 × mvk quits (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 255 seconds)
01:41:23 Guest59 parts (~Guest59@8f1a-fa24-0986-9540-2b80-8427-07d0-2001.dyn.estpak.ee) ()
01:51:48 × catman quits (~catman@user/catman) (Ping timeout: 268 seconds)
01:53:13 catman joins (~catman@user/catman)
02:04:45 × banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 268 seconds)
02:12:46 × td_ quits (~td@94.134.91.193) (Ping timeout: 268 seconds)
02:14:24 td_ joins (~td@94.134.91.78)
02:24:06 banc joins (banc@gateway/vpn/airvpn/banc)
02:30:02 × sogens quits (~sogens@211.30.36.43) (Ping timeout: 268 seconds)
02:52:33 sogens joins (~sogens@211.30.36.43)
03:00:02 × haasn quits (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
03:01:22 haasn joins (~nand@haasn.dev)
03:54:56 trillpoli[m]1 joins (~trillpoli@2001:470:69fc:105::da4e)
03:57:25 linux is now known as Linux
03:59:27 × scardinal quits (~supreme@customer-212-237-101-39.ip4.gigabit.dk) (Ping timeout: 268 seconds)
04:01:12 scardinal joins (~supreme@customer-212-237-101-39.ip4.gigabit.dk)
04:16:03 Buliarous joins (~gypsydang@46.232.210.139)
04:39:43 × scardinal quits (~supreme@customer-212-237-101-39.ip4.gigabit.dk) (Quit: leaving)
04:39:57 scardinal joins (~supreme@customer-212-237-101-39.ip4.gigabit.dk)
04:48:13 jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
04:53:42 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
05:17:47 × sogens quits (~sogens@211.30.36.43) (Quit: WeeChat 3.5)
05:46:57 <xmonadtrack> xmonad-contrib Tony Zorman * v0.17.0-236-gc701a750: X.P.OrgMode: Require whitespace before priority (13 minutes ago, 2 files, 30+ 15-) https://github.com/xmonad/xmonad-contrib/commit/c701a75002bf
05:57:02 <xmonadtrack> xmonad-contrib Brandon S Allbery KF8NH * v0.17.0-237-gf5de0fc7: Document `WNConfig` (12 hours ago, 1 file, 17+ 5-) https://github.com/xmonad/xmonad-contrib/commit/f5de0fc7647d
07:37:00 sogens joins (~sogens@211.30.36.43)
07:54:14 steve__ joins (~steve@ool-182c2b80.dyn.optonline.net)
08:47:14 wonko joins (~wjc@2a0e:1c80:2::130)
09:00:32 × liskin[m] quits (~liskinmat@2001:470:69fc:105::768) (Quit: You have been kicked for being idle)
09:10:34 thyriaen joins (~thyriaen@2a02:8109:8340:686c:f4bb:adc9:da23:30c9)
09:12:31 <thyriaen> Howdy I have some bug in my dualTab layout ( line 158 ) - when there is only one window open i lose my spacingRaw - how can i avoid this ?
09:12:43 liskin[m] joins (~liskinmat@2001:470:69fc:105::768)
09:14:05 <thyriaen> ah i am dumb - reading the documentation helps :p i found it
09:15:03 <thyriaen> no actually - i have set the smartBorder to false - so it should infact display the gap but it doesn't
09:20:37 alternateved joins (~user@staticline-31-183-146-203.toya.net.pl)
09:34:51 thyriaen parts (~thyriaen@2a02:8109:8340:686c:f4bb:adc9:da23:30c9) (Leaving)
09:34:56 thyriaen joins (~thyriaen@2a02:8109:8340:686c:f4bb:adc9:da23:30c9)
09:37:02 × thyriaen quits (~thyriaen@2a02:8109:8340:686c:f4bb:adc9:da23:30c9) (Quit: Leaving)
09:37:33 thyriaen joins (~thyriaen@2a02:8109:8340:686c:f4bb:adc9:da23:30c9)
09:38:27 × thyriaen quits (~thyriaen@2a02:8109:8340:686c:f4bb:adc9:da23:30c9) (Client Quit)
10:05:56 × wonko quits (~wjc@2a0e:1c80:2::130) (Ping timeout: 260 seconds)
11:42:11 × alternateved quits (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection)
12:29:53 alternateved joins (~user@staticline-31-183-146-203.toya.net.pl)
12:46:22 × kaskal quits (~kaskal@213-225-33-152.nat.highway.a1.net) (Quit: ZNC - https://znc.in)
12:49:59 kaskal joins (~kaskal@2001:4bb8:2dc:7b0e:55ee:692c:e44d:a4b0)
13:07:08 thyriaen joins (~thyriaen@2a02:8109:8340:686c:f4bb:adc9:da23:30c9)
13:09:41 <thyriaen> Howdy I have some bug in my dualTab layout ( line 158 ) - when there is only one window open i lose my spacingRaw - how can i avoid this ? https://paste.sqt.wtf/d639dc
13:12:45 <thyriaen> And is there a way to make the border of my windows include the tabs and not just around the window itself ?
13:15:35 <geekosaur> the tabs have their own borders, since they're actually independent windows. and the borders are built into the windows, so can't be expanded
13:18:18 <thyriaen> is it possible to remove the borders on the top when taps are on them and change the outer borders of the tabs ? :p
13:18:21 <geekosaur> I don't see any reason why spacingRaw would cease working; tabs generally go away if there's only one window, but that's independent
13:18:48 <geekosaur> you can change the borders of the tabs, but they can't be controlled per side
13:19:01 <thyriaen> geekosaur, yeath, the taps do go away but when i only have one window in the dualTabs view i have no gaps
13:19:20 <geekosaur> yes, I read that
13:19:34 <geekosaur> it doesn't make a whole lot of sense, that's independent of the tabs
13:19:52 <thyriaen> i thought the first boolean value controls if the gaps are smart or not
13:20:14 <thyriaen> and since i set it to false it shouldn't go away if only one window exist
13:20:45 <thyriaen> i think it has something todo with the combining of the twoPane layout - which layout is chosen when there is only one window ?
13:22:02 <[Leary]> Looks like it doesn't use either of them.
13:22:33 <thyriaen> can I define a fallback layout when there is only one window somehow ?
13:23:00 <[Leary]> I suggest you try pulling addTabs and gap outside of combineTwo first.
13:23:03 <geekosaur> XMonad.Layout.IfMax
13:23:33 <[Leary]> (You *can*, but it will make your layout hackier.)
13:23:53 <thyriaen> [Leary], i think there are some spacing issues with the tabs then - i remember i had it this way a few weeks ago
13:24:35 geekosaur is remembering that, yeh
13:24:42 <[Leary]> The problem then was that gap was outside of tabs. So long as you apply those two in the right order, you should be able to put combineTwo inside.
13:24:54 <[Leary]> iirc anyway
13:25:11 <[Leary]> Seems like addTabs just wants to be outermost
13:26:29 <thyriaen> ah
13:26:33 <[Leary]> Well, I'm not certain how clever addTabs is, it might not actually handle combineTwo properly, that might require sublayouts...
13:26:33 <thyriaen> so you suggest
13:26:52 <thyriaen> addTabs gap combineTwo
13:26:55 <thyriaen> in that order ?
13:27:08 <[Leary]> Yeah, at least give it a try.
13:27:30 <geekosaur> addTabs isn't very clever
13:27:52 <geekosaur> it's also abusing Decoration in ways that sometimes cause problems
13:30:02 <thyriaen> i am having trouble creating anything that compiles :p
13:31:16 <thyriaen> gap $ addTabs shrinkText myTabConfig ( TwoPane 0.03 0.5 ) -- this gives me something but without tabs at all
13:32:15 <geekosaur> I was trying to figure out why [Leary] would suggest that, since the "tabs" would be for the sublayouts, but those aren't actually windows and would confuse it
13:32:34 <thyriaen> yea
13:32:42 <thyriaen> i think the tabs should be directly at the window
13:32:47 <thyriaen> and not at the layout
13:33:55 <[Leary]> I was thinking: dualTab = addTabs shrinkText myTabConfig . gap $ combineTwo (TwoPane 0.03 0.5) Simplest Simplest
13:34:19 <[Leary]> But I do suspect it's not quite right.
13:34:28 <thyriaen> did you run it ?
13:36:15 <thyriaen> Ambiguous type variable 'a0' arising from a use of 'combineTwo'
13:38:07 <thyriaen> it actually works :p
13:38:49 <thyriaen> now it would be good for me to understand whats going on with that .
13:39:47 <thyriaen> i know it is a combination of functions but how to rewrite it without the . ?
13:40:11 <[Leary]> . is function composition: f $ g $ x === f . g $ x === (f . g) x === f (g x)
13:41:44 <thyriaen> thanks
13:46:16 <thyriaen> i found something really really interesting
13:48:11 <thyriaen> this does work: https://paste.sqt.wtf/24cb24
13:49:16 <thyriaen> and so does this https://paste.sqt.wtf/fb824b
13:49:55 <thyriaen> but this doesn't https://paste.sqt.wtf/38f88c, because myTest has two different types now
13:51:28 <[Leary]> It would probably work if you gave it a general enough type signature, or disabled the MonomorphismRestriction.
13:52:01 <thyriaen> okay what would be the correct type of it ? xD
13:53:29 <[Leary]> You can probably read it off the docs for `addTabs`. GHC might be able to tell you if you give it a "hole" to fill like: `myTest :: _`
13:53:48 <thyriaen> oh really ?
13:56:06 <[Leary]> By the way, if you want to take your test further, you should be able to move `gap` in there too, then apply `myTest` outside of the ||| those two layout share.
13:57:24 <thyriaen> i don't quite catch how the syntax should be for that
13:57:33 <thyriaen> but yeath the gap should also be in there
13:58:00 <thyriaen> myTest x = addTabs shrinkText myTabConfig ( gap x ) ?
13:59:40 <[Leary]> Normally this is where you use composition, but that is equivalent, yes.
13:59:55 <thyriaen> ah you mean
14:00:11 <thyriaen> addTabs shrinkText myTabConfig . gap
14:00:18 <[Leary]> Right.
14:00:31 <thyriaen> ah
14:00:40 <thyriaen> when i use my x notation it works fine
14:00:49 <thyriaen> with the . it again can't figure out the type T_T
14:02:17 <thyriaen> could you help me figure out the right type for it ?
14:02:24 <geekosaur> likely the monomorphism restriction, but also haskell has trouble inferring types of layouts when they're not used
14:02:35 <thyriaen> i wonder
14:02:43 <geekosaur> [Leary] already pointed out the use of holes
14:02:47 <thyriaen> isn't combineTwo (TwoPane 0.03 0.5) Simplest Simplest just TwoPane ?
14:02:59 <geekosaur> you could also give it an incorrect type and have it tell you the correct one
14:03:19 ectospasm joins (~ectospasm@user/ectospasm)
14:03:41 <geekosaur> not quite, since you have to manually move windows between panes
14:03:59 <geekosaur> (this actually gives you more control than you;d normally have, I think)
14:04:39 <thyriaen> i am not quite successful with the _
14:05:30 <geekosaur> can you pastebin the error it produces? (it always produces one, unless you enable an extension that allows it to proceed with the inferred type)
14:05:52 <thyriaen> i somehow cannot copy out of the xmessage window
14:06:06 <thyriaen> ah there is an error log somewhere, right ?
14:06:51 <thyriaen> https://termbin.com/ogwn
14:07:44 <[Leary]> This is why we don't bother giving our layout helpers types in xmonad. <.<
14:07:59 <[Leary]> It just becomes a mess.
14:08:07 <thyriaen> hihi
14:09:29 <[Leary]> In any case, you *could* copy that type signature, generalising the argument type (and where it appears in the result type) to some type variable `l`.
14:10:17 <[Leary]> But I would just use {-# LANGUAGE NoMonomorphisRestriction #-} at the top of the config.
14:10:28 <[Leary]> It's GHC's job to infer these things for you.
14:10:49 <[Leary]> phism*
14:10:49 <thyriaen> what is a good reason for there being MonomorphisRestrictions enabled ?
14:10:58 <geekosaur> https://github.com/geekosaur/xmonad.hs/blob/skkukuk/xmonad.hs#L51 🙂
14:11:26 <[Leary]> It helps share work in some cases.
14:11:43 <[Leary]> Here, I don't think it really matters.
14:12:45 <thyriaen> awesome
14:12:55 <thyriaen> works and looks cleaner aswell :p
14:15:34 <thyriaen> i love haskell so much
14:15:44 <thyriaen> although it really messes up my head
14:22:22 <geekosaur> it does that to a lot of people 🙂
14:23:05 <thyriaen> i always wondered why on earth do i want to use a language with lots of abstraction like java when i can just use c
14:23:29 <geekosaur> I can think of lots of reasons. starting woth, er, strings
14:23:30 <thyriaen> until i met haskell and i never wanted to go back to imperative stuff
14:23:33 <geekosaur> *with
14:24:13 <thyriaen> yea sure - but i am talking about the object orientation stuff
14:24:28 <thyriaen> sure it is nice to have sane data types :p
14:25:09 <thyriaen> https://paste.sqt.wtf/a8aa26 this is now a thing of beauty
14:25:28 <thyriaen> i think i want it on a T-Shirt
14:36:59 × thyriaen quits (~thyriaen@2a02:8109:8340:686c:f4bb:adc9:da23:30c9) (Quit: Leaving)
14:37:16 thyriaen joins (~thyriaen@2a02:8109:8340:686c:f4bb:adc9:da23:30c9)
14:41:41 × thyriaen quits (~thyriaen@2a02:8109:8340:686c:f4bb:adc9:da23:30c9) (Client Quit)
15:08:36 × alternateved quits (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection)
15:10:22 alternateved joins (~user@staticline-31-183-146-203.toya.net.pl)
15:15:19 jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
15:18:27 coldpress joins (~coldpress@72.136.212.35.bc.googleusercontent.com)
15:19:26 FatBoyXPC_ joins (~FatBoyXPC@user/fatboyxpc)
15:19:31 Magician joins (deepy@user/deepy)
15:20:02 zawaken- joins (~zawaken@user/zawaken)
15:20:18 redgloboli_ joins (~redglobol@user/redgloboli)
15:20:25 hrberg_ joins (~quassel@171.79-160-161.customer.lyse.net)
15:20:42 lazycat joins (~lazycat@user/lazycat)
15:20:55 vrs_ joins (~vrs@user/vrs)
15:21:04 joshproehl_ joins (~quassel@user/joshproehl)
15:21:21 ml|_ joins (~ml|@user/ml/x-5298235)
15:21:29 × coldpress_ quits (~coldpress@72.136.212.35.bc.googleusercontent.com) (Ping timeout: 252 seconds)
15:21:29 × thaumavorio quits (~thaumavor@thaumavor.io) (Ping timeout: 252 seconds)
15:21:29 × zawaken quits (~zawaken@user/zawaken) (Ping timeout: 252 seconds)
15:21:30 × redgloboli quits (~redglobol@user/redgloboli) (Ping timeout: 252 seconds)
15:21:30 × FatBoyXPC quits (~FatBoyXPC@user/fatboyxpc) (Ping timeout: 252 seconds)
15:21:30 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds)
15:21:30 × lazyrat quits (~lazycat@user/lazycat) (Ping timeout: 252 seconds)
15:21:30 × ml| quits (~ml|@user/ml/x-5298235) (Ping timeout: 252 seconds)
15:21:30 × gknux quits (~gknux@user/galaxy-knuckles/x-3015990) (Ping timeout: 252 seconds)
15:21:30 × hrberg quits (~quassel@171.79-160-161.customer.lyse.net) (Ping timeout: 252 seconds)
15:21:30 × tv quits (~tv@user/tv) (Ping timeout: 252 seconds)
15:21:30 × deepy quits (deepy@user/deepy) (Ping timeout: 252 seconds)
15:21:30 × joshproehl quits (~quassel@user/joshproehl) (Ping timeout: 252 seconds)
15:21:30 × vrs quits (~vrs@user/vrs) (Ping timeout: 252 seconds)
15:21:30 × wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 252 seconds)
15:21:30 × sagax quits (~sagax_nb@user/sagax) (Ping timeout: 252 seconds)
15:21:32 jao- joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
15:22:02 tv joins (~tv@user/tv)
15:22:16 thaumavorio joins (~thaumavor@thaumavor.io)
15:22:27 gknux joins (~gknux@user/galaxy-knuckles/x-3015990)
15:22:40 wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de)
15:36:07 codehia joins (~codehia@103.24.85.233)
15:36:27 × codehia quits (~codehia@103.24.85.233) (Client Quit)
15:40:04 × doppo quits (~doppo@2604:180::e0fc:a07f) (Read error: Connection reset by peer)
15:40:38 doppo joins (~doppo@2604:180::e0fc:a07f)
15:44:08 vrs_ is now known as vrs
16:03:05 codehia joins (~codehia@103.24.85.233)
16:09:08 <geekosaur> hm. Solid, someone needs help with multiscreen xmobar in -unlogged
16:24:35 codehia10 joins (~codehia@103.24.85.233)
16:25:26 codehia49 joins (~codehia@103.24.85.233)
16:25:36 × catman quits (~catman@user/catman) (Quit: WeeChat 3.6)
16:25:49 × codehia49 quits (~codehia@103.24.85.233) (Client Quit)
16:26:22 × codehia quits (~codehia@103.24.85.233) (Ping timeout: 252 seconds)
16:26:33 × codehia10 quits (~codehia@103.24.85.233) (Client Quit)
16:26:56 codehia joins (~codehia@103.24.85.233)
16:34:45 × alternateved quits (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection)
17:15:48 <geekosaur> going to be debugging my network for a bit. popping off irc; the bot I will try to keep running but don't be surprised if it falls off too
17:15:55 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving)
17:27:07 geekosaur joins (~geekosaur@xmonad/geekosaur)
17:30:46 × jao- quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
17:36:04 jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
18:11:53 <geekosaur> this router issue becomes more peculiar all the time…
18:13:22 Magician is now known as deepy
19:13:54 wonko joins (~wjc@2a0e:1c80:2::130)
19:24:58 × codehia quits (~codehia@103.24.85.233) (Quit: Client closed)
19:26:46 catman joins (~catman@user/catman)
19:46:32 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
20:00:15 jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
21:05:26 × catman quits (~catman@user/catman) (Quit: WeeChat 3.6)
21:38:05 catman joins (~catman@user/catman)
22:33:05 × tv quits (~tv@user/tv) (Quit: derp)
22:33:25 tv joins (~tv@user/tv)
23:08:19 × wonko quits (~wjc@2a0e:1c80:2::130) (Ping timeout: 248 seconds)
23:08:53 twiclo1 joins (~twiclo@mail.twil.cx)
23:37:28 × catman quits (~catman@user/catman) (Quit: WeeChat 3.6)
23:47:37 × themc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
23:47:37 × xmonadtrack quits (~xmonadtra@xmonad/geekosaur) (Remote host closed the connection)
23:47:55 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving)

All times are in UTC on 2022-08-28.