| 22 Dec 2023 |
|  medliviz joined the room. | 12:31:41 |
|  @-jb:matrix.org changed their profile picture. | 15:13:43 |
| 23 Dec 2023 |
|  @arcayr:rascals.net changed their display name from Arcayr to arcayr. | 07:44:40 |
| @arcayr:rascals.net set a profile picture. | 15:46:44 |
| 24 Dec 2023 |
 Jan Tojnar | In reply to @hmenke:matrix.org
Pop_OS! Shell crashes GNOME every once in a while since I updated to NixOS 23.11
Dec 21 18:14:38 laptop gnome-shell[3622]: **
Dec 21 18:14:38 laptop gnome-shell[3622]: libmutter:ERROR:../src/compositor/compositor.c:578:invalidate_top_window_actor_for_views: assertion failed: (!priv->frame_in_progress)
Dec 21 18:14:38 laptop gnome-shell[3622]: Bail out! libmutter:ERROR:../src/compositor/compositor.c:578:invalidate_top_window_actor_for_views: assertion failed: (!priv->frame_in_progress)
Dec 21 18:14:38 laptop gnome-shell[3622]: == Stack trace for context 0x1e10450 ==
Dec 21 18:14:38 laptop gnome-shell[3622]: #0 1edbe88 i file:///home/henri/.nix-profile/share/gnome-shell/extensions/pop-shell@system76.com/window.js:523 (37665aedfb0 @ 251)
Dec 21 18:14:38 laptop gnome-shell[3622]: #1 1edbde0 i file:///home/henri/.nix-profile/share/gnome-shell/extensions/pop-shell@system76.com/window.js:86 (37665ae9c40 @ 68)
Dec 21 18:14:38 laptop gnome-shell[3622]: #2 1edbd58 i file:///home/henri/.nix-profile/share/gnome-shell/extensions/pop-shell@system76.com/extension.js:2023 (37665ac4ab0 @ 49)
Dec 21 18:14:38 laptop gnome-shell[3622]: #3 1edbcc0 i file:///home/henri/.nix-profile/share/gnome-shell/extensions/pop-shell@system76.com/ecs.js:90 (37665ace3d0 @ 56)
Dec 21 18:14:38 laptop gnome-shell[3622]: #4 1edbc30 i file:///home/henri/.nix-profile/share/gnome-shell/extensions/pop-shell@system76.com/extension.js:2020 (37665ac4a60 @ 32)
Dec 21 18:14:38 laptop gnome-shell[3622]: #5 1edbb98 i file:///home/henri/.nix-profile/share/gnome-shell/extensions/pop-shell@system76.com/extension.js:1773 (37665ac42e0 @ 95)
Dec 21 18:14:38 laptop gnome-shell[3622]: #6 1edbb10 i file:///home/henri/.nix-profile/share/gnome-shell/extensions/pop-shell@system76.com/extension.js:2019 (37665ac4a10 @ 17)
Dec 21 18:14:38 laptop gnome-shell[3622]: #7 1edba78 i file:///home/henri/.nix-profile/share/gnome-shell/extensions/pop-shell@system76.com/extension.js:2031 (37665ac4b00 @ 85)
Dec 21 18:14:38 laptop gnome-shell[3622]: #8 1edb9e8 i resource:///org/gnome/shell/ui/init.js:21 (1e1ec7870ba0 @ 48)
huh, you have already reported it a year ago https://github.com/pop-os/shell/issues/1550 | 00:43:20 |
 hmenke | In reply to @jtojnar:matrix.org
huh, you have already reported it a year ago https://github.com/pop-os/shell/issues/1550 Oops 🙂 Seems that in the meantime the people at PaperWM have found a fix (linked in the GitHub issue). | 10:41:58 |
|  diamond (it/its) changed their profile picture. | 22:41:51 |
| 25 Dec 2023 |
|  @chocolatestrawberry:matrix.org joined the room. | 23:46:42 |
| 26 Dec 2023 |
|  sugi changed their display name from sugi to sugi 📞8658. | 00:57:40 |
| diamond (it/its) changed their profile picture. | 10:40:52 |
| diamond (it/its) changed their profile picture. | 10:41:40 |
| diamond (it/its) changed their profile picture. | 11:18:52 |
|  @a-n-n-a-l-e-e:matrix.org joined the room. | 11:37:44 |
|  Tommy changed their display name from Tommy to Tommy (DECT 2903). | 18:06:49 |
| Tommy changed their display name from Tommy (DECT 2903) to Tommy (☎️ 2903). | 18:39:06 |
|  WhiteBlackGoose joined the room. | 19:36:44 |
| WhiteBlackGoose | Hi
Does overlay over gnome allow to overlay Mutter? | 19:37:24 |
| WhiteBlackGoose | I mean
nixpkgs.overlays = [
(final: prev: {
gnome = prev.gnome // {
mutter = prev.gnome.mutter.overrideAttrs {
| 19:37:47 |
| WhiteBlackGoose | and another question
I'm trying out the Mutter by Daniel van Dugt who is working on triple buffering
But I cannot figure out the way to make sure I'm actually on the right one
I don't feel any difference after I wrote the overlay, and also it didn't take any time to build Mutter so I suppose I'm on the same one | 19:39:21 |
| WhiteBlackGoose | aand another Q
now that I'm rebooted it's a lot smoother
so I guess it gets slower over time
Why is that happening though? | 19:45:39 |
| Jan Tojnar | In reply to @whiteblackgoose:matrix.org
I mean
nixpkgs.overlays = [
(final: prev: {
gnome = prev.gnome // {
mutter = prev.gnome.mutter.overrideAttrs {
Use gnome = prev.gnome.overrideScope' (gnomeFinal: gnomePrev: {…}) | 21:33:11 |
| Jan Tojnar | with //, the packages in gnome scope would keep referring to the old mutter | 21:34:25 |
| WhiteBlackGoose | In reply to @jtojnar:matrix.org
Use gnome = prev.gnome.overrideScope' (gnomeFinal: gnomePrev: {…}) Ah thanks!
And what do I write inside then?
gnomePrev // { ... } doesn't work (it still overwrites the whole gnome for some reason) | 21:46:00 |
| Jan Tojnar | it works just like another overlay, define mutter there | 21:46:55 |
| WhiteBlackGoose | gnome = prev.gnome.overrideScope' (gnomeFinal: gnomePrev: {
mutter = gnomePrev.mutter.overrideAttrs {
like this?
| 21:48:07 |
| WhiteBlackGoose | because it later says "gedit is not found" or something, whcih means that gnome lost all other properties | 21:51:26 |
| WhiteBlackGoose | Oh I found an example for Mutter on wiki nvl | 21:52:23 |
| WhiteBlackGoose | * Oh I found an example for Mutter on wiki nvm | 21:52:25 |
| Jan Tojnar | there was some issue where it broke aliases, not sure if we ever fixed it | 21:53:46 |
| Jan Tojnar | either way, I recommend using nixpkgs.config.allowAliases = false; | 21:54:29 |
