diff options
| author | Jon Banafato <jon@jonafato.com> | 2018-10-19 23:17:36 -0400 |
|---|---|---|
| committer | Jan Tojnar <jtojnar@gmail.com> | 2018-11-30 21:35:24 +0100 |
| commit | 55cbc8b0e9dc1741c7dfee165f1162a1cd4637a4 (patch) | |
| tree | 93e604417a77d1ebde7833fed173df2a28003fef /pkgs | |
| parent | 999cd7f8dc890af2b1785c64fd160ad322283134 (diff) | |
| download | nixpkgs-55cbc8b0e9dc1741c7dfee165f1162a1cd4637a4.tar nixpkgs-55cbc8b0e9dc1741c7dfee165f1162a1cd4637a4.tar.gz nixpkgs-55cbc8b0e9dc1741c7dfee165f1162a1cd4637a4.tar.bz2 nixpkgs-55cbc8b0e9dc1741c7dfee165f1162a1cd4637a4.tar.lz nixpkgs-55cbc8b0e9dc1741c7dfee165f1162a1cd4637a4.tar.xz nixpkgs-55cbc8b0e9dc1741c7dfee165f1162a1cd4637a4.tar.zst nixpkgs-55cbc8b0e9dc1741c7dfee165f1162a1cd4637a4.zip | |
gnomeExtensions.no-title-bar: 8 -> 9
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/desktops/gnome-3/extensions/no-title-bar/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/no-title-bar/default.nix b/pkgs/desktops/gnome-3/extensions/no-title-bar/default.nix index 43e94ce6bfb..e1dedd2a88b 100644 --- a/pkgs/desktops/gnome-3/extensions/no-title-bar/default.nix +++ b/pkgs/desktops/gnome-3/extensions/no-title-bar/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { name = "gnome-shell-extension-no-title-bar-${version}"; - version = "8"; + version = "9"; src = fetchFromGitHub { owner = "franglais125"; repo = "no-title-bar"; rev = "v${version}"; - sha256 = "0n3ayf7k2icy913sjl1d6iwm21i8fivv0f7wj7gck8q7q2j7i3bz"; + sha256 = "02zm61fg40r005fn2rvgrbsz2hbcsmp2hkhyilqbmpilw35y0nbq"; }; nativeBuildInputs = [ |