Logs on 2026-01-20 (liberachat/#xmonad)
| 00:18:06 | → | vanvik joins (~vanvik@143.110.100.4) |
| 01:05:42 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 01:06:21 | → | beastwick joins (~brian@user/beastwick) |
| 01:07:15 | <beastwick> | Hi, I am trying to apply smartBorders to my layouts. This compiles, but I still see a border when I am in tiled layout with a single window: https://pastebin.com/af7NY2Vh |
| 01:25:31 | <geekosaur> | do you have multiple screens? |
| 01:34:15 | <geekosaur> | if you do, use `lessBorders Screen` or `lessBorders OtherIndicated` |
| 01:34:38 | <geekosaur> | you may need to run a statusbar to determine which screen is focused |
| 01:35:08 | <beastwick> | yes I have two screens active |
| 02:14:06 | × | vanvik quits (~vanvik@143.110.100.4) (Quit: Ping timeout (120 seconds)) |
| 02:14:26 | → | vanvik joins (~vanvik@143.110.100.4) |
| 02:14:32 | → | werneta joins (~werneta@71.83.160.242) |
| 03:31:26 | × | werneta quits (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 03:43:15 | × | terrorjack quits (~terrorjac@2a01:4f8:c17:9d11::) (Quit: The Lounge - https://thelounge.chat) |
| 03:45:46 | → | terrorjack joins (~terrorjac@2a01:4f8:c17:9d11::) |
| 09:29:14 | → | mc47 joins (~yecinem@xmonad/TheMC47) |
| 13:18:26 | → | rekahsoft joins (~rekahsoft@70.51.99.245) |
| 13:41:23 | × | T_X quits (~T_X@diktynna.open-mesh.org) (Ping timeout: 250 seconds) |
| 13:43:16 | → | T_X joins (~T_X@diktynna.open-mesh.org) |
| 13:44:51 | × | wsx quits (055e6b628d@2a03:6000:1812:100::dd6) (Ping timeout: 250 seconds) |
| 13:46:03 | → | wsx joins (055e6b628d@2a03:6000:1812:100::dd6) |
| 14:55:55 | <beastwick> | lessBorders Screen did the trick |
| 15:05:42 | <beastwick> | Just curious, does everyone type define their functions/variable assignments in their configs? |
| 15:06:03 | <beastwick> | ex) myWorkspaces :: [WorkspaceId] |
| 15:08:39 | <beastwick> | myXPConfig :: XPConfig myXPConfig = def |
| 15:08:45 | <beastwick> | this sort of stuff, or not worth the headache? |
| 15:09:06 | <beastwick> | for complicated stuff I see haskell can give me the type directly from ghci |
| 15:09:25 | <beastwick> | so I have a complicated one for myLayouts, but seems kind of not worth doing if I make changes |
| 15:09:38 | <beastwick> | the config will never be a contract for anyone else |
| 15:09:54 | <beastwick> | but I would like to get in the habit of doing best practices |
| 15:10:39 | → | Enrico63 joins (~Enrico63@79.42.228.73) |
| 15:16:02 | → | hightower3 joins (~hightower@cpe-94-253-190-192.zg.cable.xnet.hr) |
| 15:18:37 | × | hightower4 quits (~hightower@cpe-94-253-190-24.zg.cable.xnet.hr) (Ping timeout: 264 seconds) |
| 15:43:41 | × | Enrico63 quits (~Enrico63@79.42.228.73) (Quit: Client closed) |
| 16:10:10 | → | Enrico63 joins (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) |
| 16:49:00 | → | ft joins (~ft@p4fc2a9d7.dip0.t-ipconnect.de) |
| 16:50:12 | <geekosaur> | providing top level and ideally inner type signatures makes debugging a lot easier. that said, doing so for layouts (a) usually requires extra imports (b) is basically stating the layout twice. so my config has a comment "-- sorry, I CBA to provide types for anything parameterized by layouts" 🙂 |
| 17:24:33 | × | mc47 quits (~yecinem@xmonad/TheMC47) (Ping timeout: 250 seconds) |
| 17:40:36 | × | Enrico63 quits (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) (Quit: Client closed) |
| 19:06:21 | → | ectospasm joins (~ectospasm@user/ectospasm) |
| 20:25:52 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 246 seconds) |
| 20:26:52 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 20:30:28 | → | Enrico63 joins (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) |
| 20:40:50 | × | Enrico63 quits (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) (Quit: Client closed) |
| 20:53:12 | × | lally quits (sid388228@id-388228.uxbridge.irccloud.com) (*.net *.split) |
| 20:53:12 | × | catern quits (sid604849@id-604849.lymington.irccloud.com) (*.net *.split) |
| 20:53:12 | × | burp quits (~quassel@hedgewars/sysadmin/burp) (*.net *.split) |
| 20:53:12 | × | xacktm quits (xacktm@user/xacktm) (*.net *.split) |
| 20:58:51 | → | lally joins (sid388228@id-388228.uxbridge.irccloud.com) |
| 20:58:51 | → | catern joins (sid604849@id-604849.lymington.irccloud.com) |
| 20:58:51 | → | burp joins (~quassel@hedgewars/sysadmin/burp) |
| 20:58:51 | → | xacktm joins (xacktm@user/xacktm) |
| 22:08:04 | × | hightower3 quits (~hightower@cpe-94-253-190-192.zg.cable.xnet.hr) (Ping timeout: 246 seconds) |
| 23:45:45 | × | Forkk13 quits (~forkk@li926-228.members.linode.com) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 23:46:26 | → | Forkk13 joins (~forkk@li926-228.members.linode.com) |
All times are in UTC on 2026-01-20.