From 074a1b50d56f433d4a31aa7d1b13e54b4beb983d Mon Sep 17 00:00:00 2001
From: Tao Tien <29749622+taotien@users.noreply.github.com>
Date: Thu, 10 Apr 2025 14:51:42 -0700
Subject: [PATCH] ???

---
 extras/dev.nix | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/extras/dev.nix b/extras/dev.nix
index 94b643d..911c910 100644
--- a/extras/dev.nix
+++ b/extras/dev.nix
@@ -1,4 +1,13 @@
 {pkgs, ...}: {
+  # services.globalprotect = {
+  #   enable = true;
+  # settings = {
+  #   "vpn1.usfca.edu" = {
+  #     openconnect-args = "";
+  #   };
+  # };
+  # };
+
   environment.systemPackages = with pkgs; [
     # (llm.withPlugins (ps: with ps; [llm-openrouter]))
     # bash-language-server