blob: 07135b35cc535fbe40eb3f7cbbe895afcdfaa27e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
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;
};
}
|
