docs: document default port

Ackee-Blockchain · Jul 18, 2023 · b1c8e9a · b1c8e9a
1 parent d2aa29a
commit b1c8e9a
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -111,7 +111,7 @@ Woke LSP server can be run using:
 woke lsp
 ```
 
-Or with an optional --port argument:
+Or with an optional --port argument (default 65432):
 
 ```shell
 woke lsp --port 1234

diff --git a/docs/language-server.md b/docs/language-server.md
@@ -6,7 +6,7 @@ Woke LSP server can be run using:
 woke lsp
 ```
 
-Or with an optional `--port` argument:
+Or with an optional `--port` argument (default 65432):
 ```shell
 woke lsp --port 1234
 ```
@@ -109,4 +109,4 @@ Together with compiler errors, diagnostics also include results from Woke vulner
 Woke LSP server can be debugged using:
 ```shell
 woke --debug lsp
-```
+```
diff --git a/woke/cli/lsp.py b/woke/cli/lsp.py
@@ -33,7 +33,13 @@ async def client_callback(
 
 
 @click.command(name="lsp")
-@click.option("--port", default=65432, type=int, help="Port to listen on.")
+@click.option(
+    "--port",
+    default=65432,
+    type=int,
+    help="Port to listen on.",
+    show_default=True,
+)
 @click.pass_context
 def run_lsp(context: click.Context, port: int):
     """