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