From 11adff0b72cc68f557483726cb08f61c933cc932 Mon Sep 17 00:00:00 2001
From: Jake Ginesin <jakeginesin@gmail.com>
Date: Mon, 22 Sep 2025 13:59:00 -0400
Subject: [PATCH] generation 516 25.11.20250714.62e0f05

---
 home/home.nix                         |  1 +
 home/programs/firefox/default.nix     | 25 +++++++++++++++++++++++++
 home/programs/nvim/plugins/vimtex.lua |  2 +-
 home/scripts/bspwm/add-3840p-hdmi.sh  | 25 +++++++++++++++++++++++++
 home/scripts/bspwm/add-3840p.sh       |  2 +-
 5 files changed, 53 insertions(+), 2 deletions(-)
 create mode 100644 home/scripts/bspwm/add-3840p-hdmi.sh

diff --git a/home/home.nix b/home/home.nix
index 34e321b..69634cb 100644
--- a/home/home.nix
+++ b/home/home.nix
@@ -119,6 +119,7 @@ in {
       sage
       yq
       semgrep
+      # texlive.combined.scheme-full
 
       # security
       aflplusplus
diff --git a/home/programs/firefox/default.nix b/home/programs/firefox/default.nix
index 1da3b0e..a4e8443 100644
--- a/home/programs/firefox/default.nix
+++ b/home/programs/firefox/default.nix
@@ -181,6 +181,31 @@ in {
                 }
               ];
             }
+            {
+              name = "verus";
+              bookmarks = [
+                {
+                  name = "verus playground";
+                  url = "https://play.verus-lang.org/?version=stable&mode=basic&edition=2021";
+                }
+                {
+                  name = "verus docs";
+                  url = "https://verus-lang.github.io/verus/guide/verus_macro_intro.html";
+                }
+                {
+                  name = "verus zulip";
+                  url = "https://verus-lang.zulipchat.com/";
+                }
+                {
+                  name = "vstd docs";
+                  url = "https://verus-lang.github.io/verus/verusdoc/vstd/index.html";
+                }
+                {
+                  name = "core docs";
+                  url = "https://doc.rust-lang.org/1.88.0/core/index.html";
+                }
+              ];
+            }
             {
               name = "cal";
               url = "https://calendar.google.com/";
diff --git a/home/programs/nvim/plugins/vimtex.lua b/home/programs/nvim/plugins/vimtex.lua
index 2dd9a4a..b7b0d66 100644
--- a/home/programs/nvim/plugins/vimtex.lua
+++ b/home/programs/nvim/plugins/vimtex.lua
@@ -13,7 +13,7 @@ vim.g.vimtex_quickfix_mode = 0
 vim.g.vimtex_quickfix_enabled = 0
 
 -- Compiler backend.
-vim.g.vimtex_compiler_method = 'latexrun'
+vim.g.vimtex_compiler_method = 'latexmk'
 
 -- Set the local leader (default is "\"; here we change it to comma).
 vim.g.maplocalleader = ','
diff --git a/home/scripts/bspwm/add-3840p-hdmi.sh b/home/scripts/bspwm/add-3840p-hdmi.sh
new file mode 100644
index 0000000..d40e8f4
--- /dev/null
+++ b/home/scripts/bspwm/add-3840p-hdmi.sh
@@ -0,0 +1,25 @@
+PRIMARY="$(xrandr --query | awk '/ connected primary/{print $1; exit}')"
+[ -z "$PRIMARY" ] && PRIMARY="$(xrandr --query | awk '/ connected/{print $1; exit}')"
+bspc monitor "$PRIMARY" -d 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
+
+if [[ $(xrandr -q | grep 'HDMI-1 connected') ]]; then
+xrandr --output "$PRIMARY" --primary --auto --scale 1x1 --rotate normal --output HDMI-1 --mode 3840x2160 --rotate normal --right-of "$PRIMARY"
+    bspc monitor "$PRIMARY" -d 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
+    bspc monitor HDMI-1 -d 20
+    xinput map-to-output "TPPS/2 Elan TrackPoint" "eDP-1"
+    xinput map-to-output "Synaptics TM3289-002" "eDP-1"
+else
+    xrandr --output HDMI-1 --off
+    # Remove nodes
+    while bspc node 20: --kill; do
+        :
+    done
+    # Remove workspaces
+    bspc desktop -r 20
+    # Remove monitor
+    bspc monitor HDMI-1 -r
+
+    bspc monitor "$PRIMARY" -d 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
+    xinput map-to-output "TPPS/2 Elan TrackPoint" "all"
+    xinput map-to-output "Synaptics TM3289-002" "all"
+fi
diff --git a/home/scripts/bspwm/add-3840p.sh b/home/scripts/bspwm/add-3840p.sh
index a256e74..48134f1 100644
--- a/home/scripts/bspwm/add-3840p.sh
+++ b/home/scripts/bspwm/add-3840p.sh
@@ -19,7 +19,7 @@ else
     # Remove monitor
     bspc monitor DP-2 -r
 
-    bspc monitor "$PRIMARY" -d 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 20
+    bspc monitor "$PRIMARY" -d 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
     xinput map-to-output "TPPS/2 Elan TrackPoint" "all"
     xinput map-to-output "Synaptics TM3289-002" "all"
 fi