Home liberachat/#xmonad: Logs Calendar

Logs: liberachat/#xmonad

←Prev  Next→ 184,799 events total
2023-11-05 04:56:15 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 05:00:46 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 05:04:23 thunderrd joins (~thunderrd@183.182.114.97)
2023-11-05 05:05:37 sundbry joins (~quassel@2600:1700:38c6:180:a1da:9e07:832c:1349)
2023-11-05 05:15:00 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 05:18:07 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 05:18:54 × thunderrd quits (~thunderrd@183.182.114.97) (Remote host closed the connection)
2023-11-05 05:22:35 thunderrd joins (~thunderrd@183.182.114.97)
2023-11-05 05:26:20 × Groumf quits (~Groumf@2a01:e0a:582:bb40:e5c6:f484:7015:1722) (Quit: Client closed)
2023-11-05 05:26:21 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 05:29:37 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 05:31:15 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 05:40:40 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 05:43:55 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 05:47:38 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 05:47:38 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 05:55:47 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 05:56:38 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 06:00:08 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 06:02:55 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 06:08:06 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 06:08:15 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 06:18:37 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 06:18:37 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 06:22:56 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 06:23:04 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 06:26:20 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 06:29:20 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 06:35:36 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 06:42:43 Enrico63 joins (~Enrico63@81.109.143.226)
2023-11-05 06:46:58 <Enrico63> Hello there. I've just starting exploring xmonad on archlinux. I managed to get it to work, and now I'm playing around with configuration. I'm getting an error upon trying to add this: layoutHook = spacingRaw False (Border 10 0 10 0) True (Border 0 10 0 10) True $ Tall (1 (3/100) (1/2)) ||| Full, because Tall is expected to be Rational -> Window,
2023-11-05 06:46:59 <Enrico63> but it actually is Rational -> Rational -> Tall a0, which means that either that line I copied from https://wiki.archlinux.org/title/Xmonad is outdated, or I'm just not importing the right module. However, from Hoogle I see that Tall is indeed in XMonad.Layout, which I am importing, so I'm more prone to think the archlinux wiki page is outdated.
2023-11-05 06:47:28 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 06:50:34 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 06:50:36 <Enrico63> The damn parenthesis :/
2023-11-05 06:54:29 <Enrico63> Ok, there were excess parenthesis around the arguments of Tall. Removed that, and it works now. Fixed the arch wiki page as well.
2023-11-05 06:54:29 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 06:57:38 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 06:57:38 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 07:01:21 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 07:05:25 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 07:11:04 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 07:16:36 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 07:21:14 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 07:23:52 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 07:26:07 × Enrico63 quits (~Enrico63@81.109.143.226) (Ping timeout: 248 seconds)
2023-11-05 07:29:49 × thunderrd quits (~thunderrd@183.182.114.97) (Remote host closed the connection)
2023-11-05 07:30:38 Manu38 joins (~Manu38@2a01:e0a:96:a450:48e4:c4a5:7636:29bf)
2023-11-05 07:33:29 thunderrd joins (~thunderrd@183.182.114.97)
2023-11-05 07:42:13 × thunderrd quits (~thunderrd@183.182.114.97) (Remote host closed the connection)
2023-11-05 07:48:13 thunderrd joins (~thunderrd@183.182.114.97)
2023-11-05 07:57:35 × Manu38 quits (~Manu38@2a01:e0a:96:a450:48e4:c4a5:7636:29bf) (Ping timeout: 248 seconds)
2023-11-05 08:21:29 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 08:26:45 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 08:29:30 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 08:56:26 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 08:59:29 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 09:10:00 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 09:15:07 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 09:18:22 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 09:23:45 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 09:26:04 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 09:29:56 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 09:42:20 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 09:46:00 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 09:57:31 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 10:00:38 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 10:07:54 Manu38 joins (~Manu38@2a01:e0a:96:a450:8268:2102:7493:291f)
2023-11-05 10:09:01 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 10:13:31 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 10:27:01 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 10:32:11 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 10:36:43 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 10:39:50 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 10:47:06 × Manu38 quits (~Manu38@2a01:e0a:96:a450:8268:2102:7493:291f) (Quit: Client closed)
2023-11-05 10:51:00 Manu38 joins (~Manu38@2a01:e0a:96:a450:8268:2102:7493:291f)
2023-11-05 10:51:46 <Manu38> Hi there, after reading the doc carefully, I was not able to have a shortcut setting my layout in full screen mode with no borders.
2023-11-05 10:52:53 <Manu38> Here is what I have for now ` ("M-b",         addName "Toggle noborders/full" $ sendMessage (MT.Toggle NBFULL) >> sendMessage ToggleStruts)`
2023-11-05 10:53:24 <Manu38> Fullscreen is activated properly when I press `mod+b` but borders are still here.
2023-11-05 10:54:06 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 10:58:26 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 11:00:47 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 11:04:23 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 11:11:08 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 11:14:19 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 11:19:58 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 11:24:05 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 11:27:59 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 11:31:09 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 11:32:58 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 11:36:28 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 11:56:59 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 12:01:18 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 12:02:53 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 12:06:16 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 12:06:24 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 12:10:23 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 12:10:25 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 12:30:45 todi joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 12:32:41 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)

All times are in UTC.