Link to Docker in local instructions

flatironinstitute · Feb 20, 2025 · 811c7f2 · 811c7f2
1 parent b261c17
commit 811c7f2
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 2 deletions.
diff --git a/docs/compilation_server_setup.md b/docs/compilation_server_setup.md
@@ -2,7 +2,7 @@
 
 These instructions are only required if you want to set up your own compilation server.
 
-To run your own server locally using Docker, execute the following command:
+To run your own server locally using [Docker](https://www.docker.com/), execute the following command:
 
 ```
 docker run -p 8083:8080 -it ghcr.io/flatironinstitute/stan-wasm-server:latest

diff --git a/gui/src/app/windows/SettingsWindow/CompilationServerArea.tsx b/gui/src/app/windows/SettingsWindow/CompilationServerArea.tsx
@@ -75,7 +75,16 @@ const CompilationServerArea: FunctionComponent = () => {
           {serverType === "local" && (
             <FormHelperText component="div">
               To start a local compilation server{" "}
-              <span className="details">({localCompilationServerUrl})</span>:
+              <span className="details">({localCompilationServerUrl})</span>,
+              install{" "}
+              <a
+                href="https://www.docker.com/"
+                target="_blank"
+                rel="noreferrer"
+              >
+                Docker
+              </a>{" "}
+              and run:
               <pre className="dockerRun">
                 docker run -p 8083:8080 -it
                 ghcr.io/flatironinstitute/stan-wasm-server:latest