diff options
author | Ismaël Bouya <ismael.bouya@normalesup.org> | 2023-10-04 01:35:06 +0200 |
---|---|---|
committer | Ismaël Bouya <ismael.bouya@normalesup.org> | 2023-10-04 02:11:48 +0200 |
commit | 1a64deeb894dc95e2645a75771732c6cc53a79ad (patch) | |
tree | 1b9df4838f894577a09b9b260151756272efeb53 /modules/private/websites/tools/games/codenames/shell.nix | |
parent | fa25ffd4583cc362075cd5e1b4130f33306103f0 (diff) | |
download | Nix-1a64deeb894dc95e2645a75771732c6cc53a79ad.tar.gz Nix-1a64deeb894dc95e2645a75771732c6cc53a79ad.tar.zst Nix-1a64deeb894dc95e2645a75771732c6cc53a79ad.zip |
Squash changes containing private information
There were a lot of changes since the previous commit, but a lot of them
contained personnal information about users. All thos changes got
stashed into a single commit (history is kept in a different place) and
private information was moved in a separate private repository
Diffstat (limited to 'modules/private/websites/tools/games/codenames/shell.nix')
-rw-r--r-- | modules/private/websites/tools/games/codenames/shell.nix | 50 |
1 files changed, 0 insertions, 50 deletions
diff --git a/modules/private/websites/tools/games/codenames/shell.nix b/modules/private/websites/tools/games/codenames/shell.nix deleted file mode 100644 index 053696b..0000000 --- a/modules/private/websites/tools/games/codenames/shell.nix +++ /dev/null | |||
@@ -1,50 +0,0 @@ | |||
1 | { pkgs ? import <nixpkgs> {} }: with pkgs; | ||
2 | let | ||
3 | greenapid = callPackage ./greenapid.nix {}; | ||
4 | frontend = callPackage ./frontend.nix {}; | ||
5 | nginx_conf = writeText "nginx.conf" '' | ||
6 | pid ./nginx.pid; | ||
7 | error_log stderr; | ||
8 | daemon off; | ||
9 | events { | ||
10 | } | ||
11 | http { | ||
12 | include ${mailcap}/etc/nginx/mime.types; | ||
13 | server { | ||
14 | listen 0.0.0.0:8081; | ||
15 | listen [::]:8081; | ||
16 | location /api/ { | ||
17 | proxy_set_header X-Real-IP $remote_addr; | ||
18 | proxy_set_header Host $host; | ||
19 | proxy_set_header X-Forwarded-For $proxy_add_x_forwarded_for; | ||
20 | proxy_pass http://127.0.0.1:8080/; | ||
21 | } | ||
22 | location / { | ||
23 | root ${frontend}; | ||
24 | try_files $uri $uri/ /index.html; | ||
25 | } | ||
26 | } | ||
27 | } | ||
28 | ''; | ||
29 | in | ||
30 | pkgs.mkShell { | ||
31 | buildInputs = [ | ||
32 | greenapid | ||
33 | frontend | ||
34 | python2 | ||
35 | nginx | ||
36 | ]; | ||
37 | shellHook = '' | ||
38 | greenapid & | ||
39 | pid=$! | ||
40 | |||
41 | finish() { | ||
42 | kill $pid; | ||
43 | } | ||
44 | |||
45 | trap finish EXIT | ||
46 | |||
47 | nginx -c ${nginx_conf} -p ./nginx/ | ||
48 | exit | ||
49 | ''; | ||
50 | } | ||