diff options
| -rw-r--r-- | corp/website/content.md | 7 | ||||
| -rw-r--r-- | ops/machines/whitby/default.nix | 1 | ||||
| -rw-r--r-- | ops/modules/www/tvixbolt.tvl.su.nix | 19 |
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; + ''; + }; + }; +} |