desktop: clean up
This commit is contained in:
parent
9acf72a648
commit
dd370bdebb
41 changed files with 6 additions and 6 deletions
|
@ -1,10 +1,10 @@
|
||||||
{ pkgs, ... }:
|
{ pkgs, ... }:
|
||||||
let
|
let
|
||||||
superadmins = [
|
superadmins = [
|
||||||
../../../../pubkeys/raito.keys
|
../../../pubkeys/raito.keys
|
||||||
../../../../pubkeys/gdd.keys
|
../../../pubkeys/gdd.keys
|
||||||
../../../../pubkeys/BiBi.keys
|
../../../pubkeys/BiBi.keys
|
||||||
../../../../pubkeys/sinavir.keys
|
../../../pubkeys/sinavir.keys
|
||||||
];
|
];
|
||||||
in
|
in
|
||||||
{
|
{
|
4
meta.nix
4
meta.nix
|
@ -5,7 +5,7 @@ let
|
||||||
|
|
||||||
metadata = {
|
metadata = {
|
||||||
nodes = {
|
nodes = {
|
||||||
milieu = {
|
hackens-milieu = {
|
||||||
deployment = {
|
deployment = {
|
||||||
targetHost = null; #"milieu.cave.hackens.org";
|
targetHost = null; #"milieu.cave.hackens.org";
|
||||||
# targetPort = 4243;
|
# targetPort = 4243;
|
||||||
|
@ -13,7 +13,7 @@ let
|
||||||
};
|
};
|
||||||
imports = [agenix];
|
imports = [agenix];
|
||||||
};
|
};
|
||||||
org = {
|
hackens-org = {
|
||||||
deployment = {
|
deployment = {
|
||||||
targetHost = "server1.hackens.org"; # todo make something with ens firewall
|
targetHost = "server1.hackens.org"; # todo make something with ens firewall
|
||||||
targetPort = 2222;
|
targetPort = 2222;
|
||||||
|
|
Loading…
Reference in a new issue