2023/11/05

2023-11-05 00:01:40 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 00:01:48 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 00:05:12 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 00:06:24 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 00:11:53 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 00:11:56 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 00:21:16 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 00:21:36 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 00:44:37 +0100berberman(~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2023-11-05 00:49:21 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 00:50:53 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 00:55:09 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 00:55:19 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 01:18:44 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 01:19:04 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 01:24:22 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 01:25:33 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 01:34:00 +0100red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2023-11-05 01:34:36 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 01:34:36 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 01:41:20 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 01:41:28 +0100Groumf(~Groumf@2a01:e0a:582:bb40:e5c6:f484:7015:1722)
2023-11-05 01:41:56 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 01:47:17 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 01:47:27 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 01:52:18 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 01:52:58 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 02:15:18 +0100berberman(~berberman@user/berberman)
2023-11-05 02:16:15 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 02:16:19 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 02:28:09 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 02:28:19 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 02:48:43 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 02:48:54 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 02:59:24 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 02:59:43 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 03:02:59 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 03:03:13 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 03:07:01 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 03:07:06 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 03:11:27 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 03:11:53 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 03:19:13 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 03:20:00 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 03:23:14 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 03:24:55 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 03:50:31 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 03:51:11 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 04:14:58 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 04:21:28 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 04:24:34 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 04:25:21 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 04:29:31 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 04:35:33 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 04:40:07 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 04:40:22 +0100td_(~td@i53870925.versanet.de) (Ping timeout: 258 seconds)
2023-11-05 04:42:17 +0100td_(~td@i5387091C.versanet.de)
2023-11-05 04:50:08 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 04:53:19 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 04:57:28 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 05:00:39 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 05:01:37 +0100thunderrd(~thunderrd@183.182.114.97)
2023-11-05 05:09:13 +0100thunderrd(~thunderrd@183.182.114.97) (Remote host closed the connection)
2023-11-05 05:13:55 +0100thunderrd(~thunderrd@183.182.114.97)
2023-11-05 05:16:36 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 05:19:32 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 05:27:10 +0100thunderrd(~thunderrd@183.182.114.97) (Remote host closed the connection)
2023-11-05 05:29:49 +0100thunderrd(~thunderrd@183.182.114.97)
2023-11-05 05:31:50 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 05:35:20 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 05:37:16 +0100thunderrd(~thunderrd@183.182.114.97) (Remote host closed the connection)
2023-11-05 05:38:46 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 05:41:51 +0100thunderrd(~thunderrd@183.182.114.97)
2023-11-05 05:41:54 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 05:46:21 +0100thunderrd(~thunderrd@183.182.114.97) (Remote host closed the connection)
2023-11-05 05:56:15 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 06:00:46 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 06:04:23 +0100thunderrd(~thunderrd@183.182.114.97)
2023-11-05 06:05:37 +0100sundbry(~quassel@2600:1700:38c6:180:a1da:9e07:832c:1349)
2023-11-05 06:15:00 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 06:18:07 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 06:18:54 +0100thunderrd(~thunderrd@183.182.114.97) (Remote host closed the connection)
2023-11-05 06:22:35 +0100thunderrd(~thunderrd@183.182.114.97)
2023-11-05 06:26:20 +0100Groumf(~Groumf@2a01:e0a:582:bb40:e5c6:f484:7015:1722) (Quit: Client closed)
2023-11-05 06:26:21 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 06:29:37 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 06:31:15 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 06:40:40 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 06:43:55 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 06:47:38 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 06:47:38 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 06:55:47 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 06:56:38 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 07:00:08 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 07:02:55 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 07:08:06 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 07:08:15 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 07:18:37 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 07:18:37 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 07:22:56 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 07:23:04 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 07:26:20 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 07:29:20 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 07:35:36 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 07:42:43 +0100Enrico63(~Enrico63@81.109.143.226)
2023-11-05 07:46:58 +0100 <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 07:46:59 +0100 <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 07:47:28 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 07:50:34 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 07:50:36 +0100 <Enrico63> The damn parenthesis :/
2023-11-05 07:54:29 +0100 <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 07:54:29 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 07:57:38 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 07:57:38 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 08:01:21 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 08:05:25 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 08:11:04 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 08:16:36 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 08:21:14 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 08:23:52 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 08:26:07 +0100Enrico63(~Enrico63@81.109.143.226) (Ping timeout: 248 seconds)
2023-11-05 08:29:49 +0100thunderrd(~thunderrd@183.182.114.97) (Remote host closed the connection)
2023-11-05 08:30:38 +0100Manu38(~Manu38@2a01:e0a:96:a450:48e4:c4a5:7636:29bf)
2023-11-05 08:33:29 +0100thunderrd(~thunderrd@183.182.114.97)
2023-11-05 08:42:13 +0100thunderrd(~thunderrd@183.182.114.97) (Remote host closed the connection)
2023-11-05 08:48:13 +0100thunderrd(~thunderrd@183.182.114.97)
2023-11-05 08:57:35 +0100Manu38(~Manu38@2a01:e0a:96:a450:48e4:c4a5:7636:29bf) (Ping timeout: 248 seconds)
2023-11-05 09:21:29 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 09:26:45 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 09:29:30 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 09:56:26 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 09:59:29 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 10:10:00 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 10:15:07 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 10:18:22 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 10:23:45 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 10:26:04 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 10:29:56 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 10:42:20 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 10:46:00 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 10:57:31 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 11:00:38 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 11:07:54 +0100Manu38(~Manu38@2a01:e0a:96:a450:8268:2102:7493:291f)
2023-11-05 11:09:01 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 11:13:31 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 11:27:01 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 11:32:11 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 11:36:43 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 11:39:50 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 11:47:06 +0100Manu38(~Manu38@2a01:e0a:96:a450:8268:2102:7493:291f) (Quit: Client closed)
2023-11-05 11:51:00 +0100Manu38(~Manu38@2a01:e0a:96:a450:8268:2102:7493:291f)
2023-11-05 11:51:46 +0100 <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 11:52:53 +0100 <Manu38> Here is what I have for now ` ("M-b",         addName "Toggle noborders/full" $ sendMessage (MT.Toggle NBFULL) >> sendMessage ToggleStruts)`
2023-11-05 11:53:24 +0100 <Manu38> Fullscreen is activated properly when I press `mod+b` but borders are still here.
2023-11-05 11:54:06 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 11:58:26 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 12:00:47 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 12:04:23 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 12:11:08 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 12:14:19 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 12:19:58 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 12:24:05 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 12:27:59 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 12:31:09 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 12:32:58 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 12:36:28 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 12:56:59 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 13:01:18 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 13:02:53 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 13:06:16 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 13:06:24 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 13:10:23 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 13:10:25 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 13:30:45 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 13:32:41 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 13:36:28 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 13:38:00 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 13:42:17 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 13:46:20 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 13:50:05 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 13:53:41 +0100vanvik(~vanvik@78.156.10.140) (Quit: Later)
2023-11-05 13:53:58 +0100vanvik(~vanvik@78.156.10.140)
2023-11-05 13:55:11 +0100vanvik(~vanvik@78.156.10.140) (Remote host closed the connection)
2023-11-05 13:57:30 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 14:01:08 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 14:05:55 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 14:10:10 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 14:11:49 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 14:15:33 +0100vanvik(~vanvik@78.156.10.140)
2023-11-05 14:15:35 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 14:17:00 +0100vanvik(~vanvik@78.156.10.140) (Client Quit)
2023-11-05 14:17:17 +0100vanvik(~vanvik@78.156.10.140)
2023-11-05 14:19:14 +0100vanvik6(~vanvik@78.156.10.140)
2023-11-05 14:21:27 +0100vanvik(~vanvik@78.156.10.140) (Ping timeout: 240 seconds)
2023-11-05 14:21:27 +0100vanvik6vanvik
2023-11-05 14:26:37 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 14:29:48 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 14:31:48 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Client Quit)
2023-11-05 14:48:10 +0100 <liskin> Manu38: have you tried smartBorders btw?
2023-11-05 14:48:27 +0100 <liskin> It removes borders automatically in certain situations
2023-11-05 14:48:37 +0100 <liskin> Never had to use anything else than that myself
2023-11-05 15:07:52 +0100 <Manu38> Thank you liskin, I'll look at your config file to see how you apply smartBorders.
2023-11-05 15:15:25 +0100Manu38(~Manu38@2a01:e0a:96:a450:8268:2102:7493:291f) (Quit: Client closed)
2023-11-05 16:19:54 +0100 <geekosaur> I did look into that and don't see anything wrong, it should switch to `noBorders Full` which should remove borders
2023-11-05 17:27:20 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 17:33:01 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 17:36:13 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 17:45:29 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 17:50:46 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 17:53:18 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 18:00:01 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 18:03:32 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 18:06:51 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 18:10:26 +0100fizzie(~irc@selene.zem.fi) (Quit: connection reset by purr)
2023-11-05 18:10:45 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 18:11:17 +0100fizzie(irc@selene.zem.fi)
2023-11-05 18:13:44 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 18:18:53 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Remote host closed the connection)
2023-11-05 18:19:38 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 18:31:09 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 18:36:20 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 18:38:58 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-05 18:42:08 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-05 18:44:09 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Client Quit)
2023-11-05 20:20:13 +0100Manu38(~Manu38@2a01:e0a:96:a450:619c:bf8d:2a98:4dd)
2023-11-05 20:45:51 +0100xmonadtrack(~xmonadtra@user/geekosaur/bot/xmonadtrack) (Ping timeout: 240 seconds)
2023-11-05 20:47:03 +0100haskellbridge(~haskellbr@069-135-003-034.biz.spectrum.com) (Ping timeout: 260 seconds)
2023-11-05 20:58:39 +0100xmonadtrack(~xmonadtra@069-135-003-034.biz.spectrum.com)
2023-11-05 20:58:39 +0100xmonadtrack(~xmonadtra@069-135-003-034.biz.spectrum.com) (Changing host)
2023-11-05 20:58:39 +0100xmonadtrack(~xmonadtra@user/geekosaur/bot/xmonadtrack)
2023-11-05 20:58:51 +0100haskellbridge(~haskellbr@069-135-003-034.biz.spectrum.com)
2023-11-05 23:44:51 +0100vanvik(~vanvik@78.156.10.140) (Quit: Later)
2023-11-05 23:45:08 +0100vanvik(~vanvik@78.156.10.140)
2023-11-05 23:56:47 +0100Manu38(~Manu38@2a01:e0a:96:a450:619c:bf8d:2a98:4dd) (Ping timeout: 248 seconds)