summaryrefslogtreecommitdiffstats
path: root/pkgs/tools/text/gnused
diff options
context:
space:
mode:
authorVladimír Čunát <vcunat@gmail.com>2017-01-06 10:53:25 +0100
committerVladimír Čunát <vcunat@gmail.com>2017-01-06 10:53:25 +0100
commitcb70a594cbf6cc097d9ac57d3b036d2418452006 (patch)
treef4bdb9ccab3eb4c05250fbbb76d48244e0bd35e2 /pkgs/tools/text/gnused
parent789b811e7d6558fa2b711ca6f57d7fc38a632d72 (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.nix31
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 = [ ];
+ };
+}