diff options
author | tv <tv@shackspace.de> | 2015-07-19 16:01:23 +0200 |
---|---|---|
committer | tv <tv@shackspace.de> | 2015-07-19 16:04:56 +0200 |
commit | 9736af46c0acf12113537bcaa2eb5d736b9d7c25 (patch) | |
tree | 9a2b21a6b5aa00d59cedbb6f683f8be9a44bc231 /Zpkgs/tv/github-known_hosts.nix | |
parent | c7acf4bf2a2d31494b0dd5819c1a621c2492ce7c (diff) |
Zpkgs tv github-known_hosts: init
Diffstat (limited to 'Zpkgs/tv/github-known_hosts.nix')
-rw-r--r-- | Zpkgs/tv/github-known_hosts.nix | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Zpkgs/tv/github-known_hosts.nix b/Zpkgs/tv/github-known_hosts.nix new file mode 100644 index 000000000..302fdd8d5 --- /dev/null +++ b/Zpkgs/tv/github-known_hosts.nix @@ -0,0 +1,13 @@ +{ lib, ... }: + +with builtins; +with lib; + +let + github-pubkey = removeSuffix "\n" (readFile ../../Zpubkeys/github.ssh.pub); +in + +toFile "github-known_hosts" + (concatMapStrings + (i: "github.com,192.30.252.${toString i} ${github-pubkey}\n") + (range 0 255)) |