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

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>

10 files changed, 11 insertions, 7 deletions

diff --git a/users/tazjin/homepage/default.nix b/users/tazjin/homepage/default.nix
index 17d5d5cc87..a8ebe7e282 100644
--- a/users/tazjin/homepage/default.nix
+++ b/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
 ''
diff --git a/web/static/default.nix b/web/static/default.nix
new file mode 100644
index 0000000000..518f21d6f9
--- /dev/null
+++ b/web/static/default.nix
@@ -0,0 +1,6 @@
+{ pkgs, ... }:
+
+# Needs to be a derivation ...
+pkgs.runCommand "tvl-static" {} ''
+  cp -r ${./.} $out
+''
diff --git a/web/tvl/static/favicon.webp b/web/static/favicon.webp
index 741cdbc64f..741cdbc64f 100644
--- a/web/tvl/static/favicon.webp
+++ b/web/static/favicon.webp
Binary files differdiff --git a/users/tazjin/homepage/static/jetbrains-mono-bold-italic.woff2 b/web/static/jetbrains-mono-bold-italic.woff2
index 34b5c69ae1..34b5c69ae1 100644
--- a/users/tazjin/homepage/static/jetbrains-mono-bold-italic.woff2
+++ b/web/static/jetbrains-mono-bold-italic.woff2
Binary files differdiff --git a/users/tazjin/homepage/static/jetbrains-mono-bold.woff2 b/web/static/jetbrains-mono-bold.woff2
index 84a008af7e..84a008af7e 100644
--- a/users/tazjin/homepage/static/jetbrains-mono-bold.woff2
+++ b/web/static/jetbrains-mono-bold.woff2
Binary files differdiff --git a/users/tazjin/homepage/static/jetbrains-mono-italic.woff2 b/web/static/jetbrains-mono-italic.woff2
index 85fd468789..85fd468789 100644
--- a/users/tazjin/homepage/static/jetbrains-mono-italic.woff2
+++ b/web/static/jetbrains-mono-italic.woff2
Binary files differdiff --git a/users/tazjin/homepage/static/jetbrains-mono.woff2 b/web/static/jetbrains-mono.woff2
index d5b94cb9e7..d5b94cb9e7 100644
--- a/users/tazjin/homepage/static/jetbrains-mono.woff2
+++ b/web/static/jetbrains-mono.woff2
Binary files differdiff --git a/users/tazjin/homepage/static/tazjin.css b/web/static/tvl.css
index aea4d426ea..aea4d426ea 100644
--- a/users/tazjin/homepage/static/tazjin.css
+++ b/web/static/tvl.css
diff --git a/web/tvl/static/virus_lounge.webp b/web/static/virus_lounge.webp
index 1f898b6ad8..1f898b6ad8 100644
--- a/web/tvl/static/virus_lounge.webp
+++ b/web/static/virus_lounge.webp
Binary files differdiff --git a/web/tvl/default.nix b/web/tvl/default.nix
index e79c47b531..aa1fc225fe 100644
--- a/web/tvl/default.nix
+++ b/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
-
-  # 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
+  cp -r ${depot.web.static} $out/static
 ''