diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2021-05-02 21:58:13 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2021-05-31 10:30:16 +0200 |
| commit | e9b1283bdf17236bea7b81f007db373cca9fea67 (patch) | |
| tree | 4730ab84dba5c08c6fd2f70437bb83cfc0383fbc /src/tools/rustdoc-gui/tester.js | |
| parent | bc888ba840c8273e8d1d83157c693a9df49f5ebf (diff) | |
| download | rust-e9b1283bdf17236bea7b81f007db373cca9fea67.tar.gz rust-e9b1283bdf17236bea7b81f007db373cca9fea67.zip | |
Add some commented options that could be useful for other contributors in rustdoc-gui tool
Diffstat (limited to 'src/tools/rustdoc-gui/tester.js')
| -rw-r--r-- | src/tools/rustdoc-gui/tester.js | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/tools/rustdoc-gui/tester.js b/src/tools/rustdoc-gui/tester.js index 298fc7519fa..c55e014e834 100644 --- a/src/tools/rustdoc-gui/tester.js +++ b/src/tools/rustdoc-gui/tester.js @@ -63,6 +63,13 @@ async function main(argv) { // This is more convenient that setting fields one by one. options.parseArguments([ "--no-screenshot", + // This option shows what puppeteer "code" is run + // "--debug", + // This option disable the headless mode, allowing you to see what's going on. + // "--no-headless", + // The text isn't rendered by default because of a lot of small differences + // between hosts. + // "--show-text", "--variable", "DOC_PATH", opts["doc_folder"], ]); } catch (error) { |