Logs on 2022-04-15 (liberachat/#xmonad)
| 00:03:10 | <abastro[m]> | Hmm |
| 00:33:57 | → | rekahsoft joins (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 00:51:16 | <abastro[m]> | geekosaur: This is also failing: https://github.com/Abastro/xmonad-test/blob/master/app/Main.hs |
| 00:57:20 | <geekosaur> | sigh. I really need you to capture an X error or exception somehow, or give me a backtrace from a core dump |
| 00:58:23 | <abastro[m]> | Oh. Sorry that I am bothering you |
| 00:58:54 | <abastro[m]> | I don't know how to capture X error, tho I guess I could try to dig up the core dump |
| 00:58:55 | <geekosaur> | not bothering me, just that I can't reproduce it here (the vbox thing seems unrelated) |
| 00:59:13 | <geekosaur> | any exception or X error shouldbe in ~/.xsession-errors |
| 00:59:36 | <geekosaur> | you wouldhave to log in on a text console to get it since it would be wiped out if you logged back into an X session |
| 01:00:31 | <abastro[m]> | Hmmm |
| 01:01:37 | <geekosaur> | (ctrl-alt-f1 usually) |
| 01:17:05 | → | darkstardevx joins (~darkstard@50.53.212.60) |
| 01:37:51 | <abastro[m]> | Uhm why startx not even opening it |
| 01:47:13 | <abastro[m]> | Welp I was trying to do it from root, meh |
| 01:55:56 | <abastro[m]> | Somehow I have to install xterm to login from login shell?? |
| 02:02:42 | <abastro[m]> | Well, I can't seem to run a xsession profile from login shell |
| 02:21:31 | <abastro[m]> | geekosaur: how do I login from login shell? Uh, I can't seem to do these basic things |
| 02:33:00 | <abastro[m]> | Okay actually, I can avoid overwriting it by just switching to tty2. |
| 02:33:33 | <abastro[m]> | However, there is only environment settings going on. |
| 02:34:31 | <abastro[m]> | Oh, finally found it I guess |
| 02:38:15 | <abastro[m]> | https://paste.tomsmeding.com/2haEqtNt |
| 02:49:49 | <abastro[m]> | Posted an issue: https://github.com/xmonad/xmonad/issues/389 |
| 03:38:00 | × | rekahsoft quits (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 248 seconds) |
| 04:31:25 | → | mohab joins (~mohab@156.223.10.66) |
| 04:32:23 | × | mohab quits (~mohab@156.223.10.66) (Client Quit) |
| 04:33:30 | → | mohab joins (~mohab@156.223.10.66) |
| 04:35:28 | × | mohab quits (~mohab@156.223.10.66) (Client Quit) |
| 04:38:24 | → | mohab joins (~mohab@156.223.10.66) |
| 04:38:27 | × | mohab quits (~mohab@156.223.10.66) (Client Quit) |
| 04:40:16 | → | mohab joins (~mohab@156.223.10.66) |
| 04:41:25 | × | mohab quits (~mohab@156.223.10.66) (Client Quit) |
| 05:11:47 | → | MarkLumbao[m] joins (~mark-lumb@2001:470:69fc:105::cfc6) |
| 05:14:14 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 05:52:04 | <abhixec> | anyone have any luck with hidpi scaling on xmonad? |
| 06:01:26 | <Solid> | liskin: hotels in the region of zurihac are now going for 200EUR a night Oo |
| 06:01:32 | <Solid> | and we probably all need four nights each |
| 06:01:47 | <Solid> | at this point I'm so insanely thankful to our sponsors |
| 06:02:58 | <abastro[m]> | 200eur for single personnel? |
| 06:03:12 | <abastro[m]> | abhixec: Well i am using hidpi |
| 06:04:13 | <abhixec> | abastro[m]: what do you do to scale applications properly when connected to hidpi(5k) monitor? |
| 06:04:33 | <abastro[m]> | Oh mine is merely 2.5k but |
| 06:04:34 | <abhixec> | and how do you scale it back to its original size when you disconnect(laptop screen) |
| 06:04:42 | <abastro[m]> | Hmmm |
| 06:04:51 | <abastro[m]> | Well that should be more tricky I think |
| 06:05:09 | <abastro[m]> | Basically, I am using some kind of gtk settings to adjust it. |
| 06:05:44 | <abastro[m]> | Soo.. could be more pain if you have to actively switch |
| 06:05:56 | <abastro[m]> | I wonder if Per-monitor settings is possible |
| 06:06:05 | <abhixec> | but that would only work for gtk apps if I have qt or xmobar will still be very small though |
| 06:06:08 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 06:06:41 | <abastro[m]> | Yea you kind of need to do it manually |
| 06:07:07 | <abastro[m]> | For each apps |
| 06:07:59 | <abhixec> | -_- :'( |
| 06:09:37 | <abastro[m]> | Alternative is sacrificing hdpi so that it renders 1 pixel over 4 pixels of 4k monitor |
| 06:11:05 | <abastro[m]> | You know, using xrandr |
| 06:11:22 | <abhixec> | abastro[m]: how do I do that? |
| 06:12:01 | <abhixec> | xrandr scalling factor option doesn't quite work as expected because the windows appear to outside the visible portion of the screen |
| 06:13:09 | <abastro[m]> | Did you try sth like |
| 06:13:09 | <abastro[m]> | xrandr --mode 1920x1080 |
| 06:13:22 | <abhixec> | let me try that! |
| 06:13:47 | <abastro[m]> | (Ofc do not forget the --output part) |
| 06:14:47 | <abhixec> | yep |
| 06:14:53 | <abhixec> | I guess for that this would work |
| 06:14:54 | <abhixec> | thanks! |
| 06:15:18 | <abhixec> | not ideal but atleast it is now usable as oppose to having super tiny text |
| 06:15:41 | <abhixec> | really wish there was a better support for 4K+ :( |
| 06:16:17 | <abastro[m]> | Yea, I wonder how e.g. gnome handles it |
| 06:17:24 | <abastro[m]> | Actually x font part could be managed separately, I found |
| 06:17:32 | <abastro[m]> | https://vincent.jousse.org/blog/en/archlinux-retina-hidpi-macbookpro-xmonad |
| 06:17:40 | <abastro[m]> | Try this and find to which extend it works |
| 06:25:01 | <abhixec> | I think I have seen this the problem is that it would work if I am only going to be using the external monitor but if I want to be switching then I guess I would need to make this changes and restart x each time |
| 06:25:10 | <abhixec> | which wouldn't be ideal |
| 06:31:18 | <geekosaur> | this is one of the big reasonspeople want wayland: x11 can't do this right |
| 06:35:30 | <abastro[m]> | Oh, inherent problem of X11? |
| 06:37:12 | <abastro[m]> | I see, so that is why |
| 06:37:24 | <abastro[m]> | ~~Can I fork Waymonad and work on it~~ |
| 06:39:13 | <geekosaur> | of course you can. https://github.com/L-as/waymonad |
| 06:39:34 | <geekosaur> | it needs a fair amount ofwork and currently has worse pointer issues than the one you hit with 9.2.2 :) |
| 06:41:06 | <abastro[m]> | Pointer issues? Meh |
| 06:41:17 | <abastro[m]> | Btw what is the pointer issue I encountered |
| 06:41:21 | <abastro[m]> | FFI or internal? |
| 06:41:51 | <abastro[m]> | I wonder if I could somehow enable stacktrace |
| 06:42:21 | <Solid> | It says "Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug" |
| 06:42:26 | <Solid> | perhaps you should consider that |
| 06:44:36 | <liskin> | Solid: oh, that's quite expensive |
| 06:45:23 | <liskin> | Suddenly half an hour by train from my friend's at the other side of the lake doesn't seem so bad :-D |
| 06:47:25 | <Solid> | :D |
| 06:48:49 | <Solid> | yeah without the opencollective donations I don't think I could attend |
| 06:49:04 | <Solid> | though at this point it makes me wonder whether I need to pay tax |
| 06:49:08 | <Solid> | because it'd be quite a lot of money |
| 06:51:08 | <liskin> | I think you don't need to pay tax on this |
| 06:55:12 | <geekosaur> | abastro[m], no way to know just from that,but my first suspicion is always FFI. in particular I (and a bunch of others) should have hit it if it were intrinsic to 9.2.2 |
| 07:00:29 | <geekosaur> | also there's no stack to trace in Haskell |
| 07:01:20 | <geekosaur> | this is the garbage collector hitting a heap object that doesn't have the right metadata, meaning it's been overwritten with garbage |
| 07:01:31 | <geekosaur> | by that point it's too late to know what or why |
| 07:02:47 | <geekosaur> | and any information about where the heap object came from disappeared when its closure type did |
| 07:35:20 | scardina1 | is now known as scardinal |
| 07:37:49 | <MarkLumbao[m]> | Hi everyone it's my first time installing Xmonad via stack so I'm manually adding it as a new session option in lightdm. But I couldn't get it to work. I already added /usr/share/xsessions/xmonad.desktop with the following content |
| 07:38:23 | <MarkLumbao[m]> | [Desktop Entry]... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/c4664259f1d52bbd6adebb6e75000b71d121ebad) |
| 07:38:43 | <MarkLumbao[m]> | but the option is not shown in my greeter. |
| 07:39:26 | <MarkLumbao[m]> | btw I'm using Garuda Linux, my default wm is i3wm, my greeter is slick-greeter |
| 07:49:18 | <abastro[m]> | Oh soo.. overwritten with garbage :< |
| 07:49:34 | <abastro[m]> | Haskell and its ffi... |
| 07:50:34 | <abastro[m]> | Was saying to geekosaur btw |
| 07:51:41 | <abastro[m]> | Solid: I am afraid of the mighty ghc repo |
| 08:02:01 | <Solid> | abastro[m]: Haskell's FFI is pretty good, actually; at least in terms of efficiency ( see e.g. https://github.com/dyu/ffi-overhead#results-500m-calls ) |
| 08:02:05 | <Solid> | and don't fear the GHC repo |
| 08:02:21 | <Solid> | if you can reproduce it and it's actually a compiler bug, people will be glad to know about it |
| 08:02:51 | <abastro[m]> | I do not mean efficiency, yeah |
| 08:03:07 | <abastro[m]> | I mean more the ability to debug |
| 08:03:23 | <Solid> | well, it's FFI |
| 08:03:29 | <abastro[m]> | It seems geekosaur cannot reproduce it, so I guess it might be local to my end |
| 08:17:17 | → | maybefbi joins (~maybeatf@138.75.51.49) |
| 08:17:45 | <maybefbi> | What kind of hie.yaml do I need for this directory structure: |
| 08:17:45 | <maybefbi> | - path: "xmonad-git/tests" |
| 08:17:45 | <maybefbi> | component: "xmonad:test:properties" |
| 08:17:58 | <maybefbi> | sorry wrong copy paste |
| 08:18:37 | <maybefbi> | What kind of hie.yaml do I need for this directory structure: . |
| 08:18:37 | <maybefbi> | ├── stack.yaml |
| 08:18:37 | <maybefbi> | ├── stack.yaml.lock |
| 08:18:37 | <maybefbi> | ├── xmobar-git |
| 08:18:37 | <maybefbi> | ├── xmonad-contrib-git |
| 08:18:38 | <maybefbi> | ├── xmonad-git |
| 08:18:40 | <maybefbi> | └── xmonad.hs |
| 08:18:59 | <maybefbi> | I tried $ gen-hie > hie.yaml |
| 08:19:15 | <maybefbi> | but it just causes Segmentation fault |
| 08:19:31 | <abastro[m]> | What is xmonad-git and xmobar-git? |
| 08:19:47 | <maybefbi> | it is a git clone of xmonad, and xmobar repo |
| 08:19:59 | <maybefbi> | im on xmonad compiled using the above directory structure now |
| 08:20:02 | <maybefbi> | it is working |
| 08:20:21 | <maybefbi> | im just trying to create an hie.yaml so i can get the Haskell Language Server to work |
| 08:20:32 | <Solid> | maybefbi: this may be a question more appropriate for #haskell of #haskell-language-server |
| 08:20:40 | <Solid> | s/of/or/ |
| 08:20:43 | <maybefbi> | ah cool thanks. i will ask there |
| 08:35:00 | <abastro[m]> | I want to say, that is a bit weird setup if you are just using xmonad |
| 08:38:23 | <Solid> | It's the setup that INSTALL.md suggests :) |
| 08:40:38 | <abastro[m]> | Oh. |
| 08:40:46 | <abastro[m]> | So that's how you install latest xmonad on git! |
| 08:40:57 | <abastro[m]> | Hm that makes sense, that now I think about it |
| 08:42:42 | <abastro[m]> | Solid: since you are here, I want to ask.. why is comonoid not used in haskell? In which context would it be used? |
| 08:42:42 | <abastro[m]> | Thinking about why copattern is relatively not useful now |
| 08:44:25 | <Solid> | Well the fundamental reason is that Hask, being a closed Cartesian category (if you ignore the stuff about Hask obviously not being a category), does not have non-trivial comonoids (meaning every object is a comonoid in exactly one, and always the same, way) |
| 08:45:12 | <abastro[m]> | Is it the property of every closed cartesian category? |
| 08:45:12 | <Solid> | This is why e.g. the Comonad class can get away with a Functor constraint only and not some kind of CoApplicative |
| 08:45:17 | <Solid> | yes |
| 08:45:39 | <abastro[m]> | I dislike how it is biased towards monoid |
| 08:46:09 | <abastro[m]> | I guess I have to accept this kind of bias? |
| 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 |
| 08:46:23 | <Solid> | pretty much yes |
| 08:46:41 | <abastro[m]> | How about pattern (destructor) vs. copattern (constructor) |
| 08:47:01 | <abastro[m]> | It seems like asymmetry extends out to that as well |
| 08:47:02 | <Solid> | Actually, with linear Haskell landing now we can probably talk about non-trivial comonoids again |
| 08:47:30 | <Solid> | AFAIK linear type theories replace the Cartesian-ness with symmetric monoidal-ness |
| 08:47:43 | <Solid> | but I don't know anyting about linear type theories |
| 08:48:20 | <abastro[m]> | Hmmm |
| 08:48:26 | <abastro[m]> | Interesting stuffs |
| 08:48:56 | <abastro[m]> | How about Copattern? |
| 09:08:54 | <Solid> | don't know anything about that either :D |
| 09:18:31 | <abastro[m]> | Okay, sorry for bothering you. I thought you would know everything related with co- duals |
| 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 |
| 09:34:29 | <liskin> | Solid: I'm afk due to travels these days but I'll take a look at the GHA errors later |
| 09:34:35 | <liskin> | geekosaur: ^ |
| 09:34:42 | <Solid> | awesome, thank you! |
| 09:34:56 | <maybefbi> | liskin, ok |
| 09:59:51 | → | butterfly[m] joins (~butterfly@2001:470:69fc:105::1:70db) |
| 10:54:38 | × | Czernobog quits (~Czernobog@user/czernobog) (Read error: Connection reset by peer) |
| 10:55:46 | → | Czernobog joins (~Czernobog@user/czernobog) |
| 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) |
| 12:04:34 | <abastro[m]> | Sorry, which kind of question you mean? |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 12:31:45 | × | Czernobog quits (~Czernobog@user/czernobog) (Read error: Connection reset by peer) |
| 12:32:39 | → | Czernobog joins (~Czernobog@user/czernobog) |
| 13:01:03 | <MarkLumbao[m]> | geekosaur: I'll try installing xinit-xsession and see what I can do with it thanks :) |
| 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 |
| 13:02:03 | <geekosaur> | at least, that's what I recall from back when I did it |
| 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 |
| 13:03:26 | <geekosaur> | it still won't by default but it's easier to fix |
| 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. |
| 13:08:12 | → | chomwitt joins (~chomwitt@2a02:587:dc0f:ad00:3949:ab21:9834:ebc) |
| 13:22:56 | × | benin quits (~benin@183.82.204.110) (Quit: The Lounge - https://thelounge.chat) |
| 13:28:23 | → | Polo joins (~^@user/polo) |
| 13:30:48 | × | Polo quits (~^@user/polo) (Quit: Textual IRC Client: www.textualapp.com) |
| 13:31:11 | → | Polo joins (~GiverOfDo@56.15.195.173.client.static.strong-in52.as13926.net) |
| 13:31:14 | × | Polo quits (~GiverOfDo@56.15.195.173.client.static.strong-in52.as13926.net) (Changing host) |
| 13:31:14 | → | Polo joins (~GiverOfDo@user/polo) |
| 13:37:36 | → | LordOfLand joins (~GiverOfDo@user/polo) |
| 13:38:51 | → | Polo_ joins (~GiverOfDo@2607:fb91:bd04:dc9:29ae:af45:5ce9:81d1) |
| 13:38:52 | × | Polo_ quits (~GiverOfDo@2607:fb91:bd04:dc9:29ae:af45:5ce9:81d1) (Changing host) |
| 13:38:52 | → | Polo_ joins (~GiverOfDo@user/polo) |
| 13:41:17 | × | Polo quits (~GiverOfDo@user/polo) (Ping timeout: 256 seconds) |
| 13:41:45 | → | Polo joins (~GiverOfDo@user/polo) |
| 13:42:06 | × | LordOfLand quits (~GiverOfDo@user/polo) (Ping timeout: 250 seconds) |
| 13:45:08 | × | Polo_ quits (~GiverOfDo@user/polo) (Ping timeout: 250 seconds) |
| 13:47:35 | → | LordOfLand joins (~GiverOfDo@user/polo) |
| 13:51:29 | × | Polo quits (~GiverOfDo@user/polo) (Ping timeout: 256 seconds) |
| 13:53:48 | × | LordOfLand quits (~GiverOfDo@user/polo) (Ping timeout: 250 seconds) |
| 13:54:56 | × | Czernobog quits (~Czernobog@user/czernobog) (Read error: Connection reset by peer) |
| 13:55:55 | → | Czernobog joins (~Czernobog@user/czernobog) |
| 14:02:14 | → | Polo joins (~GiverOfDo@user/polo) |
| 14:25:32 | × | Polo quits (~GiverOfDo@user/polo) (Quit: one) |
| 14:30:21 | <abastro[m]> | geekosaur: How do I use xephyr? |
| 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) |
| 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 |
| 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 |
| 14:32:43 | <abastro[m]> | And.. Where do I run the `xinit` command? |
| 14:33:34 | <geekosaur> | hm |
| 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 |
| 14:34:18 | <geekosaur> | then run the xinit command in that window |
| 14:37:47 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 14:39:27 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 14:40:05 | <abastro[m]> | Well, it doesn't start |
| 14:40:18 | <abastro[m]> | Do I have to drop to login shell for this? |
| 14:41:15 | <abastro[m]> | xmonad-x86_64-linux: user error (unrecognized flags:[":0"]) |
| 14:41:15 | <abastro[m]> | Invalid MIT-MAGIC-COOKIE-1 keyxinit: giving up |
| 14:47:49 | <geekosaur> | that doesn't sound quite right |
| 14:49:29 | <abastro[m]> | Was it wrong that I did not drop to the login shell? |
| 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 |
| 14:51:51 | <abastro[m]> | Oh no :( |
| 14:52:17 | <geekosaur> | no, I just got things backwards, the server comes after the -- |
| 14:52:20 | <geekosaur> | hold on |
| 14:52:40 | <abastro[m]> | Hmm |
| 14:53:18 | <geekosaur> | okay, that works. except I need to arrange for it to find the xmonad libs :) |
| 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 |
| 14:54:15 | <geekosaur> | xinit =xmonad -- =Xephyr :1 (except I think = is a zsh extension, so you need to use full paths still) |
| 14:54:42 | <abastro[m]> | Fatal server error: |
| 14:54:42 | <abastro[m]> | (EE) Cannot establish any listening sockets - Make sure an X server isn't already running(EE) |
| 14:54:58 | <geekosaur> | did you use full paths? |
| 14:55:05 | <abastro[m]> | Yes. |
| 14:55:06 | <geekosaur> | otherwise it'll try to use :0 |
| 14:55:33 | <abastro[m]> | Still says that server is already running |
| 14:56:12 | <abastro[m]> | xephyr is at /usr/bin/Xephyr right? That program exists |
| 14:56:17 | <abastro[m]> | And xmonad is my custom xmonad |
| 14:56:33 | <abastro[m]> | Let me test just `xmonad` in cabal bin |
| 14:57:05 | <geekosaur> | xinit /home/allbery/.cabal/bin/xmonad -- /usr/bin/Xephyr :1 |
| 14:57:15 | <geekosaur> | remember that you changed $HOME so ~ won't work |
| 14:57:18 | <abastro[m]> | Did `xinit /home/abastro/.cabal/bin/xmonad -- /usr/bin/Xephyr :1` |
| 14:57:29 | <abastro[m]> | _XSERVTransSocketUNIXCreateListener: ...SocketCreateListener() failed... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/9499e2d4fbc20d3ac3b2e0ebf44755b989f47728) |
| 14:58:23 | <geekosaur> | odd. I wonder if you already have a :1 |
| 14:58:42 | <abastro[m]> | Oh I guess so |
| 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 |
| 14:58:52 | <geekosaur> | (default is :0) |
| 14:59:08 | <abastro[m]> | Yep, :1 was occupied |
| 14:59:08 | <abastro[m]> | lol |
| 14:59:26 | <abastro[m]> | Aand that ran my current profile lol |
| 15:03:27 | <geekosaur> | did you do the stuff to create a new home directory? |
| 15:04:03 | <abastro[m]> | Ye, well I don't have anything in `$HOME/.xmonad` at least |
| 15:06:08 | <geekosaur> | https://paste.tomsmeding.com/6F3vAdz8 |
| 15:06:08 | <abastro[m]> | I clicked and I got `user error (Error in function getWindowAttributes)` |
| 15:06:20 | <geekosaur> | that happens every so often |
| 15:06:42 | <geekosaur> | at some point we should clean that up, but it would be a breaking change to the X11 package |
| 15:10:31 | <abastro[m]> | Hmm, I just randomly got dropped out |
| 15:11:43 | <geekosaur> | does the terminal you ran xephyr in show anything? |
| 15:12:32 | <abastro[m]> | No. |
| 15:13:14 | <abastro[m]> | And this time it just works without errors |
| 15:15:45 | <abastro[m]> | Okay perhaps that one is working, let me test with my custom one |
| 15:19:27 | <abastro[m]> | Yep, it seems to exit at random moment without notice. |
| 15:19:59 | → | LordOfLand joins (~GiverOfDo@user/polo) |
| 15:20:15 | <abastro[m]> | Sometimes it works well for long, sometimes it immediately crash |
| 15:20:44 | <geekosaur> | yes, that'd be expected for heap corruption |
| 15:20:55 | <abastro[m]> | The crash happens much more often when being run from native |
| 15:20:57 | <geekosaur> | what we really need is something like memcheck |
| 15:21:05 | <abastro[m]> | I hate how it doesn't give any notice.. |
| 15:21:34 | <geekosaur> | not sure how well it works with how ghc manages its heap though |
| 15:40:25 | <abastro[m]> | Found problem with custom $HOME |
| 15:40:44 | <abastro[m]> | cabal.. |
| 15:43:01 | <abastro[m]> | Oh I think the problem happens much more often with my custom minimal xmonad |
| 15:43:03 | <abastro[m]> | I wonder why |
| 15:47:10 | <abastro[m]> | `desktopConfig` makes it break! |
| 15:48:32 | <abastro[m]> | Just clicking it make it crashes hmm |
| 15:48:48 | <abastro[m]> | And again I got: |
| 15:48:50 | <abastro[m]> | xmonad-x86_64-linux: internal error: evacuate: strange closure type 4721 |
| 15:48:50 | <abastro[m]> | (GHC version 9.2.2 for x86_64_unknown_linux) |
| 15:48:50 | <abastro[m]> | Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug |
| 15:48:56 | <abastro[m]> | Hard to reproduce |
| 15:50:07 | <geekosaur> | desktopConfig is pretty simple, just ewmh and docks on top of def |
| 15:50:44 | <geekosaur> | both involve X props though |
| 15:52:53 | <abastro[m]> | This is quite strange. |
| 15:53:05 | <abastro[m]> | I can indeed crash it using `xmonad def` |
| 15:53:12 | <abastro[m]> | but it takes more effort |
| 15:53:45 | <abastro[m]> | In contrast, with `desktopConfig` it crashes more often |
| 15:54:58 | <abastro[m]> | In that case, Mod+Q makes it crash more often it seems. |
| 15:55:07 | <geekosaur> | so it's something about the X11 interface and probably properties |
| 15:55:25 | <geekosaur> | (core xmonad still uses props but only the basic ICCCM set) |
| 15:55:53 | <abastro[m]> | I dislike how `evacuate: strange closure type` this message only seldom appears in the log. |
| 15:56:13 | <abastro[m]> | Does `xmonad def` also use X11 interface? |
| 15:56:27 | <geekosaur> | xmonad always uses the X11 interface, it is a window manager |
| 15:56:38 | <abastro[m]> | Ahh |
| 15:56:38 | <geekosaur> | the question is how much and what parts |
| 15:56:45 | <abastro[m]> | Yep, likely |
| 15:56:50 | <abastro[m]> | I wonder how I could actually debug this |
| 15:56:56 | <geekosaur> | ewmh and docks exercise X11 properties a lot more |
| 15:57:16 | <geekosaur> | (ewmh sets a bunch of root window props in logHook, docks reads strut props on new windows) |
| 15:59:45 | <abastro[m]> | I see, sounds likely |
| 16:00:13 | <abastro[m]> | That said, it is funny how my more involved personal config works better in 9.2.2 - it only crashes once in a week |
| 16:00:28 | <geekosaur> | but none of this explains why I couldn't reproduce it with my config, which uses props even more |
| 16:00:59 | <geekosaur> | (I think I still set _NET_WORKAREA because some programs I use break without it) |
| 16:01:11 | <abastro[m]> | Minimal config with `xmonad desktopConfig`: crashes once a dozen click |
| 16:01:11 | <abastro[m]> | My greatly complex config: Nah, I won't crash until you are least suspecting |
| 16:01:47 | <abastro[m]> | Oh, you are experimenting with your own config? |
| 16:02:08 | <abastro[m]> | I guess it happens less with involved config then. I cannot imagine why. |
| 16:03:10 | <abastro[m]> | I guess this is related with invoking props in certain way, bare-bone config would more likely use it in certain pattern |
| 16:03:12 | <abastro[m]> | I wish I could debug this |
| 16:05:41 | → | Guest2525 joins (~Guest25@151.246.65.10) |
| 16:06:08 | <Guest2525> | does anyone use XMonad.Actions.DynamicWorkspaces here |
| 16:08:25 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 16:10:13 | <geekosaur> | abastro[m], that pattern (more involved configs making it happen less often) just sounds like a bigger heap and therefore fewer opportunities to detect corruption |
| 16:11:28 | <abastro[m]> | geekosaur: Makes sense! Did you try with minimal config (`xmonad desktopConfig`) yourself? |
| 16:12:30 | <geekosaur> | no, because I was running my primary session and wanted to keep it working, plus I was hoping that a more involved config would make it happen more often instead of hiding it in a larger heap |
| 16:13:13 | <geekosaur> | I have xephyr set up now with a default config, and would have to do some work to be able to build a config within it |
| 16:38:42 | × | Guest2525 quits (~Guest25@151.246.65.10) (Quit: Client closed) |
| 16:44:24 | <geekosaur> | still setting up (gave it its own ghcup so I could set 9.2.2 within the testbed without changing my default from 8.10.7) |
| 16:45:09 | <geekosaur> | will build xmonad and -contrib with package-env foo after (currently I use cabal which might be another reason I can't reproduce it, conceivably) |
| 16:47:05 | <abastro[m]> | Well, I also use cabal |
| 16:47:30 | <geekosaur> | buildscript? |
| 16:47:40 | <abastro[m]> | Yep |
| 16:48:10 | <abastro[m]> | I set up a thin wrapper around cabal install for build script |
| 16:52:07 | <geekosaur> | while I'm at it: xmonad latest release, git, something else? |
| 16:53:26 | <geekosaur> | wait, I think you said that in the ticket |
| 17:00:56 | <abastro[m]> | Yep, 0.17.0 |
| 17:08:17 | <geekosaur> | bleh, had to tweak $PATH in my little sandbox too. need to set up a script for that |
| 17:08:40 | <geekosaur> | aeons ago I had such a setup, now I'm having to rediscover everything I'd set up before |
| 17:12:23 | × | LordOfLand quits (~GiverOfDo@user/polo) (Quit: one) |
| 17:15:22 | <geekosaur> | got it set up. not crashing so far |
| 17:15:48 | → | LordOfLand joins (~GiverOfDo@user/polo) |
| 17:18:30 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::d5c4) |
| 17:30:51 | × | maybefbi quits (~maybeatf@138.75.51.49) (Remote host closed the connection) |
| 18:02:09 | × | LordOfLand quits (~GiverOfDo@user/polo) (Remote host closed the connection) |
| 18:02:45 | → | LordOfLand joins (~GiverOfDo@user/polo) |
| 18:06:47 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 18:08:33 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 18:25:43 | × | LordOfLand quits (~GiverOfDo@user/polo) (Quit: one) |
| 18:43:46 | <geekosaur> | I've been banging at it every so often, it's still not crashing |
| 18:44:49 | <geekosaur> | I am tempted to suggest you nuke and rebuild xmonad-contrib and all its dependencies (which includes xmonad) |
| 19:24:41 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 19:31:28 | → | LordOfLand joins (~GiverOfDo@user/polo) |
| 20:24:42 | <geekosaur> | well, shit. virtualbox works perfectly under xephyr. now I have to figure out what's wrong with my config |
| 21:13:48 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 21:17:47 | <abastro[m]> | Hmmm |
| 21:20:08 | <abastro[m]> | I wonder if the -dynamic field relevant |
| 21:23:34 | <geekosaur> | possible, I build default (static) |
| 21:32:56 | <geekosaur> | if it turns out that -dynamic matters, you probably do have a ghc bug and should report it |
| 21:38:29 | <abastro[m]> | Hmm |
| 21:38:48 | <abastro[m]> | I see, let me test that |
| 21:39:47 | LordOfLand | is now known as POLO |
| 21:40:49 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 21:40:49 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 21:40:52 | allbery_b | is now known as geekosaur |
| 21:48:51 | <geekosaur> | -dynamic isn't making it crash here :( |
| 21:57:03 | <abastro[m]> | Okay, something very weird is going on then.. |
| 22:00:31 | × | chomwitt quits (~chomwitt@2a02:587:dc0f:ad00:3949:ab21:9834:ebc) (Remote host closed the connection) |
| 22:07:44 | × | POLO quits (~GiverOfDo@user/polo) (Quit: one) |
| 22:49:50 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::d5c4) (Ping timeout: 250 seconds) |
| 23:05:47 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 23:07:38 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 23:11:01 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 23:50:21 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
All times are in UTC on 2022-04-15.