Logs: liberachat/#xmonad
| 2022-04-15 08:45:39 | <abastro[m]> | I dislike how it is biased towards monoid |
| 2022-04-15 08:46:09 | <abastro[m]> | I guess I have to accept this kind of bias? |
| 2022-04-15 08:46:17 | <Solid> | And by some theorem of I think Lambek (not too sure about the origin) simply typed lambda theories correspond exactly to closed Cartesian categories |
| 2022-04-15 08:46:23 | <Solid> | pretty much yes |
| 2022-04-15 08:46:41 | <abastro[m]> | How about pattern (destructor) vs. copattern (constructor) |
| 2022-04-15 08:47:01 | <abastro[m]> | It seems like asymmetry extends out to that as well |
| 2022-04-15 08:47:02 | <Solid> | Actually, with linear Haskell landing now we can probably talk about non-trivial comonoids again |
| 2022-04-15 08:47:30 | <Solid> | AFAIK linear type theories replace the Cartesian-ness with symmetric monoidal-ness |
| 2022-04-15 08:47:43 | <Solid> | but I don't know anyting about linear type theories |
| 2022-04-15 08:48:20 | <abastro[m]> | Hmmm |
| 2022-04-15 08:48:26 | <abastro[m]> | Interesting stuffs |
| 2022-04-15 08:48:56 | <abastro[m]> | How about Copattern? |
| 2022-04-15 09:08:54 | <Solid> | don't know anything about that either :D |
| 2022-04-15 09:18:31 | <abastro[m]> | Okay, sorry for bothering you. I thought you would know everything related with co- duals |
| 2022-04-15 09:33:24 | <liskin> | maybefbi: let me know if you find anything; last time I checked, there was no way to tell HLS about the xmonad.hs ghc env |
| 2022-04-15 09:34:29 | <liskin> | Solid: I'm afk due to travels these days but I'll take a look at the GHA errors later |
| 2022-04-15 09:34:35 | <liskin> | geekosaur: ^ |
| 2022-04-15 09:34:42 | <Solid> | awesome, thank you! |
| 2022-04-15 09:34:56 | <maybefbi> | liskin, ok |
| 2022-04-15 09:59:51 | → | butterfly[m] joins (~butterfly@2001:470:69fc:105::1:70db) |
| 2022-04-15 10:54:38 | × | Czernobog quits (~Czernobog@user/czernobog) (Read error: Connection reset by peer) |
| 2022-04-15 10:55:46 | → | Czernobog joins (~Czernobog@user/czernobog) |
| 2022-04-15 12:03:19 | <geekosaur> | abastro[m], that kind of question is the sort of thing #haskell gets into long diversions over (and was the original reason for #haskell-in-depth but nobody uses it for that any more) |
| 2022-04-15 12:04:34 | <abastro[m]> | Sorry, which kind of question you mean? |
| 2022-04-15 12:05:01 | <geekosaur> | MarkLumbao[m], that looks like an applications desktop entry. I needed both that and the sessions entry for things to work |
| 2022-04-15 12:06:53 | <geekosaur> | unfortunately I don't have the session desktop entry any more since I run xmonad under mate, but it was a relatively simple edit job on the existing sessions |
| 2022-04-15 12:07:39 | <geekosaur> | the preferred way to do this is not to use an application entry at all, but define a "X default session" entry which runs ~/.xsession and you run xmonad there |
| 2022-04-15 12:13:45 | <geekosaur> | oh, I see they rewired things since I last did this and that is in fact a valid session. did you restart the session manager? most of them only read sessions on start |
| 2022-04-15 12:14:25 | <geekosaur> | still, the easiest way to do this is install xinit-xsession (if you have easy access to AUR from Garuda) and use .xinitrc |
| 2022-04-15 12:31:45 | × | Czernobog quits (~Czernobog@user/czernobog) (Read error: Connection reset by peer) |
| 2022-04-15 12:32:39 | → | Czernobog joins (~Czernobog@user/czernobog) |
| 2022-04-15 13:01:03 | <MarkLumbao[m]> | geekosaur: I'll try installing xinit-xsession and see what I can do with it thanks :) |
| 2022-04-15 13:01:51 | <geekosaur> | yes.in any case I thinkthe Exec=xmonad in your xsession entry needs a matching xmonad.desktop in /usr/share/applications to work; it's not simply a program entry |
| 2022-04-15 13:02:03 | <geekosaur> | at least, that's what I recall from back when I did it |
| 2022-04-15 13:03:14 | <geekosaur> | but then you'll run into that your PATH is wrong, because the whole setupdoesn't read your .profile or .bash_profile or whatever, which is another reason to use the xinit-xsession route |
| 2022-04-15 13:03:26 | <geekosaur> | it still won't by default but it's easier to fix |
| 2022-04-15 13:04:09 | <MarkLumbao[m]> | I did add that earlier as well since that's what I've read on lightdm docs in Arch wiki but it didn't work as well. |
| 2022-04-15 13:08:12 | → | chomwitt joins (~chomwitt@2a02:587:dc0f:ad00:3949:ab21:9834:ebc) |
| 2022-04-15 13:22:56 | × | benin quits (~benin@183.82.204.110) (Quit: The Lounge - https://thelounge.chat) |
| 2022-04-15 13:28:23 | → | Polo joins (~^@user/polo) |
| 2022-04-15 13:30:48 | × | Polo quits (~^@user/polo) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-04-15 13:31:11 | → | Polo joins (~GiverOfDo@56.15.195.173.client.static.strong-in52.as13926.net) |
| 2022-04-15 13:31:14 | × | Polo quits (~GiverOfDo@56.15.195.173.client.static.strong-in52.as13926.net) (Changing host) |
| 2022-04-15 13:31:14 | → | Polo joins (~GiverOfDo@user/polo) |
| 2022-04-15 13:37:36 | → | LordOfLand joins (~GiverOfDo@user/polo) |
| 2022-04-15 13:38:51 | → | Polo_ joins (~GiverOfDo@2607:fb91:bd04:dc9:29ae:af45:5ce9:81d1) |
| 2022-04-15 13:38:52 | × | Polo_ quits (~GiverOfDo@2607:fb91:bd04:dc9:29ae:af45:5ce9:81d1) (Changing host) |
| 2022-04-15 13:38:52 | → | Polo_ joins (~GiverOfDo@user/polo) |
| 2022-04-15 13:41:17 | × | Polo quits (~GiverOfDo@user/polo) (Ping timeout: 256 seconds) |
| 2022-04-15 13:41:45 | → | Polo joins (~GiverOfDo@user/polo) |
| 2022-04-15 13:42:06 | × | LordOfLand quits (~GiverOfDo@user/polo) (Ping timeout: 250 seconds) |
| 2022-04-15 13:45:08 | × | Polo_ quits (~GiverOfDo@user/polo) (Ping timeout: 250 seconds) |
| 2022-04-15 13:47:35 | → | LordOfLand joins (~GiverOfDo@user/polo) |
| 2022-04-15 13:51:29 | × | Polo quits (~GiverOfDo@user/polo) (Ping timeout: 256 seconds) |
| 2022-04-15 13:53:48 | × | LordOfLand quits (~GiverOfDo@user/polo) (Ping timeout: 250 seconds) |
| 2022-04-15 13:54:56 | × | Czernobog quits (~Czernobog@user/czernobog) (Read error: Connection reset by peer) |
| 2022-04-15 13:55:55 | → | Czernobog joins (~Czernobog@user/czernobog) |
| 2022-04-15 14:02:14 | → | Polo joins (~GiverOfDo@user/polo) |
| 2022-04-15 14:25:32 | × | Polo quits (~GiverOfDo@user/polo) (Quit: one) |
| 2022-04-15 14:30:21 | <abastro[m]> | geekosaur: How do I use xephyr? |
| 2022-04-15 14:31:37 | <geekosaur> | xephyr is a nested X server. you do something like: xinit /usr/bin/xephyr :1 -- /path/to/xmonad (full paths are important here) |
| 2022-04-15 14:32:01 | <geekosaur> | then you get a window which is basically an independent X session, without having to give up your regular X session or risk losing it |
| 2022-04-15 14:32:38 | <geekosaur> | as I said in #haskell, you generally want to change $HOME first so programs like firefoxs don't get upset about their configs being in use in multiple places |
| 2022-04-15 14:32:43 | <abastro[m]> | And.. Where do I run the `xinit` command? |
| 2022-04-15 14:33:34 | <geekosaur> | hm |
| 2022-04-15 14:34:07 | <geekosaur> | I would open a new terminal window, make a directory to serve as the $HOME for the xephyr session, then set HOME to that |
| 2022-04-15 14:34:18 | <geekosaur> | then run the xinit command in that window |
| 2022-04-15 14:37:47 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-15 14:39:27 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2022-04-15 14:40:05 | <abastro[m]> | Well, it doesn't start |
| 2022-04-15 14:40:18 | <abastro[m]> | Do I have to drop to login shell for this? |
| 2022-04-15 14:41:15 | <abastro[m]> | xmonad-x86_64-linux: user error (unrecognized flags:[":0"]) |
| 2022-04-15 14:41:15 | <abastro[m]> | Invalid MIT-MAGIC-COOKIE-1 keyxinit: giving up |
| 2022-04-15 14:47:49 | <geekosaur> | that doesn't sound quite right |
| 2022-04-15 14:49:29 | <abastro[m]> | Was it wrong that I did not drop to the login shell? |
| 2022-04-15 14:51:24 | <geekosaur> | no, I just tried it locally and got the same error; I guess they changed how xinit works and you need a proper .xinitrc |
| 2022-04-15 14:51:51 | <abastro[m]> | Oh no :( |
| 2022-04-15 14:52:17 | <geekosaur> | no, I just got things backwards, the server comes after the -- |
| 2022-04-15 14:52:20 | <geekosaur> | hold on |
| 2022-04-15 14:52:40 | <abastro[m]> | Hmm |
| 2022-04-15 14:53:18 | <geekosaur> | okay, that works. except I need to arrange for it to find the xmonad libs :) |
| 2022-04-15 14:53:40 | <geekosaur> | although actually you get a default config just by not having an xmonad.hs, so that may actually work better for testing |
| 2022-04-15 14:54:15 | <geekosaur> | xinit =xmonad -- =Xephyr :1 (except I think = is a zsh extension, so you need to use full paths still) |
| 2022-04-15 14:54:42 | <abastro[m]> | Fatal server error: |
| 2022-04-15 14:54:42 | <abastro[m]> | (EE) Cannot establish any listening sockets - Make sure an X server isn't already running(EE) |
| 2022-04-15 14:54:58 | <geekosaur> | did you use full paths? |
| 2022-04-15 14:55:05 | <abastro[m]> | Yes. |
| 2022-04-15 14:55:06 | <geekosaur> | otherwise it'll try to use :0 |
| 2022-04-15 14:55:33 | <abastro[m]> | Still says that server is already running |
| 2022-04-15 14:56:12 | <abastro[m]> | xephyr is at /usr/bin/Xephyr right? That program exists |
| 2022-04-15 14:56:17 | <abastro[m]> | And xmonad is my custom xmonad |
| 2022-04-15 14:56:33 | <abastro[m]> | Let me test just `xmonad` in cabal bin |
| 2022-04-15 14:57:05 | <geekosaur> | xinit /home/allbery/.cabal/bin/xmonad -- /usr/bin/Xephyr :1 |
| 2022-04-15 14:57:15 | <geekosaur> | remember that you changed $HOME so ~ won't work |
| 2022-04-15 14:57:18 | <abastro[m]> | Did `xinit /home/abastro/.cabal/bin/xmonad -- /usr/bin/Xephyr :1` |
| 2022-04-15 14:57:29 | <abastro[m]> | _XSERVTransSocketUNIXCreateListener: ...SocketCreateListener() failed... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/9499e2d4fbc20d3ac3b2e0ebf44755b989f47728) |
| 2022-04-15 14:58:23 | <geekosaur> | odd. I wonder if you already have a :1 |
| 2022-04-15 14:58:42 | <abastro[m]> | Oh I guess so |
| 2022-04-15 14:58:44 | <geekosaur> | or if your system has things locked up so tight that it can't create new server sockets without whacking systemd on the head |
| 2022-04-15 14:58:52 | <geekosaur> | (default is :0) |
All times are in UTC.