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";
|
|
|
|
|
version = "1901";
|
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";
|
|
|
|
|
rev = "3d9573896b122e9ccb02262249ca986f8dad1ebd";
|
|
|
|
|
sha256 = "0lp25na5plz8vp8zjsikcadgy5hyx59ys2sbd4haagcalyv7jj4q";
|
|
|
|
|
};
|
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
|
|
|
chmod +w "$out/share/gnome-shell/extensions/bottompanel@tmoer93"
|
|
|
|
|
sed -i 's/.*_rightPanelBarrier.*/if(Main.layoutManager._rightPanelBarrier)&/' "$out/share/gnome-shell/extensions/bottompanel@tmoer93/extension.js"
|
|
|
|
|
'';
|
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
|
|
|
}
|
