2019-08-12 19:41:07 +01:00
|
|
|
{ stdenv, fetchurl, intltool, gettext, makeWrapper, coreutils, gnused, gnome3
|
2019-09-12 15:25:05 +01:00
|
|
|
, gnugrep, parted, glib, libuuid, pkgconfig, gtkmm3, libxml2
|
2019-08-08 23:39:25 +01:00
|
|
|
, gpart, hdparm, procps, utillinux, polkit, wrapGAppsHook, substituteAll
|
2015-06-12 10:53:33 +01:00
|
|
|
}:
|
2010-07-28 16:35:01 +01:00
|
|
|
|
2013-02-14 12:13:10 +00:00
|
|
|
stdenv.mkDerivation rec {
|
2020-01-26 22:10:50 +00:00
|
|
|
name = "gparted-1.1.0";
|
2009-09-10 17:57:21 +01:00
|
|
|
|
|
|
|
src = fetchurl {
|
2016-01-21 15:05:42 +00:00
|
|
|
url = "mirror://sourceforge/gparted/${name}.tar.gz";
|
2020-01-26 22:10:50 +00:00
|
|
|
sha256 = "092rgwjh1825fal6v3yafq2wr0i61hh0a2n0j4296zn0zdx7pzp2";
|
2009-09-10 17:57:21 +01:00
|
|
|
};
|
|
|
|
|
2019-08-08 23:39:25 +01:00
|
|
|
# Tries to run `pkexec --version` to get version.
|
|
|
|
# however the binary won't be suid so it returns
|
|
|
|
# an error preventing the program from detection
|
|
|
|
patches = [
|
|
|
|
(substituteAll {
|
|
|
|
src = ./polkit.patch;
|
|
|
|
polkit_version = polkit.version;
|
|
|
|
})
|
|
|
|
];
|
|
|
|
|
2015-11-26 17:44:44 +00:00
|
|
|
configureFlags = [ "--disable-doc" ];
|
2009-09-10 17:57:21 +01:00
|
|
|
|
2019-09-12 15:25:05 +01:00
|
|
|
buildInputs = [ parted glib libuuid gtkmm3 libxml2 polkit.bin gnome3.adwaita-icon-theme ];
|
2019-08-08 23:39:25 +01:00
|
|
|
nativeBuildInputs = [ intltool gettext pkgconfig wrapGAppsHook ];
|
|
|
|
|
|
|
|
preFixup = ''
|
|
|
|
gappsWrapperArgs+=(
|
|
|
|
--prefix PATH : "${stdenv.lib.makeBinPath [ gpart hdparm utillinux procps coreutils gnused gnugrep ]}"
|
|
|
|
)
|
|
|
|
'';
|
2015-10-29 13:38:09 +00:00
|
|
|
|
2019-08-08 23:39:25 +01:00
|
|
|
# Doesn't get installed automaticallly if PREFIX != /usr
|
2015-10-29 13:38:09 +00:00
|
|
|
postInstall = ''
|
2019-08-08 23:39:25 +01:00
|
|
|
install -D -m0644 org.gnome.gparted.policy \
|
|
|
|
$out/share/polkit-1/actions/org.gnome.gparted.policy
|
2015-10-29 13:38:09 +00:00
|
|
|
'';
|
2009-09-10 17:57:21 +01:00
|
|
|
|
2015-01-26 18:50:52 +00:00
|
|
|
meta = with stdenv.lib; {
|
2010-07-28 16:35:01 +01:00
|
|
|
description = "Graphical disk partitioning tool";
|
2015-01-26 18:50:52 +00:00
|
|
|
longDescription = ''
|
|
|
|
GNOME Partition Editor for creating, reorganizing, and deleting disk
|
|
|
|
partitions. GParted enables you to change the partition organization
|
|
|
|
while preserving the partition contents.
|
|
|
|
'';
|
2018-05-01 04:03:23 +01:00
|
|
|
homepage = https://gparted.org;
|
2015-05-28 18:20:29 +01:00
|
|
|
license = licenses.gpl2Plus;
|
2015-08-04 23:08:51 +01:00
|
|
|
platforms = platforms.linux;
|
2009-09-10 17:57:21 +01:00
|
|
|
};
|
|
|
|
}
|