From 0c2f09e992a15eca8bfef724dab57868e4e0f340 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20=C4=8Cun=C3=A1t?= <vcunat@gmail.com>
Date: Sun, 26 Jan 2014 13:44:34 +0100
Subject: [PATCH] gawk: signify interactivity in name

I forgot to commit this.
---
 pkgs/top-level/all-packages.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 43c8b14b2bc..b5fccb23c3b 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -975,7 +975,8 @@ let
   g500-control = callPackage ../tools/misc/g500-control { };
 
   gawk = lowPrio (callPackage ../tools/text/gawk { });
-  gawkInteractive = gawk.override { readlineSupport = true; };
+  gawkInteractive = appendToName "interactive"
+    (gawk.override { readlineSupport = true; });
 
   gdmap = callPackage ../tools/system/gdmap { };