Merge pull request #190312 from posch/add-debian-hostname

This commit is contained in:
Sandro 2022-09-16 11:01:09 +02:00 committed by GitHub
commit 714eff8bb8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 36 additions and 0 deletions

View File

@ -10708,6 +10708,12 @@
fingerprint = "48AD DE10 F27B AFB4 7BB0 CCAF 2D25 95A0 0D08 ACE0";
}];
};
posch = {
email = "tp@fonz.de";
github = "posch";
githubId = 146413;
name = "Tobias Poschwatta";
};
ppenguin = {
name = "Jeroen Versteeg";
email = "hieronymusv@gmail.com";

View File

@ -0,0 +1,28 @@
{ stdenv, lib, fetchurl }:
stdenv.mkDerivation rec {
pname = "hostname-debian";
version = "3.23";
src = fetchurl {
url = "https://deb.debian.org/debian/pool/main/h/hostname/hostname_${version}.tar.gz";
sha256 = "sha256-vG0ZVLIoSYaf+LKmAuOfCLFwL2htS1jdeSfN61tIdu8=";
};
postPatch = ''
substituteInPlace Makefile --replace 'install -o root -g root' 'install'
'';
makeFlags = [ "BINDIR=$(out)/bin" "MANDIR=$(out)/share/man" ];
meta = with lib; {
description = "Utility to set/show the host name or domain name";
longDescription = ''
This package provides commands which can be used to display the system's
DNS name, and to display or set its hostname or NIS domain name.
'';
homepage = "https://tracker.debian.org/pkg/hostname";
license = licenses.gpl2Plus;
maintainers = with maintainers; [ posch ];
platforms = platforms.gnu;
};
}

View File

@ -7519,6 +7519,8 @@ with pkgs;
hostess = callPackage ../development/tools/hostess {};
hostname-debian = callPackage ../tools/networking/hostname-debian { };
hotpatch = callPackage ../development/libraries/hotpatch { };
hotspot = libsForQt5.callPackage ../development/tools/analysis/hotspot { };