diff --git a/.gitignore b/.gitignore
index d400534..529076b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 data/
 BUGS.org
 
+.agent-shell/