Merge pull request #226336

gnomeExtensions.valent: init at unstable-2023-03-18
This commit is contained in:
piegames 2023-05-07 10:33:16 +02:00 committed by GitHub
commit 47b839692c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 38 additions and 0 deletions

View File

@ -18,5 +18,6 @@
"taskwhisperer-extension@infinicode.de" = callPackage ./taskwhisperer { };
"tilingnome@rliang.github.com" = callPackage ./tilingnome { };
"TopIcons@phocean.net" = callPackage ./topicons-plus { };
"valent@andyholmes.ca" = callPackage ./valent { };
"window-corner-preview@fabiomereu.it" = callPackage ./window-corner-preview { };
}

View File

@ -0,0 +1,37 @@
{ stdenv
, lib
, fetchFromGitHub
, meson
, ninja
}:
stdenv.mkDerivation rec {
pname = "gnome-shell-extension-valent";
version = "unstable-2023-03-18";
src = fetchFromGitHub {
owner = "andyholmes";
repo = "gnome-shell-extension-valent";
rev = "e7f759047c45833cd211ef18a8554008cb1b8b12";
hash = "sha256-ylCyQbFbzCuSM2YrLuI36eXL2qQjTt1mYewJlCywKvI=";
};
nativeBuildInputs = [
meson
ninja
];
passthru = {
extensionUuid = "valent@andyholmes.ca";
extensionPortalSlug = "valent";
};
meta = with lib; {
description = "GNOME Shell integration for Valent";
homepage = "https://valent.andyholmes.ca/";
changelog = "https://github.com/andyholmes/gnome-shell-extension-valent/blob/${src.rev}/CHANGELOG.md";
license = licenses.gpl3Plus;
maintainers = [ maintainers.federicoschonborn ];
platforms = platforms.linux;
};
}