diff --git a/.gitignore b/.gitignore
index a80bb9f34..2f8cb600d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -23,7 +23,9 @@
 /src/IdrisPaths.idr
 
 /bootstrap/bin/
-/bootstrap/idris2-0*/
-/bootstrap/idris2sh_app/*.so
-/bootstrap/idris2sh_app/idris2-boot.ss
 /bootstrap/lib/
+/bootstrap/idris2-0*/
+/bootstrap/idris2sh_app/idris2-boot.*
+/bootstrap/idris2sh_app/libidris2_support.*
+/bootstrap/idris2boot
+/bootstrap/idris2boot.rkt