rliang

I found that if the extension is installed via `code-server --install-extension`, then it works, however if it is installed via the marketplace UI (which makes it get installed as a...

Hi, Thanks, could you submit a pull request?

Hi, Would a "floating" layout suffice in this case?

The following example works for me. You can also replace `fetchGit` with `fetchTarball` or something for stable versions. ```nix { pkgs, ... }: { home.file.".local/share/gnome-shell/extensions/[email protected]".source = builtins.fetchGit { url =...