fix(wpcarro/nix): Remove <briefcase> references r/3249

Angle-bracketed references are a Nix anti-pattern, and thankfully this
repository enforces this as a standard.

TL;DR:
- Drop angle-bracketed references
- Change `briefcase` -> `users.wpcarro`
- Fix any resulting regressions
- Fix //users/wpcarro/tools/simple_vim
- Mark //users/wpcarro/boilerplate/typescript and related projects
  as broken
- drop .skip-subtree file, enabling depot CI

Change-Id: I7153cbabafa617bfd6b199370cbec65cb75441f6
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4325
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Reviewed-by: tazjin <mail@tazj.in>
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: wpcarro <wpcarro@gmail.com>

1 files changed, 9 insertions, 10 deletions

diff --git a/users/wpcarro/nixos/socrates/default.nix b/users/wpcarro/nixos/socrates/default.nix
index 8b762a56de..6284977af6 100644
--- a/users/wpcarro/nixos/socrates/default.nix
+++ b/users/wpcarro/nixos/socrates/default.nix
@@ -1,7 +1,6 @@
-let
-  briefcase = import <briefcase> {};
-  pkgs = briefcase.third_party.pkgs;
-in {
+{ pkgs, depot, ... }:
+
+{
   imports = [ ./hardware.nix ];
 
   # Use the systemd-boot EFI boot loader.
@@ -117,7 +116,7 @@ in {
   systemd.services.zoo = {
     enable = true;
     description = "Run my monoserver";
-    script = "${briefcase.zoo}/zoo";
+    script = "${depot.users.wpcarro.zoo}/zoo";
     environment = {};
     serviceConfig = {
       Restart = "always";
@@ -175,12 +174,12 @@ in {
       "wpcarro.dev" = {
         addSSL = true;
         enableACME = true;
-        root = briefcase.website;
+        root = depot.users.wpcarro.website;
       };
       "learn.wpcarro.dev" = {
         addSSL = true;
         enableACME = true;
-        root = briefcase.website.learn;
+        root = depot.users.wpcarro.website.learn;
       };
       "git.wpcarro.dev" = {
         addSSL = true;
@@ -192,17 +191,17 @@ in {
       "blog.wpcarro.dev" = {
         addSSL = true;
         enableACME = true;
-        root = briefcase.website.blog;
+        root = depot.users.wpcarro.website.blog;
       };
       # "sandbox.wpcarro.dev" = {
       #   addSSL = true;
       #   enableACME = true;
-      #   root = briefcase.website.sandbox;
+      #   root = depot.users.wpcarro.website.sandbox;
       # };
       # "learnpianochords.app" = {
       #   addSSL = true;
       #   enableACME = true;
-      #   root = briefcase.website.sandbox.learnpianochords;
+      #   root = depot.users.wpcarro.website.sandbox.learnpianochords;
       # };
       "zoo.wpcarro.dev" = {
         addSSL = true;