hostname-debian: init at 3.23
The Debian version of hostname is widely used on other distros. It offers a few more options (-I, -A).
This commit is contained in:
parent
1f5af4a485
commit
9d8ebb0b58
28
pkgs/tools/networking/hostname-debian/default.nix
Normal file
28
pkgs/tools/networking/hostname-debian/default.nix
Normal 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;
|
||||
};
|
||||
}
|
@ -7464,6 +7464,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 { };
|
||||
|
Loading…
Reference in New Issue
Block a user