                    (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

  (flycheck-mode)
  (flycheck-buffer))

(defun intero-make-options-list (targets no-build no-load)
  "Make the stack ghci options list.
TARGETS are the build targets.  When non-nil, NO-BUILD and
NO-LOAD enable the correspondingly-named stack options."

                          (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)
                    nil)))
    (insert (propertize
             (format "Starting:\n  stack ghci %s\n" (combine-and-quote-strings arguments))
             'face 'font-lock-comment-face))
