From 1fd0c08477cb5f0a19bae79bbd810583846fb684 Mon Sep 17 00:00:00 2001
From: ksyasuda <ksyasuda@umich.edu>
Date: Fri, 9 Aug 2024 02:19:48 -0700
Subject: [PATCH] update files

---
 .gitignore            | 1 +
 .vscode/settings.json | 5 ++++-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 83a78305..5af5ff9f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,7 @@
 # See http://help.github.com/ignore-files/ for more about ignoring files.
 
 sync.sh
+rebuild.sh
 
 # compiled output
 /out-tsc
diff --git a/.vscode/settings.json b/.vscode/settings.json
index 9bf4d12b..9453d3f1 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -1,4 +1,7 @@
 {
   "editor.defaultFormatter": "esbenp.prettier-vscode",
-  "editor.formatOnSave": true
+  "editor.formatOnSave": true,
+  "vim.highlightedyank.enable": true,
+  "vim.hlsearch": true,
+  "vim.leader": "<space>", 
 }