{ stdenv, fetchFromGitHub, substituteAll, glib, gettext, xorg }: stdenv.mkDerivation rec { name = "gnome-shell-extension-no-title-bar-${version}"; version = "8"; src = fetchFromGitHub { owner = "franglais125"; repo = "no-title-bar"; rev = "v${version}"; sha256 = "0n3ayf7k2icy913sjl1d6iwm21i8fivv0f7wj7gck8q7q2j7i3bz"; }; nativeBuildInputs = [ glib gettext ]; patches = [ (substituteAll { src = ./fix-paths.patch; xprop = "${xorg.xprop}/bin/xprop"; xwininfo = "${xorg.xwininfo}/bin/xwininfo"; }) ]; makeFlags = [ "INSTALLBASE=$(out)/share/gnome-shell/extensions" ]; meta = with stdenv.lib; { description = "Integrates maximized windows with the top panel"; homepage = https://github.com/franglais125/no-title-bar; license = licenses.gpl2; maintainers = with maintainers; [ jonafato svsdep ]; platforms = platforms.linux; }; }