Linus Emmerich
d72bb5916a
Make Forge compatible with the current GNOME Shell 50.1 by updating it to upstream
55 lines
1.3 KiB
Nix
55 lines
1.3 KiB
Nix
{
|
|
fetchFromGitHub,
|
|
glib,
|
|
lib,
|
|
stdenv,
|
|
...
|
|
}:
|
|
let
|
|
uuid = "forge@jmmaranan.com";
|
|
in
|
|
stdenv.mkDerivation {
|
|
pname = "gnome-shell-extension-forge";
|
|
version = "50.1-development";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "forge-ext";
|
|
repo = "forge";
|
|
rev = "0319a7125db1088556b159a69bbec77e111afca7";
|
|
hash = "sha256-IyjHjL1RqxZZZgMnRlmavnae3OqZvRT6aSwKouQRopc=";
|
|
};
|
|
|
|
nativeBuildInputs = [ glib ];
|
|
|
|
buildPhase = ''
|
|
runHook preBuild
|
|
glib-compile-schemas --strict schemas
|
|
runHook postBuild
|
|
'';
|
|
|
|
installPhase = ''
|
|
runHook preInstall
|
|
mkdir -p $out/share/gnome-shell/extensions/
|
|
cp -r -T . $out/share/gnome-shell/extensions/${uuid}
|
|
# The makefile autogenerates a lib/prefs/metadata.js with a list of
|
|
# developers. We can just hardcode an empty one to avoid having to read the
|
|
# git history during the derivation.
|
|
echo "export const developers = []" > \
|
|
$out/share/gnome-shell/extensions/${uuid}/lib/prefs/metadata.js
|
|
runHook postInstall
|
|
'';
|
|
|
|
passthru = {
|
|
extensionPortalSlug = "forge";
|
|
extensionUuid = uuid;
|
|
};
|
|
|
|
meta = {
|
|
description = "Tiling and window manager for GNOME";
|
|
homepage = "https://extensions.gnome.org/extension/4481/forge/";
|
|
license = lib.licenses.gpl2Plus;
|
|
maintainers = with lib.maintainers; [ agustinmista ];
|
|
platforms = lib.platforms.linux;
|
|
};
|
|
}
|