2 files changed, 2 insertions, 0 deletions

diff --git a/gitconfig b/gitconfig
index 45736a3..ec0c582 100644
--- a/gitconfig
+++ b/gitconfig
@@ -31,6 +31,7 @@
 	type = cat-file -t
 	dump = cat-file -p
 	please = push --force-with-lease
+	supdate = submodule update --init --recursive
 	fclean = "!git clean -xdff && git submodule foreach git clean -xdff && :"
 	cleanup = "!git branch --merged HEAD --format=\"%(refname:lstrip=2)\" | grep -vx master | xargs git branch -d"
 [sendemail]
diff --git a/gitignore b/gitignore
index c1b7b44..6d6077e 100644
--- a/gitignore
+++ b/gitignore
@@ -15,6 +15,7 @@ result*
 build
 .gdbinit
 .cache/
+vgcore.*
 
 # Python development
 __pycache__/