| 10 Aug 2025 |
 dminca | cheers lads, nice to be here with y’all 🍻 | 18:12:45 |
 jasi 🏳️⚧️ | In reply to @quadradical:federated.nexus
hello! if im making my own gnome package, where do i have to put the out files for it to work with systemPackages? is it just $out/share/gnome-shell/extensions/${uuid}? You can have a look in pkgs/desktops/gnome/extensions/ for manually created extension derivations | 18:48:21 |
| jasi 🏳️⚧️ | But yes that's correct | 18:49:01 |
| jasi 🏳️⚧️ | In reply to @quadradical:federated.nexus
hello! if im making my own gnome package, where do i have to put the out files for it to work with systemPackages? is it just $out/share/gnome-shell/extensions/${uuid}? * You can have a look in pkgs/desktops/gnome/extensions/ for manually created extension derivations, especially those that require additional dependencies | 18:50:53 |
 QuadRadical (Ping) | Thank you! | 19:39:02 |
 hexa | please submit them to gnome extensions instead of manually maintaing them in nixpkgs | 22:25:32 |
| hexa | we have automated tooling that syncs extensions from extensions.gnome.org | 22:25:48 |
| QuadRadical (Ping) | hi, this is for a personal project, not nixpkgs | 22:29:53 |
| hexa | ok | 22:30:10 |
| QuadRadical (Ping) | its not on extensions.gnome.org because im still developing it | 22:30:16 |
| 11 Aug 2025 |
 Honnip | You might want to put it in ~/.local/share/gnome-shell/extensions/{uuid}, not package it | 02:41:31 |
| QuadRadical (Ping) | yeah, im doing that for development, but i figured once its done ill put it in my config for a bit befire i upload to extensions | 03:09:51 |
|  bavramor joined the room. | 15:26:41 |
| jasi 🏳️⚧️ changed their profile picture. | 20:36:06 |
| 14 Aug 2025 |
|  @jolly.roberts:matrix.org left the room. | 14:22:15 |
|  @jh-devv:matrix.org left the room. | 15:14:21 |
| 18 Aug 2025 |
|  knownasred changed their display name from redblueflame to knownasred. | 14:26:02 |
| 22 Aug 2025 |
|  elikoga changed their profile picture. | 17:27:51 |
| 23 Aug 2025 |
|  ➡️@amadaluzia:unredacted.org changed their profile picture. | 10:12:05 |
