Home liberachat/#xmonad: Logs Calendar

Logs on 2024-05-19 (liberachat/#xmonad)

00:03:04 <dysthesis> geekosaur: I see, thank you
00:14:51 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 255 seconds)
00:26:15 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
01:10:09 [Leary] is now known as Leary
02:08:45 × td_ quits (~td@i53870939.versanet.de) (Ping timeout: 256 seconds)
02:10:16 td_ joins (~td@i5387090A.versanet.de)
02:24:29 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds)
02:43:23 × terrorjack quits (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
02:47:26 terrorjack joins (~terrorjac@2a01:4f8:c17:87f8::)
04:15:47 × dysthesis quits (~dysthesis@user/dysthesis) (Quit: WeeChat 4.2.1)
04:27:09 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 268 seconds)
04:38:34 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
04:43:16 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 260 seconds)
05:14:11 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
05:20:17 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 256 seconds)
05:32:51 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
05:38:35 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 260 seconds)
05:50:57 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
05:56:53 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 240 seconds)
06:11:05 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
06:16:08 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 260 seconds)
06:20:54 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
06:25:43 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 260 seconds)
06:38:35 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
06:44:23 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 260 seconds)
07:11:06 × xmonadtrack quits (~xmonadtra@user/geekosaur/bot/xmonadtrack) (Remote host closed the connection)
07:12:53 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
07:17:58 xmonadtrack joins (~xmonadtra@syn-069-135-003-034.biz.spectrum.com)
07:17:58 × xmonadtrack quits (~xmonadtra@syn-069-135-003-034.biz.spectrum.com) (Changing host)
07:17:58 xmonadtrack joins (~xmonadtra@user/geekosaur/bot/xmonadtrack)
07:18:53 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 240 seconds)
07:21:00 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
07:26:36 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 260 seconds)
07:31:43 × hightower2 quits (~hightower@141-136-166-71.dsl.iskon.hr) (Remote host closed the connection)
07:56:23 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
08:02:24 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 255 seconds)
08:15:48 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
08:26:48 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 260 seconds)
08:39:52 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
08:44:29 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 240 seconds)
08:57:09 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
09:02:16 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 260 seconds)
09:14:32 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
09:19:41 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 240 seconds)
09:24:02 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
09:30:05 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 240 seconds)
09:39:08 L29Ah joins (~L29Ah@wikipedia/L29Ah)
09:43:11 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
11:26:42 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 255 seconds)
11:39:15 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
11:45:36 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 260 seconds)
11:50:12 PotatoGim_ is now known as PotatoGim
11:59:55 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
12:04:44 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 260 seconds)
12:17:26 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
12:22:30 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 256 seconds)
12:35:01 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
12:41:17 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 240 seconds)
13:10:35 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
13:16:57 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 255 seconds)
13:20:23 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
13:25:15 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 260 seconds)
13:39:52 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
13:44:37 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 256 seconds)
13:57:39 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
14:03:31 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 260 seconds)
14:15:41 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Quit: Gateway shutdown)
14:16:19 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
14:20:10 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Max SendQ exceeded)
14:20:39 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
14:46:26 L29Ah joins (~L29Ah@wikipedia/L29Ah)
15:03:47 × catman quits (~catman@user/catman) (Quit: WeeChat 4.3.0-dev)
15:06:19 catman joins (~catman@user/catman)
15:08:05 hexa6 joins (~user@172.56.17.134)
15:24:33 <tom_> hey, so i got multiple monitors and i've isolated the workspaces between screens kinda like dwm, anyway i can hack toggleWS to only toggle to the last viewed workspace only from that screen?
15:36:54 <tom_> i think i got it:
15:37:04 <vrs> you would have some code but you could take W.hidden and filter it against workspaces on the screen
15:37:13 <vrs> have to write some code*
15:37:49 <tom_> was going to try this:
15:37:50 <tom_> https://pastecode.dev/s/6unskapw
15:43:04 <tom_> havent got currentScreen yet
15:43:19 <tom_> but it works if i try a static number
16:08:20 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 260 seconds)
16:26:37 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
16:32:29 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 240 seconds)
16:37:13 <geekosaur> gets (W.screen . W.current)
16:38:47 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
16:41:18 <tom_> im too big of a haskell noob
16:41:29 <tom_> i cant do `, s <- [x | x <- [0 .. nScreens], x /= (gets (W.screen . W.current))]`
16:41:45 <tom_> i've been trying alot of variants of that
16:42:34 <geekosaur> no, you need to use <- to extract it, while in the X monad
16:44:28 <geekosaur> https://pastecode.dev/s/xpwmb3oc
16:44:32 <tom_> problem is, im already doing a `nScreens <- countScreens`, after my do
16:44:43 <geekosaur> you can do more of those
16:45:00 <tom_> i try your code rq
16:47:28 <geekosaur> note that you need `import qualified XMonad.StackSet as W`
16:49:07 <tom_> gotta still convert screenid to int
16:49:36 <tom_> theres another scaryier compiler error but i hope it goes away after that first one
16:50:27 <geekosaur> hm, it should have done that (the `\(S currentScreen)`)
16:54:07 <tom_> heres the full error: https://pastecode.dev/s/nmdomw1n
16:56:12 <geekosaur> oh, whoops, sorry
16:57:43 <geekosaur> https://pastecode.dev/s/j7vlj6hc missed a step
16:59:34 <tom_> okay nice just the screenid to int problem, i think theres a toIntegral or something?
17:00:40 <geekosaur> can you show the error you're getting? I should be extracting the `Int` from the `ScreenId` already
17:01:46 <tom_> https://pastecode.dev/s/d0jwfufg
17:03:21 <geekosaur> er. what type is nScreens? I was expecting Int
17:04:22 <geekosaur> https://pastecode.dev/s/0njsvg0b if somehow you're using a ScreenId instead of Int
17:04:58 <tom_> oh weird cause when i just wrote a 0 instead currentScreen it worked (for just my first display)
17:05:45 <tom_> i do main = do nScreens <- countScreens xmonad ...
17:08:23 <geekosaur> yes, ScreenId has a Num instance so numeric literals (only) get converted
17:08:45 <tom_> looks to work, thanks alot!
17:08:46 geekosaur dislikes that, either it should just be an Int or the um instance should go away
17:19:16 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 260 seconds)
17:30:55 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
19:30:05 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 240 seconds)
19:50:41 defjam joins (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16)
20:44:15 × defjam quits (~defjam@2a02:c7e:2807:b900:b893:31d3:776c:6c16) (Ping timeout: 255 seconds)
20:55:16 L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
20:55:47 L29Ah joins (~L29Ah@wikipedia/L29Ah)
20:57:39 defjam joins (~defjam@2a02:c7e:2807:b900:dc8d:6f2d:2e8b:93eb)
21:06:45 × weitcis quits (~quassel@s-169-232-102-135.resnet.ucla.edu) (Ping timeout: 255 seconds)
21:07:07 weitcis joins (~quassel@s-169-232-102-135.resnet.ucla.edu)
21:07:56 × ectospasm quits (~ectospasm@user/ectospasm) (Ping timeout: 252 seconds)
21:21:18 ectospasm joins (~ectospasm@user/ectospasm)

All times are in UTC on 2024-05-19.