home

commit b1c75bd42cffccb820a1e9bf126e5e8a2a255cf0
parent 5b6d79a1ccf9825b6b8e2df15f73878a9632aefb
Author: Vincent Demeester <vincent@sbr.pm>
Date:   Fri,  2 Oct 2020 11:56:27 +0200

systems/hokkaido: add hidetopbar

Signed-off-by: Vincent Demeester <vincent@sbr.pm>

Diffstat:
M
pkgs/default.nix
 | 
1
+
A
pkgs/gnome/extensions/hide-top-bar/default.nix
 | 
34
++++++++++++++++++++++++++++++++++
M
users/vincent/desktop/dconf.nix
 | 
8
+++++++-
M
users/vincent/desktop/gnome.nix
 | 
2
+-

4 files changed, 43 insertions(+), 2 deletions(-)
diff --git a/pkgs/default.nix b/pkgs/default.nix
@@ -118,4 +118,5 @@ rec {
 
   gnome-shell-extension-shell = pkgs.callPackage ./gnome/extensions/shell { };
   gnome-bluetooth-quick-connect = pkgs.callPackage ./gnome/extensions/bluetooth-quick-connect { };
+  hidetopbar = pkgs.callPackage ./gnome/extensions/hide-top-bar { };
 }
diff --git a/pkgs/gnome/extensions/hide-top-bar/default.nix b/pkgs/gnome/extensions/hide-top-bar/default.nix
@@ -0,0 +1,34 @@
+{ stdenv, fetchFromGitHub, glib, gettext, bash, nodePackages, gnome3, zip }:
+
+stdenv.mkDerivation rec {
+  pname = "hidetopbar";
+  version = "2020-09-21";
+
+  src = fetchFromGitHub {
+    owner = "mlutfy";
+    repo = "hidetopbar";
+    rev = "994937d37528aa25bac954e4f1607adc8d991f4c";
+    sha256 = "0cc4b3iid0fxrsrdwc9m1rnia7z9whbgdwkag0x1frlif4rknjrr";
+  };
+
+  nativeBuildInputs = [
+    glib
+    gettext
+    nodePackages.typescript
+    zip
+  ];
+
+  uuid = "hidetopbar@mathieu.bidon.ca";
+
+  installPhase = ''
+    mkdir -p $out/share/gnome-shell/extensions/${uuid}
+    cp -r * $out/share/gnome-shell/extensions/${uuid}
+  '';
+
+  meta = with stdenv.lib; {
+    description = "Hide GNOME's top bar when it gets into your way.";
+    license = licenses.gpl3;
+    maintainers = with maintainers; [ vdemeester ];
+    homepage = "https://github.com/mlutfy/hidetopbar";
+  };
+}
diff --git a/users/vincent/desktop/dconf.nix b/users/vincent/desktop/dconf.nix
@@ -94,7 +94,7 @@ in
     };
     # Shell
     "org/gnome/shell" = {
-      enabled-extensions = [ "drive-menu@gnome-shell-extensions.gcampax.github.com" "sound-output-device-chooser@kgshank.net" "user-theme@gnome-shell-extensions.gcampax.github.com" "launch-new-instance@gnome-shell-extensions.gcampax.github.com" "bluetooth-quick-connect@bjarosze.gmail.com" ];
+      enabled-extensions = [ "drive-menu@gnome-shell-extensions.gcampax.github.com" "sound-output-device-chooser@kgshank.net" "user-theme@gnome-shell-extensions.gcampax.github.com" "launch-new-instance@gnome-shell-extensions.gcampax.github.com" "bluetooth-quick-connect@bjarosze.gmail.com" "hidetopbar@mathieu.bidon.ca" ];
     };
     # Extensions
     "org/gnome/shell/extensions/hidetopbar" = {
@@ -103,5 +103,11 @@ in
       mouse-sensitive = true;
       mouse-sensitive-fullscreen-window = false;
     };
+    "org/gnome/shell/extensions/hidetopbar" = {
+      enable-active-window = false;
+      enable-intellihide = true;
+      mouse-sensitive = true;
+      mouse-sensitive-fullscreen-window = false;
+    };
   };
 }
diff --git a/users/vincent/desktop/gnome.nix b/users/vincent/desktop/gnome.nix
@@ -28,9 +28,9 @@
     gnome3.gnome-usage
 
     gnomeExtensions.sound-output-device-chooser
-    gnomeExtensions.tilingnome
     my.gnome-shell-extension-shell
     my.gnome-bluetooth-quick-connect
+    my.hidetopbar
     gnome3.gnome-shell-extensions
 
     pop-gtk-theme