chore(web/tvl): Move TVL static assets out of //users/tazjin

It's now more like my personal homepage depends on TVL assets, not the
other way around.

Change-Id: Ifb9d61aa8ec2cab549e25de3a3dfbbd08f3d336c
Reviewed-on: https://cl.tvl.fyi/c/depot/+/3435
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>

users/tazjin/homepage/default.nix

@@ -71,5 +71,7 @@ in runCommandNoCC "website" {} ''
   mkdir $out
   cp ${homepage} $out/index.html
   cp ${atomFeed} $out/feed.atom
-  cp -r ${./static} $out/static
+  mkdir $out/static
+  cp -r ${depot.web.static}/* $out/static
+  cp -rf ${./static}/* $out/static
 ''

web/static/default.nix

@@ -0,0 +1,6 @@
+{ pkgs, ... }:
+
+# Needs to be a derivation ...
+pkgs.runCommand "tvl-static" {} ''
+  cp -r ${./.} $out
+''

web/tvl/default.nix

@@ -41,11 +41,7 @@ let
     '';
   };
 in runCommandNoCC "website" {} ''
-  mkdir -p $out/static
+  mkdir $out
   cp ${homepage} $out/index.html
-  cp -r ${./static}/* $out/static
+  cp -r ${depot.web.static} $out/static
-
-  # Some assets are stolen from tazjin's blog
-  cp ${depot.users.tazjin.homepage}/static/jetbrains-* $out/static
-  cp ${depot.users.tazjin.homepage}/static/tazjin.css $out/static
 ''