about summary refs log tree commit diff
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-09-12T13·25+0300
committerclbot <clbot@tvl.fyi>2022-09-13T11·05+0000
commitbeb78c710441f475f1b03437a381f75fb0e788d6 (patch)
tree7e7887490603d963e7f424b8e109930e84b696c6
parent20b855042d449525616150b6698063d2c530448e (diff)
feat(ops/modules): deploy tvixbolt to tvixbolt.tvl.su r/4829
Change-Id: I534cf918fc3e03ce8c14cf15f6d3280b6a657c8d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6536
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
-rw-r--r--corp/website/content.md7
-rw-r--r--ops/machines/whitby/default.nix1
-rw-r--r--ops/modules/www/tvixbolt.tvl.su.nix19
3 files changed, 27 insertions, 0 deletions
diff --git a/corp/website/content.md b/corp/website/content.md
index f7ca9786fb..8582bb3a4e 100644
--- a/corp/website/content.md
+++ b/corp/website/content.md
@@ -17,6 +17,11 @@ example:
 * Software development in various languages (Rust, Common Lisp,
   Erlang, Java and more)
 
+We also provide some services on this page:
+
+* [tvixbolt][], a web-frontend for the [Tvix][] evaluator
+* ... and other services listed on the community homepage
+
 We might be able to help you with other things on request.
 
 Note: We are still in the process of getting started and have limited
@@ -24,3 +29,5 @@ capacity at the moment. If you would like our help, please reach out
 at **contact {at} tvl.su** for a discussion.
 
 [tvl-fyi]: https://tvl.fyi
+[Tvix]: https://cs.tvl.fyi/depot/-/tree/tvix
+[tvixbolt]: https://tvixbolt.tvl.su
diff --git a/ops/machines/whitby/default.nix b/ops/machines/whitby/default.nix
index eeba2f3543..a7688423cb 100644
--- a/ops/machines/whitby/default.nix
+++ b/ops/machines/whitby/default.nix
@@ -44,6 +44,7 @@ in
     (mod "www/status.tvl.su.nix")
     (mod "www/tazj.in.nix")
     (mod "www/todo.tvl.fyi.nix")
+    (mod "www/tvixbolt.tvl.su.nix")
     (mod "www/tvl.fyi.nix")
     (mod "www/tvl.su.nix")
     (mod "www/wigglydonke.rs.nix")
diff --git a/ops/modules/www/tvixbolt.tvl.su.nix b/ops/modules/www/tvixbolt.tvl.su.nix
new file mode 100644
index 0000000000..7adddd1236
--- /dev/null
+++ b/ops/modules/www/tvixbolt.tvl.su.nix
@@ -0,0 +1,19 @@
+{ depot, ... }:
+
+{
+  imports = [
+    ./base.nix
+  ];
+
+  config = {
+    services.nginx.virtualHosts."tvixbolt.tvl.su" = {
+      root = depot.corp.tvixbolt;
+      enableACME = true;
+      forceSSL = true;
+
+      extraConfig = ''
+        add_header Strict-Transport-Security "max-age=31536000; includeSubDomains; preload" always;
+      '';
+    };
+  };
+}