DGNum/infrastructure
13
6
Fork 3
Code Issues 20 Pull requests 9 Projects 1 Releases Packages Wiki Activity Actions

feat(compute01): init pages server #151

Open
Luj wants to merge 3 commits from init-dgnum-page into main
pull from: init-dgnum-page
merge into: DGNum:main
Conversation 3 Commits 3 Files changed 4 +18 -4
1 changed files with 18 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit e4cc002f6f - Show all commits

20
machines/compute01/pages.nix
View file

@ -69,19 +69,33 @@ in
};
services.nginx = {
defaultListen = [
{
Luj marked this conversation as resolved Outdated
thubrecht commented 2024-10-11 01:24:57 +02:00
Outdated
Review
Copy link

concatMapStringsSep existe ( https://noogle.dev/f/lib/concatMapStringsSep )

`concatMapStringsSep` existe ( https://noogle.dev/f/lib/concatMapStringsSep )
addr = "127.0.0.1";
Luj marked this conversation as resolved Outdated
thubrecht commented 2024-10-11 01:32:31 +02:00
Outdated
Review
Copy link

127.0.0.1 plutôt que 0.0.0.0 et il manque un : entre l'ip et le port

`127.0.0.1` plutôt que `0.0.0.0` et il manque un `:` entre l'ip et le port
thubrecht commented 2024-10-11 15:17:45 +02:00
Outdated
Review
Copy link

Je comprends pas très bien à quoi sert ce hostnames d'ailleurs sachant que c'est pas défini ailleurs

Je comprends pas très bien à quoi sert ce hostnames d'ailleurs sachant que c'est pas défini ailleurs
Luj commented 2024-10-11 16:06:25 +02:00
Outdated
Review
Copy link

Je pense que tu as raison

Je pense que tu as raison
Luj commented 2024-10-12 19:40:34 +02:00
Outdated
Review
Copy link

le "hostnames" sert à pouvoir mettre des éléments du type *.dgnum.eu dans la map, effectivement plus utile ici

le "hostnames" sert à pouvoir mettre des éléments du type *.dgnum.eu dans la map, effectivement plus utile ici
port = 8446;
ssl = true;
thubrecht commented 2024-10-11 15:18:24 +02:00
Outdated
Review
Copy link

L'alignement est décalé de deux caractères sur la gauche

L'alignement est décalé de deux caractères sur la gauche
Luj commented 2024-10-11 16:07:11 +02:00
Outdated
Review
Copy link

C'est pour avoir l'indentation correcte sur le fichier de config (regarde les deux espaces au début de chaque ligne).
Comme tu préfères

C'est pour avoir l'indentation correcte sur le fichier de config (regarde les deux espaces au début de chaque ligne). Comme tu préfères
thubrecht commented 2024-10-11 17:57:29 +02:00
Outdated
Review
Copy link

Ah, hmmm
Autre option, tu mets "\n " comme séparateur et pas les espaces dans la string du vhost

Ah, hmmm Autre option, tu mets "\n " comme séparateur et pas les espaces dans la string du vhost
proxyProtocol = true;
}
{
addr = "0.0.0.0";
ssl = false;
}
];
streamConfig = ''
map $ssl_preread_server_name $sni_upstream {
hostnames;
default 127.0.0.1:8010;
${lib.concatMapStringsSep "\n" (vhost: " ${vhost} 127.0.0.1:8446;") (
${
Luj marked this conversation as resolved Outdated
thubrecht commented 2024-10-11 01:25:21 +02:00
Outdated
Review
Copy link

ligne vide en trop ?

ligne vide en trop ?
lib.concatMapStringsSep "\n " (vhost: "${vhost} 127.0.0.1:8446;") (
lib.attrNames config.services.nginx.virtualHosts
Luj marked this conversation as resolved Outdated
thubrecht commented 2024-10-11 01:25:26 +02:00
Outdated
Review
Copy link

idem

idem
)}
)
}
}
server {
listen 443;
ssl_preread on;
proxy_pass $sni_upstream;
proxy_protocol on;
}
'';