Logs: liberachat/#xmonad
| 2021-11-19 20:27:26 | <geekosaur> | in some sense it's the "right" place for it, but having that do something more involved than the other manageHook operations just seems wrong somehow |
| 2021-11-19 20:27:57 | <jakeStateless-Fa> | Doesn't a window tagging system already exist? |
| 2021-11-19 20:28:16 | <geekosaur> | as is doing "destructive" operations there, I'm not sure those even have an X context to operate on since the StackSet is at least conceptually pure |
| 2021-11-19 20:28:49 | <geekosaur> | it's an Endo WindowSet, the X context lives in the Query |
| 2021-11-19 20:29:10 | <geekosaur> | hm, there's a notion of tags but it's not related |
| 2021-11-19 20:30:09 | <geekosaur> | https://hackage.haskell.org/package/xmonad-contrib-0.17.0/docs/XMonad-Actions-TagWindows.html |
| 2021-11-19 20:30:34 | <geekosaur> | which uses _XMONAD_TAG but then you wouldn't be able to use that module for anything else |
| 2021-11-19 20:31:12 | <jakeStateless-Fa> | What of https://hackage.haskell.org/package/xmonad-contrib-0.17.0/docs/XMonad-Hooks-ManageHelpers.html#v:windowTag ? |
| 2021-11-19 20:31:29 | <jakeStateless-Fa> | Or, do you not have the right context for that? |
| 2021-11-19 20:32:08 | <jakeStateless-Fa> | s/you/it/g |
| 2021-11-19 20:32:39 | <geekosaur> | you'll need to grab and search the entire StackSet |
| 2021-11-19 20:33:26 | <geekosaur> | withWindowSet workspaceTag -- looks short but may do a lot of work, which you're then repeating for every window in the StackSet (which is to say, this is O(n^2)) |
| 2021-11-19 20:33:35 | <jakeStateless-Fa> | That's inoptimal, but... It's something... |
| 2021-11-19 20:33:50 | <geekosaur> | I'm trying very hard to avoid that square |
| 2021-11-19 20:34:02 | <jakeStateless-Fa> | s/inoptimal/suboptimal/g |
| 2021-11-19 20:34:26 | <jakeStateless-Fa> | Yeah, that's an integral square that could quickly get out of hand. |
| 2021-11-19 20:34:37 | <geekosaur> | sadly the StackSet is available in two different places in this whole sequence, neither of which we can piggyback on :( |
| 2021-11-19 20:35:54 | <geekosaur> | ideally sameBy would be modified to produce the tag at the same time as the window, but it's exported so that would be a breaking change |
| 2021-11-19 20:38:08 | <jakeStateless-Fa> | It could be modified, again, lets focus on getting it to work, and if renaming of things is needed to prevent breaking, then so be it. |
| 2021-11-19 20:52:18 | × | qbt quits (~qbt@user/edun) (Quit: Leaving.) |
| 2021-11-19 21:24:22 | × | SenranKaguya quits (~weechat@c-73-15-19-170.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2021-11-19 21:27:48 | → | noex joins (~noex@2600:8804:1280:aa0:5857:94a:25de:c513) |
| 2021-11-19 21:29:02 | → | SenranKaguya joins (~weechat@c-73-15-19-170.hsd1.ca.comcast.net) |
| 2021-11-19 21:30:27 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-11-19 21:34:02 | → | obimod joins (~obimod@gateway/vpn/pia/obimod) |
| 2021-11-19 21:39:32 | × | catman quits (~catman@user/catman) (Ping timeout: 240 seconds) |
| 2021-11-19 21:43:31 | → | catman joins (~catman@user/catman) |
| 2021-11-19 21:54:13 | → | ex joins (~exordiri@user/exordiri) |
| 2021-11-19 22:14:10 | → | catman_ joins (~catman@user/catman) |
| 2021-11-19 22:14:14 | × | catman quits (~catman@user/catman) (Ping timeout: 260 seconds) |
| 2021-11-19 22:14:27 | catman_ | is now known as catman |
| 2021-11-19 22:20:02 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-11-19 22:29:23 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-11-19 22:29:23 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-11-19 22:29:26 | allbery_b | is now known as geekosaur |
| 2021-11-19 22:38:07 | <FOSSHuman[m]> | xmonad + kmonad is a holy combination |
| 2021-11-19 22:38:09 | <FOSSHuman[m]> | lol |
| 2021-11-19 22:38:47 | × | catman quits (~catman@user/catman) (Ping timeout: 264 seconds) |
| 2021-11-19 22:39:40 | <FOSSHuman[m]> | But seriously, I tried out KMonad and I didn't even know you could do this on Linux, maybe bcs I'm still pretty new to Linux in general and I didn't know key remapping was possible but.. wow |
| 2021-11-19 22:46:33 | → | catman joins (~catman@user/catman) |
| 2021-11-19 23:11:06 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-11-19 23:22:55 | × | twiclo quits (~twiclo@2604:7b80:2000:1069:52fc:cedd:fbeb:10c) (Quit: WeeChat 3.2) |
| 2021-11-19 23:36:59 | × | catman quits (~catman@user/catman) (Ping timeout: 256 seconds) |
| 2021-11-19 23:39:56 | → | catman joins (~catman@user/catman) |
| 2021-11-19 23:42:12 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-11-19 23:43:52 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-11-20 00:18:46 | <Arcanus[m]> | what other monads are their altogether? |
| 2021-11-20 00:23:44 | <jakeStateless-Fa> | There's waymonad - which is a project similar to xmonad, and is attempting wayland. |
| 2021-11-20 00:23:52 | <jakeStateless-Fa> | But it's not quite there... |
| 2021-11-20 00:24:36 | <jakeStateless-Fa> | Really, the idea atm is to replace the X11 stuff with sudbury, and try to integrate everything with that. |
| 2021-11-20 00:24:52 | <jakeStateless-Fa> | Ideally, without many breaking changes. |
| 2021-11-20 00:25:10 | <jakeStateless-Fa> | (for XMonad on Wayland - WMonad? Or keep the XMonad name? -- not sure) |
| 2021-11-20 00:26:23 | <jakeStateless-Fa> | Arcanus: since you're on matrix: I've invited you to a space |
| 2021-11-20 00:26:27 | <geekosaur> | there was at one point osxmonad, but apple changes kept breaking it |
| 2021-11-20 00:26:55 | × | seschwar quits (~seschwar@user/seschwar) (Quit: :wq) |
| 2021-11-20 00:27:08 | <jakeStateless-Fa> | Actually, space invitations are weird... You need to click the link: https://matrix.to/#/#haskell-space:matrix.org |
| 2021-11-20 00:27:20 | <jakeStateless-Fa> | geekosaur: Yeah, that sounds painful |
| 2021-11-20 00:27:53 | <geekosaur> | and xmoniz but compiz changes kept breaking it |
| 2021-11-20 00:27:54 | <jakeStateless-Fa> | Almost as painful as windowsMonad would be (loseThoseMonads more like) |
| 2021-11-20 00:28:54 | Catboy[m] | is now known as Pyerine[m] |
| 2021-11-20 00:31:11 | <jakeStateless-Fa> | Arcanus: There's a subspace called `haskell projects` in there, with haskell projects. You're likely to find the `-Monads` in there. |
| 2021-11-20 00:37:50 | <Arcanus[m]> | ah crap, it looks like Xmonad.hooks.statusbar is what I need in order to set up my polybar correctly, but I cant use it until xmonad updates for arch...it's not in contrib 16 |
| 2021-11-20 00:44:10 | <Ocelot> | Hey guys, I'm having a particularly good day, so I just added the language extension recursive do to my xmonad config, and changed "main = do" to "main = mdo"—just to see what would happen. |
| 2021-11-20 00:45:24 | <Ocelot> | And at least as far as I can tell so far, nothing has changed, actually. |
| 2021-11-20 00:45:34 | <geekosaur> | it probably won't |
| 2021-11-20 00:45:56 | <Ocelot> | So what is it actually for? |
| 2021-11-20 00:45:59 | <Ocelot> | Lol! |
| 2021-11-20 00:47:34 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/recursive_do.html |
| 2021-11-20 00:47:45 | <geekosaur> | it has its uses but there aren't that many |
| 2021-11-20 00:53:20 | <Ocelot> | So, is there anything that could be done in xmonad (particularly, which would make some kind of functional difference, as opposed to just sitting there for no real reason), using recursive do, which would be either impossible—or at least more difficult in some way—under the standard do? |
| 2021-11-20 00:53:43 | <geekosaur> | not really |
| 2021-11-20 00:53:56 | <Ocelot> | Huh. |
| 2021-11-20 00:54:05 | <geekosaur> | I've been using haskell for a little longer than mdo has existed and have never found a use for it, in or out of xmonad |
| 2021-11-20 00:54:28 | <Ocelot> | Fair enough. |
| 2021-11-20 00:54:29 | <geekosaur> | the fact that they could only come up with contrived examples for it is kinda telling |
| 2021-11-20 00:54:39 | <Ocelot> | Lol! |
| 2021-11-20 00:56:22 | <Ocelot> | That (contrived examples) confused me when I read the documentation for that, actually. What exactly does "contrived" mean in that context? |
| 2021-11-20 00:57:16 | <geekosaur> | made up because they couldn't think of a real example |
| 2021-11-20 00:57:22 | <Ocelot> | Oh. |
| 2021-11-20 00:57:47 | <Ocelot> | Wow. |
| 2021-11-20 00:59:52 | <Ocelot> | So it was invented as a proof of concept at some point, and then officially added to the language because there was no particular reason not to add it, I would imagine. Correct? |
| 2021-11-20 01:09:30 | <jakeStateless-Fa> | <Arcanus[m]> "ah crap, it looks like Xmonad...." <- I recommend a basic nix install, or building xmonad yourself, after installing ghc via `ghcup`. |
| 2021-11-20 01:09:49 | <jakeStateless-Fa> | Arch Linux is known to be problematic with haskell. |
| 2021-11-20 01:10:07 | <jakeStateless-Fa> | It's just a time-bomb, really. |
| 2021-11-20 01:10:55 | <jakeStateless-Fa> | If you want help with the nix install, I could give you a barebones install method. No tweaking on your end required. |
| 2021-11-20 01:11:25 | <jakeStateless-Fa> | xmobar, however, will still need to be from the arch repos - when used under nix, off of nixOS - it has a problem with the alsa modules. |
| 2021-11-20 01:13:49 | <Vermoot> | Are there any changelogs for minor versions? (0.17.0.9 vs 0.17.0) |
| 2021-11-20 01:14:32 | <jakeStateless-Fa> | Commit messages, I think. |
| 2021-11-20 01:15:38 | → | catman_ joins (~catman@user/catman) |
| 2021-11-20 01:16:03 | catman | is now known as Guest3650 |
| 2021-11-20 01:16:03 | × | Guest3650 quits (~catman@user/catman) (Killed (calcium.libera.chat (Nickname regained by services))) |
| 2021-11-20 01:16:03 | catman_ | is now known as catman |
| 2021-11-20 01:16:35 | <geekosaur> | there should be changelogs for git/devel versions in https://github.com/xmonad/xmonad-contrib/blob/master/CHANGES.md |
| 2021-11-20 01:16:48 | <geekosaur> | version labeled as "unknown" |
| 2021-11-20 01:17:10 | <geekosaur> | (at least I think 0.17.0.9 is a devel version…) |
| 2021-11-20 01:21:45 | <Vermoot> | Ah, nice |
| 2021-11-20 01:21:47 | <Vermoot> | Thanks |
| 2021-11-20 01:37:10 | × | catman quits (~catman@user/catman) (Ping timeout: 268 seconds) |
| 2021-11-20 02:06:55 | → | catman joins (~catman@user/catman) |
| 2021-11-20 02:19:05 | → | redgloboli_ joins (~redglobol@user/redgloboli) |
All times are in UTC.