Add a git IP

This commit is contained in:
root@procul 2021-07-28 13:55:37 -05:00
parent fb8887a43f
commit caa1a9be7c
1 changed files with 11 additions and 4 deletions

View File

@ -4,6 +4,7 @@ with lib;
let let
hostname = "procul"; hostname = "procul";
host-ipv4 = "172.86.179.18"; host-ipv4 = "172.86.179.18";
git-ipv4 = "172.86.179.19";
domain = config.fudo.hosts.${hostname}.domain; domain = config.fudo.hosts.${hostname}.domain;
site = config.fudo.hosts.${hostname}.site; site = config.fudo.hosts.${hostname}.site;
host-fqdn = "${hostname}.${domain}"; host-fqdn = "${hostname}.${domain}";
@ -31,10 +32,16 @@ in {
interfaces = { interfaces = {
extif0 = { extif0 = {
ipv4.addresses = [{ ipv4.addresses = [
{
address = host-ipv4; address = host-ipv4;
prefixLength = 29; prefixLength = 29;
}]; }
{
address = git-ipv4;
prefixLength = 29;
}
];
}; };
}; };
}; };