2022/01/22

2022-01-22 00:23:21 +0100sagax(~sagax_nb@user/sagax)
2022-01-22 00:26:04 +0100steve__(~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 250 seconds)
2022-01-22 01:15:01 +0100seschwar(~seschwar@user/seschwar) (Quit: :wq)
2022-01-22 01:30:02 +0100chomwitt(~chomwitt@2a02:587:dc03:8b00:12c3:7bff:fe6d:d374) (Ping timeout: 240 seconds)
2022-01-22 02:25:51 +0100dirtcastle(~dirtcastl@2409:4072:e9c:1b4c:54d9:15ff:fe0b:f7c6)
2022-01-22 02:32:17 +0100dirtcastle(~dirtcastl@2409:4072:e9c:1b4c:54d9:15ff:fe0b:f7c6) (Ping timeout: 240 seconds)
2022-01-22 03:40:54 +0100dirtcastle(~dirtcastl@2409:4072:e9c:1b4c:d08e:74ff:fefd:9900)
2022-01-22 04:03:20 +0100banc(banc@gateway/vpn/airvpn/banc) (Ping timeout: 256 seconds)
2022-01-22 04:31:17 +0100td_(~td@94.134.91.211) (Ping timeout: 240 seconds)
2022-01-22 04:33:25 +0100td_(~td@94.134.91.124)
2022-01-22 04:42:28 +0100ebray187(~ebray187@2800:150:129:17c4:224:1dff:fed5:599e)
2022-01-22 05:15:28 +0100syntactic_sugar(~amoljha@2601:644:8601:2e30::a5c9)
2022-01-22 05:58:41 +0100syntactic_sugar(~amoljha@2601:644:8601:2e30::a5c9) (Quit: WeeChat 3.3)
2022-01-22 07:50:57 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds)
2022-01-22 07:51:00 +0100chomwitt(~chomwitt@ppp-94-67-1-27.home.otenet.gr)
2022-01-22 07:58:54 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2022-01-22 08:09:17 +0100mvk(~mvk@2607:fea8:5cdd:f000::55f8) (Ping timeout: 240 seconds)
2022-01-22 08:11:05 +0100mvk(~mvk@173.33.176.132)
2022-01-22 08:18:23 +0100edun(~qbt@user/edun)
2022-01-22 08:42:11 +0100thunderrd(~thunderrd@183.182.114.164) (Remote host closed the connection)
2022-01-22 08:46:39 +0100thunderrd(~thunderrd@183.182.114.164)
2022-01-22 09:13:27 +0100thunderrd(~thunderrd@183.182.114.164) (Remote host closed the connection)
2022-01-22 09:17:51 +0100ebray187(~ebray187@2800:150:129:17c4:224:1dff:fed5:599e) (Quit: Konversation terminated!)
2022-01-22 09:33:45 +0100thunderrd(~thunderrd@183.182.114.164)
2022-01-22 10:10:17 +0100dirtcastle(~dirtcastl@2409:4072:e9c:1b4c:d08e:74ff:fefd:9900) (Ping timeout: 240 seconds)
2022-01-22 10:11:16 +0100dirtcastle(~dirtcastl@103.43.203.225)
2022-01-22 10:17:44 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2022-01-22 10:17:44 +0100allbery_b(~geekosaur@xmonad/geekosaur)
2022-01-22 10:17:47 +0100allbery_bgeekosaur
2022-01-22 10:32:53 +0100banc(banc@gateway/vpn/airvpn/banc)
2022-01-22 10:50:56 +0100thunderrd(~thunderrd@183.182.114.164) (Remote host closed the connection)
2022-01-22 10:52:03 +0100thunderrd(~thunderrd@183.182.114.164)
2022-01-22 10:54:53 +0100thunderrd(~thunderrd@183.182.114.164) (Remote host closed the connection)
2022-01-22 11:10:19 +0100banc-(banc@gateway/vpn/airvpn/banc)
2022-01-22 11:11:57 +0100banc(banc@gateway/vpn/airvpn/banc) (Ping timeout: 240 seconds)
2022-01-22 11:14:31 +0100banc(banc@gateway/vpn/airvpn/banc)
2022-01-22 11:17:02 +0100banc-(banc@gateway/vpn/airvpn/banc) (Ping timeout: 240 seconds)
2022-01-22 11:18:06 +0100steve__(~steve@ool-182c2b80.dyn.optonline.net)
2022-01-22 11:23:19 +0100thunderrd(~thunderrd@183.182.114.164)
2022-01-22 11:35:13 +0100seschwar(~seschwar@user/seschwar)
2022-01-22 11:47:42 +0100thunderrd(~thunderrd@183.182.114.164) (Remote host closed the connection)
2022-01-22 11:48:41 +0100thunderrd(~thunderrd@183.182.114.164)
2022-01-22 12:12:14 +0100eviloppantsu
2022-01-22 12:15:35 +0100thunderrd(~thunderrd@183.182.114.164) (Remote host closed the connection)
2022-01-22 12:18:09 +0100thunderrd(~thunderrd@183.182.114.164)
2022-01-22 13:36:54 +0100Profpatsch(~Profpatsc@static.88-198-193-255.clients.your-server.de)
2022-01-22 13:37:09 +0100 <Profpatsch> Hi I’m trying to add a simple extension to my xmonad
2022-01-22 13:37:33 +0100 <Profpatsch> I want to have a layer of (optional) tabs under each workspace, then inside it should use the normal nesting layout
2022-01-22 13:37:56 +0100 <Profpatsch> But I can’t decipher the sublayout documentation, or maybe I need something completely different
2022-01-22 13:38:09 +0100 <Profpatsch> So basically Workspace -> Tabbed -> Tall
2022-01-22 13:40:28 +0100 <geekosaur> why do you need a sublayout?
2022-01-22 13:40:34 +0100 <Profpatsch> geekosaur: maybe I don’t
2022-01-22 13:41:00 +0100 <geekosaur> it sounds like addTabsBottom to me
2022-01-22 13:41:05 +0100 <Profpatsch> I’d say what I want is Mod + Tab to switch between tabs
2022-01-22 13:41:20 +0100 <Profpatsch> And then a special keybidning to open a new tab instead of a new tiled window
2022-01-22 13:41:40 +0100 <Profpatsch> So like Mod+Enter -> new tiled Mod+Shift+Enter -> new tab
2022-01-22 13:41:46 +0100 <geekosaur> hm, sublayouts don't get you that, but neither does anything else
2022-01-22 13:42:05 +0100 <Profpatsch> I can’t nest a normal Tall inside a Tabbed?
2022-01-22 13:42:29 +0100 <Profpatsch> Sublayouts have this push/pull stuff which I haven’t understood yet
2022-01-22 13:42:33 +0100 <Profpatsch> it’s not very well documented
2022-01-22 13:42:48 +0100 <geekosaur> you can, but you cannot distinguish between something in a Tabbed (or a sublayout) and something outside of it
2022-01-22 13:42:51 +0100 <Profpatsch> Maybe I want something like one group per tab stack
2022-01-22 13:44:20 +0100 <geekosaur> it sounds like you may have a confused idea of how layouts work
2022-01-22 13:44:48 +0100 <Profpatsch> yes
2022-01-22 13:45:07 +0100 <Profpatsch> I was hoping xmonad layouts just nest
2022-01-22 13:45:10 +0100 <Profpatsch> but it doesn’t look that way
2022-01-22 13:45:11 +0100 <geekosaur> you do not assign a window to a layout and switch layouts; that's workspaces
2022-01-22 13:45:25 +0100 <geekosaur> layouts are alternative ways to arrange a workspace
2022-01-22 13:45:41 +0100 <Profpatsch> So a workspace’s windows will always be a flat thing?
2022-01-22 13:45:59 +0100 <Profpatsch> No way to group them and then nest them somehow?
2022-01-22 13:46:13 +0100 <geekosaur> there are ways to split a workspace into multiple "virtual workspaces" each with its own layout, but addressing each such is more painful because it's not a real workspace
2022-01-22 13:47:02 +0100 <Profpatsch> hm hm
2022-01-22 13:47:58 +0100 <Profpatsch> But I certainly got to a point where I had a tab for each tiled window
2022-01-22 13:48:18 +0100 <geekosaur> like, I can use Combo to use a layout to split the screen into two independent layouts. I can even move windows between those layouts. but I can;t control which one a new window will end up in; it depends on which one has focus
2022-01-22 13:48:52 +0100 <Profpatsch> But that’s fine
2022-01-22 13:49:06 +0100 <Profpatsch> I don’t want to be able to open stuff in random tabs, just the current tab
2022-01-22 13:49:33 +0100 <Profpatsch> It’s okay if Mod+Shift+Enter opens a new tab and then the window in that
2022-01-22 13:49:34 +0100 <geekosaur> tabs are fairly easy, if you want to add tabs to a normal layout instead of having them all full screen, wrap your layout in addTabsBottom with the right parameters to tell it how to build the tabs
2022-01-22 13:50:24 +0100 <geekosaur> addTabsBottom myTabTheme shrinkText (layoutHook def) -- or similar
2022-01-22 13:50:27 +0100 <liskin> I think the issue is that we can't really draw tabs for anything else than windows
2022-01-22 13:51:24 +0100 <liskin> You can certainly nest tabs with another layout, both as tabs inside the layout and outside the layout, but there's nothing that would actually render the tabs if they're outside.
2022-01-22 13:51:27 +0100 <Profpatsch> Okay, dumb alternative idea: Can I have 2-dimensional workspaces instead?
2022-01-22 13:51:48 +0100 <liskin> I think there was a contrib module for that somewhere
2022-01-22 13:52:05 +0100 <geekosaur> X.L.Plane
2022-01-22 13:52:06 +0100 <Profpatsch> The X to my Y here is that I have an “editor” workspace on 8
2022-01-22 13:52:16 +0100 <Profpatsch> And at any given time I have like 3 editors open
2022-01-22 13:52:32 +0100 <Profpatsch> And every editor has potentially a bunch of split windows, like emacs frames
2022-01-22 13:52:40 +0100 <Profpatsch> So I want tiling on those editor workspaces
2022-01-22 13:53:01 +0100 <geekosaur> note that xmonad can get fairly slow with that module inlay, because the StackSet isn't exactly an optimizaed data structure :)
2022-01-22 13:53:04 +0100 <Profpatsch> Plane might be what I want actually!
2022-01-22 13:53:20 +0100 <Profpatsch> I mean I’m not gonna open 20k windows
2022-01-22 13:53:22 +0100chomwitt(~chomwitt@ppp-94-67-1-27.home.otenet.gr) (Ping timeout: 250 seconds)
2022-01-22 13:53:40 +0100 <Profpatsch> I’m also open to switching to a different wm
2022-01-22 13:53:57 +0100 <Profpatsch> esp since wayland is kinda on the horizon, any moment now
2022-01-22 13:54:19 +0100 <Profpatsch> like, I’m not married to my 100 lines of xmonad conf :)
2022-01-22 13:54:31 +0100 <geekosaur> I think they have more problems than they want to admit, and "any moment now" is a bit of a dream
2022-01-22 13:54:41 +0100 <Profpatsch> yeah, something like 5–10 years
2022-01-22 13:55:04 +0100 <Profpatsch> like how IPv6 is 20 years away if it ever happens
2022-01-22 13:55:56 +0100 <geekosaur> ip6 is happening, just not for most home users because ISPs don't want to upgrade their equipment. but if you keep your eyes open there are plenty of ip6 connects to libera, for example
2022-01-22 13:56:40 +0100 <geekosaur> (and then I'm not only on ip4 but also stuck behind something like 3 layers of nat :)
2022-01-22 13:58:07 +0100noex(~null@user/noex) (Quit: :q!)
2022-01-22 14:00:21 +0100noex(~null@user/noex)
2022-01-22 14:00:36 +0100mc47(~mc47@xmonad/TheMC47)
2022-01-22 14:20:28 +0100dirtcastle(~dirtcastl@103.43.203.225) (Remote host closed the connection)
2022-01-22 14:35:48 +0100 <fizzie> https://www.google.com/intl/en/ipv6/statistics.html says 35% or so as the global average. Also based on the fact that weekends are consistently about 5% higher than weekdays, "home" networks are probably more IPv6 than "work" ones.
2022-01-22 14:36:00 +0100chomwitt(~chomwitt@2a02:587:dc03:8b00:12c3:7bff:fe6d:d374)
2022-01-22 14:37:15 +0100 <geekosaur> interesting
2022-01-22 14:38:01 +0100 <fizzie> Well, in retrospect, maybe that's more a statement that _mobile_ networks are more IPv6 than your workplace wifi.
2022-01-22 14:38:12 +0100 <fizzie> (I know a few big mobile operators at least went v6.)
2022-01-22 14:39:01 +0100 <geekosaur> yeh, I know mine did
2022-01-22 15:05:17 +0100noex(~null@user/noex) (Ping timeout: 240 seconds)
2022-01-22 15:07:42 +0100noex(~null@user/noex)
2022-01-22 15:41:23 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2022-01-22 15:43:10 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2022-01-22 16:23:21 +0100banc-(banc@gateway/vpn/airvpn/banc)
2022-01-22 16:24:57 +0100banc(banc@gateway/vpn/airvpn/banc) (Ping timeout: 240 seconds)
2022-01-22 17:11:52 +0100benin(~benin@183.82.31.24)
2022-01-22 17:48:18 +0100Forkk(~forkk@li926-228.members.linode.com) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2022-01-22 18:10:48 +0100Forkk(~forkk@li926-228.members.linode.com)
2022-01-22 18:14:29 +0100noex(~null@user/noex) (Remote host closed the connection)
2022-01-22 18:14:59 +0100noex(~null@user/noex)
2022-01-22 18:19:52 +0100banc-(banc@gateway/vpn/airvpn/banc) (Ping timeout: 250 seconds)
2022-01-22 18:40:28 +0100catman(~catman@user/catman) (Read error: Connection reset by peer)
2022-01-22 18:51:41 +0100mc47(~mc47@xmonad/TheMC47) (Ping timeout: 256 seconds)
2022-01-22 18:53:08 +0100mc47(~mc47@xmonad/TheMC47)
2022-01-22 19:40:25 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-01-22 19:41:57 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-01-22 19:50:19 +0100catman(~catman@user/catman)
2022-01-22 19:54:59 +0100catman(~catman@user/catman) (Read error: Connection reset by peer)
2022-01-22 20:02:01 +0100catman(~catman@user/catman)
2022-01-22 20:09:19 +0100benin(~benin@183.82.31.24) (Quit: Ping timeout (120 seconds))
2022-01-22 20:09:37 +0100benin(~benin@183.82.31.24)
2022-01-22 20:21:59 +0100edun(~qbt@user/edun) (Ping timeout: 256 seconds)
2022-01-22 20:22:52 +0100catman(~catman@user/catman) (Quit: WeeChat 3.4-rc1)
2022-01-22 20:28:20 +0100catman(~catman@user/catman)
2022-01-22 20:46:52 +0100sogens(~sogens@pa49-182-138-25.pa.qld.optusnet.com.au)
2022-01-22 20:51:17 +0100sogens(~sogens@pa49-182-138-25.pa.qld.optusnet.com.au) (Ping timeout: 240 seconds)
2022-01-22 20:53:12 +0100sogens(~sogens@191.101.174.78)
2022-01-22 20:54:17 +0100catman(~catman@user/catman) (Quit: WeeChat 3.4-rc1)
2022-01-22 20:54:42 +0100catman(~catman@user/catman)
2022-01-22 21:24:20 +0100catman(~catman@user/catman) (Quit: WeeChat 3.4-rc1)
2022-01-22 21:25:37 +0100sogens(~sogens@191.101.174.78) (Ping timeout: 240 seconds)
2022-01-22 21:28:01 +0100sogens(~sogens@pa49-182-138-25.pa.qld.optusnet.com.au)
2022-01-22 21:28:34 +0100catman(~catman@user/catman)
2022-01-22 22:31:21 +0100banc(banc@gateway/vpn/airvpn/banc)
2022-01-22 22:48:00 +0100benin(~benin@183.82.31.24) (Quit: The Lounge - https://thelounge.chat)
2022-01-22 22:49:16 +0100themc47(~mc47@xmonad/TheMC47)
2022-01-22 22:51:32 +0100mc47(~mc47@xmonad/TheMC47) (Ping timeout: 240 seconds)
2022-01-22 23:45:54 +0100themc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-01-22 23:58:55 +0100chomwitt(~chomwitt@2a02:587:dc03:8b00:12c3:7bff:fe6d:d374) (Ping timeout: 268 seconds)