2020-09-18 13:54:09 +00:00
|
|
|
{ stdenv, fetchFromGitHub, glib, gettext }:
|
|
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2020-09-24 05:45:48 +00:00
|
|
|
pname = "gnome-shell-extension-bottompanel";
|
2020-10-15 15:52:56 +00:00
|
|
|
version = "72d07b98276d48bd580ea731a0f49f46018d556d";
|
2020-09-18 13:54:09 +00:00
|
|
|
|
2020-09-24 05:45:48 +00:00
|
|
|
src = fetchFromGitHub {
|
|
|
|
|
owner = "Thoma5";
|
|
|
|
|
repo = "gnome-shell-extension-bottompanel";
|
2020-10-15 15:52:56 +00:00
|
|
|
rev = version;
|
2020-10-02 21:02:57 +00:00
|
|
|
sha256 = "1hpp39cpfd5h7x3j1b3nfly7c98sj10xqnwcmsr3d4jxkwh2vsbl";
|
2020-09-24 05:45:48 +00:00
|
|
|
};
|
2020-09-18 13:54:09 +00:00
|
|
|
|
2020-09-24 05:45:48 +00:00
|
|
|
phases = [ "installPhase" ];
|
2020-09-18 13:54:09 +00:00
|
|
|
|
2020-09-24 05:45:48 +00:00
|
|
|
installPhase = ''
|
|
|
|
|
mkdir -p "$out/share/gnome-shell/extensions"
|
|
|
|
|
cp -r "$src" "$out/share/gnome-shell/extensions/bottompanel@tmoer93"
|
|
|
|
|
'';
|
2020-09-18 13:54:09 +00:00
|
|
|
|
2020-09-24 05:45:48 +00:00
|
|
|
meta = with stdenv.lib; {
|
|
|
|
|
description = "Move your GNOME 3 shell panel to the bottom";
|
|
|
|
|
homepage = https://github.com/Thoma5/gnome-shell-extension-bottompanel;
|
|
|
|
|
};
|
2020-09-18 13:54:09 +00:00
|
|
|
}
|
