chore(users): grfn -> aspen r/7511

Change-Id: I6c6847fac56f0a9a1a2209792e00a3aec5e672b9
Reviewed-on: https://cl.tvl.fyi/c/depot/+/10809
Autosubmit: aspen <root@gws.fyi>
Reviewed-by: sterni <sternenseemann@systemli.org>
Tested-by: BuildkiteCI
Reviewed-by: lukegb <lukegb@tvl.fyi>

4 files changed, 0 insertions, 236 deletions

diff --git a/users/grfn/system/home/machines/dobharchu.nix b/users/grfn/system/home/machines/dobharchu.nix
deleted file mode 100644
index c26f3baef12e..000000000000
--- a/users/grfn/system/home/machines/dobharchu.nix
+++ /dev/null
@@ -1,20 +0,0 @@
-{ config, lib, pkgs, ... }:
-
-{
-  imports = [
-    ../platforms/darwin.nix
-    ../modules/common.nix
-    # ../modules/games.nix
-  ];
-
-  home.packages = with pkgs; [
-    coreutils
-    gnupg
-    nix-prefetch-github
-    pass
-    pinentry_mac
-  ];
-
-  programs.home-manager.enable = true;
-  home.stateVersion = "21.11";
-}
diff --git a/users/grfn/system/home/machines/ogopogo.nix b/users/grfn/system/home/machines/ogopogo.nix
deleted file mode 100644
index 22ef65bb73d2..000000000000
--- a/users/grfn/system/home/machines/ogopogo.nix
+++ /dev/null
@@ -1,76 +0,0 @@
-{ pkgs, lib, config, ... }:
-
-let
-  inherit (builtins) pathExists;
-  laptopKeyboardId = "5";
-in
-
-{
-  imports = [
-    ../platforms/linux.nix
-    ../modules/common.nix
-    ../modules/desktop.nix
-    ../modules/development/agda.nix
-    ../modules/development/readyset.nix
-    ../modules/development/ocaml.nix
-  ] ++ (lib.optional (pathExists ../modules/private.nix) ../modules/private.nix);
-
-  programs.home-manager.enable = true;
-  home.stateVersion = "21.11";
-
-  system.machine = {
-    wirelessInterface = "wlp4s0";
-    i3FontSize = 9;
-    battery = false;
-  };
-
-  home.packages = with pkgs; [
-    zoom-us
-    slack
-    mariadb
-    graphviz
-    gnuplot
-    mypaint
-    xdot
-    tdesktop
-    subsurface
-    (discord.override rec {
-      version = "0.0.22";
-      src = fetchurl {
-        url = "https://dl.discordapp.net/apps/linux/${version}/discord-${version}.tar.gz";
-        sha256 = "19xbmrd782m4lp2l0ww5v3ip227g0z8pplxigxga96q43rvp6p0p";
-      };
-    })
-    steam
-  ];
-
-  systemd.user.services.laptop-keyboard = {
-    Unit = {
-      Description = "Swap caps+escape and alt+super, but only on the built-in laptop keyboard";
-      After = [ "graphical-session-pre.target" ];
-      PartOf = [ "graphical-session.target" ];
-    };
-
-    Install = { WantedBy = [ "graphical-session.target" ]; };
-
-    Service = {
-      Type = "oneshot";
-      RemainAfterExit = true;
-      ExecStart = (
-        "${pkgs.xorg.setxkbmap}/bin/setxkbmap "
-        + "-device ${laptopKeyboardId} "
-        + "-option caps:swapescape "
-        + "-option compose:ralt "
-        + "-option altwin:swap_alt_win"
-      );
-    };
-  };
-
-  xsession.windowManager.i3.config.keybindings.F9 = "exec lock";
-
-  # Telegram adds this to ~/.config/mimeapps.list if it isn't already there,
-  # preventing home manager from installing (since it doesn't want to overwrite
-  # the file)
-  xdg.mimeApps.defaultApplications."x-scheme-handler/tg" =
-    "userapp-Telegram Desktop-K290F1.desktop";
-}
diff --git a/users/grfn/system/home/machines/roswell.nix b/users/grfn/system/home/machines/roswell.nix
deleted file mode 100644
index 135477b12ddf..000000000000
--- a/users/grfn/system/home/machines/roswell.nix
+++ /dev/null
@@ -1,63 +0,0 @@
-{ pkgs, lib, config, ... }:
-
-let
-  inherit (builtins) pathExists;
-in
-
-{
-  imports = [
-    ../platforms/linux.nix
-    ../modules/shell.nix
-    ../modules/development.nix
-    ../modules/emacs.nix
-    ../modules/vim.nix
-    ../modules/development/readyset.nix
-    ../modules/tmux.nix
-  ] ++ (lib.optional (pathExists ../modules/private.nix) ../modules/private.nix);
-
-  home.packages = with pkgs; [
-    # System utilities
-    bat
-    htop
-    killall
-    bind
-    zip
-    unzip
-    tree
-    nmap
-    bc
-    pv
-
-    # Security
-    gnupg
-    keybase
-    openssl
-
-    # Nix things
-    nixfmt
-    nix-prefetch-github
-    nixpkgs-review
-    cachix
-
-    # ReadySet stuff
-    nodejs
-    mysql80
-
-    (writeShellScriptBin "xdg-open" "echo xdg-open: \"$@\"")
-  ];
-
-  programs.password-store.enable = true;
-
-  programs.home-manager.enable = true;
-  home.stateVersion = "20.03";
-
-  xsession.enable = lib.mkForce false;
-
-  services.lorri.enable = true;
-
-  programs.direnv = {
-    enable = true;
-    enableBashIntegration = true;
-    enableZshIntegration = true;
-  };
-}
diff --git a/users/grfn/system/home/machines/yeren.nix b/users/grfn/system/home/machines/yeren.nix
deleted file mode 100644
index 9a7a561b5e62..000000000000
--- a/users/grfn/system/home/machines/yeren.nix
+++ /dev/null
@@ -1,77 +0,0 @@
-{ pkgs, lib, config, ... }:
-
-let
-  inherit (builtins) pathExists;
-  laptopKeyboardId = "5";
-in
-
-{
-  imports = [
-    ../platforms/linux.nix
-    ../modules/common.nix
-    ../modules/desktop.nix
-    ../modules/development/agda.nix
-    ../modules/development/readyset.nix
-    ../modules/development/ocaml.nix
-  ] ++ (lib.optional (pathExists ../modules/private.nix) ../modules/private.nix);
-
-  # for when hacking
-  programs.home-manager.enable = true;
-  home.stateVersion = "20.03";
-
-  system.machine = {
-    wirelessInterface = "wlp0s20f3";
-    i3FontSize = 9;
-  };
-
-  home.packages = with pkgs; [
-    zoom-us
-    slack
-    mariadb
-    graphviz
-    gnuplot
-    mypaint
-    xdot
-    tdesktop
-    subsurface
-    discord
-    steam
-  ];
-
-  systemd.user.services.laptop-keyboard = {
-    Unit = {
-      Description = "Swap caps+escape and alt+super, but only on the built-in laptop keyboard";
-      After = [ "graphical-session-pre.target" ];
-      PartOf = [ "graphical-session.target" ];
-    };
-
-    Install = { WantedBy = [ "graphical-session.target" ]; };
-
-    Service = {
-      Type = "oneshot";
-      RemainAfterExit = true;
-      ExecStart = (
-        "${pkgs.xorg.setxkbmap}/bin/setxkbmap "
-        + "-device ${laptopKeyboardId} "
-        + "-option caps:swapescape "
-        + "-option compose:ralt "
-        + "-option altwin:swap_alt_win"
-      );
-    };
-  };
-
-  xsession.windowManager.i3.config.keybindings.F9 = "exec lock";
-
-  xdg.mimeApps.defaultApplications."x-scheme-handler/tg" =
-    "telegramdesktop.desktop";
-
-  programs.zsh.shellAliases = {
-    "graph" = "curl -s localhost:6033/graph | dot -Tpng | feh -";
-  };
-
-  programs.ssh.matchBlocks."grfn-dev" = {
-    host = "grfn-dev";
-    forwardAgent = true;
-    user = "ubuntu";
-  };
-}