New features:
-
Add
--exclude-file
to more commands (#4530 by @JordanMartinez)This CLI arg was added to the
compile
command, but not to other commands
where such a usage would be relevant (e.g.docs
,repl
,graph
, andide
). -
Enable passing source input globs via
--source-globs-file path/to/file
(#4530 by @JordanMartinez)--source-globs-file
support has been added to the following commands:
compile
,docs
,graph
,ide
, andpublish
.Due to a shell character limitation on Windows where a large list of
source globs cannot be passed (e.g.purs compile ... glob1000/src/**/*.purs
),
source globs can be stored in a file according to the format below
and the file is passed in instead viapurs compile ---source-globs-file path/to/file
.# Lines starting with '#' are comments. # Blank lines are ignored. # Otherwise, every line is a glob. .spago/foo-1.2.3/src/**/*.purs .spago/bar-2.3.3/src/**/*.purs my-package/src/**/*.purs my-package/tests/**/*.purs
--source-globs-file
is an optional argument. Mixing it with the normal source globs is fine.
Assuming.spago/source-globs
containssrc/**/*.purs
, each command below will use
the same input globs:purs compile src/**/*.purs purs compile --source-globs .spago/source-globs purs compile --source-globs .spago/source-globs src/**/*.purs
In the command...
purs compile inputGlob1 inputGlob2 --source-globs-file fileWithMoreGlobs --exclude-files excludeGlob1
the files passed to the compiler are: all the files found by
inputGlob1
,inputGlob2
, and all the globs listed infileWithMoreGlobs
minus the files found byexcludeGlob1
.