                    (unless (equal "" package-name)
                      (list package-name))))
              (not (buffer-local-value 'intero-try-with-build buffer))
-             t ;; pass --no-load
+             t ;; pass --no-load to stack
+             t ;; pass -ignore-dot-ghci to intero
              ))
            (script-args
             (with-current-buffer source-buffer

                          (unless (equal "" package-name)
                            (list package-name))))
                    (buffer-local-value 'intero-repl-no-build backend-buffer)
                    (buffer-local-value 'intero-repl-no-load backend-buffer))))
    (insert (propertize
             (format "Starting:\n  stack ghci %s\n" (combine-and-quote-strings arguments))
             'face 'font-lock-comment-face))

            (list "--no-build"))
          (when no-load
            (list "--no-load"))
          (when ignore-dot-ghci
            (list "--ghci-options" "-ignore-dot-ghci"))
          (let ((dir (intero-localize-path (intero-make-temp-file "intero" t))))
            (list "--ghci-options"
                  (concat "-odir=" dir)
