diff options
author | tv <tv@krebsco.de> | 2023-01-31 21:28:54 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2023-01-31 21:44:41 +0100 |
commit | d1424777b5f2e12cbd80efd1b55335dcba7c32bd (patch) | |
tree | 6c749d141d13b7af589989e92de395830f15f34f | |
parent | 0c8de150426476b5287cf2787bbd85263691a802 (diff) |
writeGawk{,Bin}: init3.6.3
-rw-r--r-- | pkgs/default.nix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/pkgs/default.nix b/pkgs/default.nix index e92e1d8..b0c8638 100644 --- a/pkgs/default.nix +++ b/pkgs/default.nix @@ -259,6 +259,13 @@ pkgs: oldpkgs: { mv "$textPath" $out ''; + writeGawk = pkgs.makeScriptWriter { + interpreter = "${pkgs.gawk}/bin/awk -f"; + }; + + writeGawkBin = name: + pkgs.writeGawk "/bin/${name}"; + writeHaskell = name: extra-depends: text: pkgs.stdenv.mkDerivation { inherit name; |