diff options
| author | Lasse Blaauwbroek | 2020-12-16 09:12:02 +0100 |
|---|---|---|
| committer | Lasse Blaauwbroek | 2020-12-16 17:55:17 +0100 |
| commit | 4081777e099ebc5770dfcd700bff44d5dbf26a14 (patch) | |
| tree | dbfa3fd92050e544405e1445ede21874686ed723 /doc/tools | |
| parent | 1c400a19aeb70842453f83a26f5abafc59901242 (diff) | |
Add -q flag to coqrst python invocation of coqtop
This will help with reproducibility for people who have something in their coqrc file.
Co-authored-by: Théo Zimmermann <theo.zimmi@gmail.com>
Diffstat (limited to 'doc/tools')
| -rw-r--r-- | doc/tools/coqrst/repl/coqtop.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tools/coqrst/repl/coqtop.py b/doc/tools/coqrst/repl/coqtop.py index 3021594183..388efd01d6 100644 --- a/doc/tools/coqrst/repl/coqtop.py +++ b/doc/tools/coqrst/repl/coqtop.py @@ -52,7 +52,7 @@ class CoqTop: self.coqtop_bin = coqtop_bin or os.path.join(os.getenv('COQBIN', ""), "coqtop") if not pexpect.utils.which(self.coqtop_bin): raise ValueError("coqtop binary not found: '{}'".format(self.coqtop_bin)) - self.args = (args or []) + ["-color", "on"] * color + self.args = (args or []) + ["-q"] + ["-color", "on"] * color self.coqtop = None def __enter__(self): |