diff --git a/.gitignore b/.gitignore
index b1018d44b833..b23460ec9198 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,6 +9,7 @@
 outputs/
 result-*
 result
+repl-result-*
 !pkgs/development/python-modules/result
 /doc/NEWS.html
 /doc/NEWS.txt