{pkgs, ...}: 
{
    ## Gnome extensions
    programs.gnome-shell = {
        enable = true;
        extensions = [
            { package = pkgs.gnomeExtensions.dash-to-panel; }
            {
                id = "tilingshell@ferrarodomenico.com";
                package = pkgs.gnome.gnome-shell-extensions;
            }

        ];
    };
}