diff options
| author | Laurenz <laurmaedje@gmail.com> | 2024-12-05 10:59:26 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-12-05 09:59:26 +0000 |
| commit | 79a7a6bf77037e0b6124193ebc8b3c5e8a0528bb (patch) | |
| tree | 0277667f64509db4d69283a6404656a8a1070cf7 /crates/typst-cli/src/args.rs | |
| parent | 4f3ba7f8caecc49ae1051f0a0c217a44d3fda876 (diff) | |
Live reloading HTTP server for `typst watch` and HTML export (#5524)
Diffstat (limited to 'crates/typst-cli/src/args.rs')
| -rw-r--r-- | crates/typst-cli/src/args.rs | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/crates/typst-cli/src/args.rs b/crates/typst-cli/src/args.rs index 33fcb9fd..ead93236 100644 --- a/crates/typst-cli/src/args.rs +++ b/crates/typst-cli/src/args.rs @@ -97,6 +97,21 @@ pub struct WatchCommand { /// Arguments for compilation. #[clap(flatten)] pub args: CompileArgs, + + /// Disables the built-in HTTP server for HTML export. + #[clap(long)] + pub no_serve: bool, + + /// Disables the injected live reload script for HTML export. The HTML that + /// is written to disk isn't affected either way. + #[clap(long)] + pub no_reload: bool, + + /// The port where HTML is served. + /// + /// Defaults to the first free port in the range 3000-3005. + #[clap(long)] + pub port: Option<u16>, } /// Initializes a new project from a template. |