mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-21 05:04:00 +00:00
4a7f99d55d
Part of: https://github.com/NixOS/nixpkgs/issues/108938 meta = with stdenv.lib; is a widely used pattern. We want to slowly remove the `stdenv.lib` indirection and encourage people to use `lib` directly. Thus let’s start with the meta field. This used a rewriting script to mostly automatically replace all occurances of this pattern, and add the `lib` argument to the package header if it doesn’t exist yet. The script in its current form is available at https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix
53 lines
1.6 KiB
Nix
53 lines
1.6 KiB
Nix
{ lib, stdenv, fetchurl, intltool, gettext, makeWrapper, coreutils, gnused, gnome3
|
|
, gnugrep, parted, glib, libuuid, pkgconfig, gtkmm3, libxml2
|
|
, gpart, hdparm, procps, util-linux, polkit, wrapGAppsHook, substituteAll
|
|
}:
|
|
|
|
stdenv.mkDerivation rec {
|
|
name = "gparted-1.1.0";
|
|
|
|
src = fetchurl {
|
|
url = "mirror://sourceforge/gparted/${name}.tar.gz";
|
|
sha256 = "092rgwjh1825fal6v3yafq2wr0i61hh0a2n0j4296zn0zdx7pzp2";
|
|
};
|
|
|
|
# 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;
|
|
})
|
|
];
|
|
|
|
configureFlags = [ "--disable-doc" ];
|
|
|
|
buildInputs = [ parted glib libuuid gtkmm3 libxml2 polkit.bin gnome3.adwaita-icon-theme ];
|
|
nativeBuildInputs = [ intltool gettext pkgconfig wrapGAppsHook ];
|
|
|
|
preFixup = ''
|
|
gappsWrapperArgs+=(
|
|
--prefix PATH : "${stdenv.lib.makeBinPath [ gpart hdparm util-linux procps coreutils gnused gnugrep ]}"
|
|
)
|
|
'';
|
|
|
|
# Doesn't get installed automaticallly if PREFIX != /usr
|
|
postInstall = ''
|
|
install -D -m0644 org.gnome.gparted.policy \
|
|
$out/share/polkit-1/actions/org.gnome.gparted.policy
|
|
'';
|
|
|
|
meta = with lib; {
|
|
description = "Graphical disk partitioning tool";
|
|
longDescription = ''
|
|
GNOME Partition Editor for creating, reorganizing, and deleting disk
|
|
partitions. GParted enables you to change the partition organization
|
|
while preserving the partition contents.
|
|
'';
|
|
homepage = "https://gparted.org";
|
|
license = licenses.gpl2Plus;
|
|
platforms = platforms.linux;
|
|
};
|
|
}
|