diff --git a/theseus_gui/README.md b/theseus_gui/README.md
index c09bca6fa..39c5155de 100644
--- a/theseus_gui/README.md
+++ b/theseus_gui/README.md
@@ -9,6 +9,8 @@ pnpm install # Install dependencies
 pnpm dev # Start dev server
 ```
 
+> If after quitting the dev process, you find that the SvelteKit process is still running (or preventing you from restarting the dev command), run `pnpm kill:dev`
+
 ## Building
 
 ```bash
diff --git a/theseus_gui/package.json b/theseus_gui/package.json
index 2967f0c53..7ea7f3235 100644
--- a/theseus_gui/package.json
+++ b/theseus_gui/package.json
@@ -1,7 +1,8 @@
 {
   "scripts": {
-    "dev": "tauri dev; pnpm kill-port 3000",
+    "dev": "tauri dev",
     "dev:web": "svelte-kit dev",
+    "kill:web": "kill-port 3000",
     "tauri": "tauri",
     "build": "tauri build",
     "build:web": "svelte-kit build",