diff --git a/.gitignore b/.gitignore
index 04d7f60..5d9a3da 100644
--- a/.gitignore
+++ b/.gitignore
@@ -320,3 +320,6 @@ main.pdf
 # these hold all the clutter we do not want to have 
 tmp
 build
+
+# ignore devbox.lock and any other lock file
+*.lock