diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2017-01-06 10:53:25 +0100 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2017-01-06 10:53:25 +0100 |
commit | cb70a594cbf6cc097d9ac57d3b036d2418452006 (patch) | |
tree | f4bdb9ccab3eb4c05250fbbb76d48244e0bd35e2 /pkgs/tools/text/gnused | |
parent | 789b811e7d6558fa2b711ca6f57d7fc38a632d72 (diff) |
sed: bring back 4.2.2 temporarily
It will be useful to fixup compatibility problems with [:space:].
Diffstat (limited to 'pkgs/tools/text/gnused')
-rw-r--r-- | pkgs/tools/text/gnused/422.nix | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/pkgs/tools/text/gnused/422.nix b/pkgs/tools/text/gnused/422.nix new file mode 100644 index 000000000000..037c2f17a63b --- /dev/null +++ b/pkgs/tools/text/gnused/422.nix @@ -0,0 +1,31 @@ +{ stdenv, fetchurl }: + +stdenv.mkDerivation { + name = "gnused-4.2.2"; + + src = fetchurl { + url = mirror://gnu/sed/sed-4.2.2.tar.bz2; + sha256 = "f048d1838da284c8bc9753e4506b85a1e0cc1ea8999d36f6995bcb9460cddbd7"; + }; + + outputs = [ "out" "info" ]; + + meta = { + homepage = http://www.gnu.org/software/sed/; + description = "GNU sed, a batch stream editor"; + + longDescription = '' + Sed (stream editor) isn't really a true text editor or text + processor. Instead, it is used to filter text, i.e., it takes + text input and performs some operation (or set of operations) on + it and outputs the modified text. Sed is typically used for + extracting part of a file using pattern matching or substituting + multiple occurrences of a string within a file. + ''; + + license = stdenv.lib.licenses.gpl3Plus; + + platforms = stdenv.lib.platforms.all; + maintainers = [ ]; + }; +} |