JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #81073 from ericdallo/gnome-extensions-drawn-on-your-screen

Browse Source 
gnomeExtensions.draw-on-your-screen: init at 6
This commit is contained in:
Dmitry Kalinkin 2020-03-22 03:27:51 -04:00 committed by GitHub
commit 7b389de077
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 30 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
pkgs/desktops/gnome-3/extensions/draw-on-your-screen/default.nix Normal file
View File

@ -0,0 +1,29 @@
{ stdenv, fetchgit, gettext, gnome3 }:
stdenv.mkDerivation rec {
pname = "gnome-shell-extension-draw-on-your-screen";
version = "6";
src = fetchgit {
url = "https://framagit.org/abakkk/DrawOnYourScreen/";
rev = "v${version}";
sha256 = "05i20ii8lv6mg56rz8lng80dx35l6g45j8wr7jgbp591hg0spj1w";
};
uuid = "drawOnYourScreen@abakkk.framagit.org";
installPhase = ''
runHook preInstall
mkdir -p $out/share/gnome-shell/extensions/${uuid}
cp -r . $out/share/gnome-shell/extensions/${uuid}
runHook postInstall
'';
meta = with stdenv.lib; {
description = "A drawing extension for GNOME Shell";
license = licenses.gpl2Plus;
maintainers = with maintainers; [ ericdallo ];
platforms = gnome3.gnome-shell.meta.platforms;
homepage = "https://framagit.org/abakkk/DrawOnYourScreen";
};
}

1
pkgs/top-level/all-packages.nix
View File

@ -23970,6 +23970,7 @@ in
clipboard-indicator = callPackage ../desktops/gnome-3/extensions/clipboard-indicator { };
dash-to-dock = callPackage ../desktops/gnome-3/extensions/dash-to-dock { };
dash-to-panel = callPackage ../desktops/gnome-3/extensions/dash-to-panel { };
draw-on-your-screen = callPackage ../desktops/gnome-3/extensions/draw-on-your-screen { };
drop-down-terminal = callPackage ../desktops/gnome-3/extensions/drop-down-terminal { };
gsconnect = callPackage ../desktops/gnome-3/extensions/gsconnect { };
icon-hider = callPackage ../desktops/gnome-3/extensions/icon-hider { };