Logs: liberachat/#xmonad
| 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.