2025/10/15

2025-10-15 00:27:49 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (Ping timeout: 256 seconds)
2025-10-15 00:29:59 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) lambdabot
2025-10-15 00:54:26 +0200kaskal(~kaskal@2a02:8388:1a8b:7d00:da7b:74b4:ea7f:2207) (Quit: ZNC - https://znc.in)
2025-10-15 00:54:46 +0200kaskal(~kaskal@2a02:8388:1a8b:7d00:7ab8:bbe9:1c71:85ea) kaskal
2025-10-15 01:17:00 +0200horzion(~horzion@ProtonDB/horzion) horzion
2025-10-15 01:47:30 +0200horzion(~horzion@ProtonDB/horzion) (Remote host closed the connection)
2025-10-15 01:54:15 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-15 02:08:07 +0200redgloboli(~redglobol@user/redgloboli) (Ping timeout: 246 seconds)
2025-10-15 02:22:37 +0200redgloboli(~redglobol@user/redgloboli) redgloboli
2025-10-15 03:15:34 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-10-15 04:34:51 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-15 04:34:53 +0200td_(~td@i53870911.versanet.de) (Ping timeout: 256 seconds)
2025-10-15 04:36:37 +0200td_(~td@i53870918.versanet.de) td_
2025-10-15 04:42:46 +0200terrorjack(~terrorjac@2a01:4f8:c17:9d11::) (Quit: The Lounge - https://thelounge.chat)
2025-10-15 04:43:00 +0200redgloboli(~redglobol@user/redgloboli) (Ping timeout: 252 seconds)
2025-10-15 04:45:16 +0200terrorjack(~terrorjac@2a01:4f8:c17:9d11::) terrorjack
2025-10-15 04:58:46 +0200redgloboli(~redglobol@user/redgloboli) redgloboli
2025-10-15 07:47:32 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63
2025-10-15 08:05:21 +0200Enrico9(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63
2025-10-15 08:28:05 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net) Maeda
2025-10-15 08:34:03 +0200 <Maeda> Hi there! Today I'm not using XMonad.Hooks.ManageDocks at all (having quite a bunch of Hooks rules) but is it something 'must have' (maybe because coming depreciation or just because it correctly handles lot of cases out of the box)? Thanks.
2025-10-15 08:34:55 +0200Enrico9(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed)
2025-10-15 08:34:57 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed)
2025-10-15 08:40:12 +0200redgloboli(~redglobol@user/redgloboli) (Quit: ...enter the matrix...)
2025-10-15 08:41:50 +0200redgloboli(~redglobol@user/redgloboli) redgloboli
2025-10-15 08:42:11 +0200 <Maeda> Well I have 'docks' inside my xmonad config: `xmonad $ withUrgencyHook NoUrgencyHook . docks $ azertyConfig` but was not having `import XMonad.Hooks.ManageDocks` at the beginning, maybe I'm already using it...
2025-10-15 08:43:12 +0200Solid(~slot@xmonad/slotThe) slot
2025-10-15 08:44:27 +0200 <haskellbridge> <Solid (@slot-:matrix.org)> Maeda: "docks" adds "manageDocks" to your "manageHook", as well as other dock hooks -- that's basically what the combinator is for
2025-10-15 08:45:57 +0200ft(~ft@p4fc2a207.dip0.t-ipconnect.de) (Quit: leaving)
2025-10-15 09:37:09 +0200yecinem_(~yecinem@host-212-114-138-22.customer.m-online.net)
2025-10-15 11:31:14 +0200 <Maeda> To use docks, the `import XMonad.Hooks.ManageDocks` is not needed then?
2025-10-15 12:03:29 +0200 <Solid> Yes
2025-10-15 12:05:02 +0200Solid(~slot@xmonad/slotThe) (Quit: ERC 5.6.1-git (IRC client for GNU Emacs 31.0.50))
2025-10-15 13:29:52 +0200 <Maeda> Thanks :)
2025-10-15 13:30:55 +0200sajenim(~sajenim@user/sajenim) (Ping timeout: 265 seconds)
2025-10-15 15:25:53 +0200redgloboli_(~redglobol@user/redgloboli) redgloboli
2025-10-15 15:27:39 +0200joshproehl_(~quassel@user/joshproehl) joshproehl
2025-10-15 15:27:48 +0200Buliarous(~gypsydang@46.232.210.139) Buliarous
2025-10-15 15:31:25 +0200Lears(~Leary@user/Leary/x-0910699) Leary
2025-10-15 15:32:22 +0200redgloboli(~redglobol@user/redgloboli) (*.net *.split)
2025-10-15 15:32:22 +0200Leary(~Leary@user/Leary/x-0910699) (*.net *.split)
2025-10-15 15:32:22 +0200Natch(~natch@c-92-34-15-120.bbcust.telenor.se) (*.net *.split)
2025-10-15 15:32:22 +0200joshproehl(~quassel@user/joshproehl) (*.net *.split)
2025-10-15 15:32:22 +0200Buliarou1(~gypsydang@46.232.210.139) (*.net *.split)
2025-10-15 15:33:06 +0200Natch(~natch@c-92-34-15-120.bbcust.telenor.se)
2025-10-15 15:33:10 +0200LearsLeary
2025-10-15 15:33:11 +0200Natch(~natch@c-92-34-15-120.bbcust.telenor.se) (Max SendQ exceeded)
2025-10-15 15:36:48 +0200deebo_(~globe@stonebay32.com) (Ping timeout: 256 seconds)
2025-10-15 15:36:56 +0200deebo(~globe@stonebay32.com) treetip
2025-10-15 15:38:46 +0200Natch(~natch@c-92-34-15-120.bbcust.telenor.se) Natch
2025-10-15 15:50:42 +0200Natch(~natch@c-92-34-15-120.bbcust.telenor.se) (Remote host closed the connection)
2025-10-15 15:55:54 +0200Natch(~natch@c-92-34-15-120.bbcust.telenor.se)
2025-10-15 17:10:26 +0200OftenFaded(~OftenFade@user/tisktisk) OftenFaded
2025-10-15 17:33:37 +0200yecinem_(~yecinem@host-212-114-138-22.customer.m-online.net) (Ping timeout: 264 seconds)
2025-10-15 17:47:25 +0200Digit(~user@user/digit) (Ping timeout: 264 seconds)
2025-10-15 17:49:14 +0200Digit(~user@user/digit) Digit
2025-10-15 18:03:19 +0200Digitdigitteknohippie
2025-10-15 18:03:25 +0200digitteknohippieDigit
2025-10-15 18:36:06 +0200OftenFaded47(~OftenFade@user/tisktisk) OftenFaded
2025-10-15 19:29:46 +0200OftenFaded47(~OftenFade@user/tisktisk) (Quit: Client closed)
2025-10-15 21:23:03 +0200kaskal-(~kaskal@84-115-235-223.cable.dynamic.surfer.at)
2025-10-15 21:27:21 +0200geekosaur_(sid609282@xmonad/geekosaur) geekosaur
2025-10-15 21:28:58 +0200kaskal(~kaskal@2a02:8388:1a8b:7d00:7ab8:bbe9:1c71:85ea) (Ping timeout: 244 seconds)
2025-10-15 21:28:58 +0200geekosaur(sid609282@xmonad/geekosaur) (Ping timeout: 244 seconds)
2025-10-15 21:28:59 +0200geekosaur_geekosaur
2025-10-15 21:43:00 +0200ft(~ft@p4fc2a207.dip0.t-ipconnect.de) ft
2025-10-15 21:58:17 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving)
2025-10-15 22:05:40 +0200blaa(~bla@91.234.125.131)
2025-10-15 22:05:44 +0200bla(~bla@91.234.125.131) (Ping timeout: 260 seconds)
2025-10-15 22:22:50 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63
2025-10-15 23:37:52 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed)
2025-10-15 23:38:59 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63
2025-10-15 23:49:11 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed)