summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorOskar Vigren <oskar@vig.ren>2019-12-10 15:34:53 +0100
committerOskar Vigren <oskar@vig.ren>2019-12-10 15:34:53 +0100
commit52efe6eebf3ba1dd3aa3d5348777c6a233ef1470 (patch)
treeb6dea2d44c8c55c3d8b12f2be7b7a2afe53b78f9
parentd9e5eab7e8a8d538b9eaeb242fc9774b39f7e0bd (diff)
[create-a-wiki] Fix silly problem with kill server commandov/create-wiki-preview
The command now matches start of process name. This will prevent killing other things than the server, e.g. make when it executes the command.
-rw-r--r--create-a-wiki-preview.mdwn2
1 files changed, 1 insertions, 1 deletions
diff --git a/create-a-wiki-preview.mdwn b/create-a-wiki-preview.mdwn
index fd01bec..e8ce613 100644
--- a/create-a-wiki-preview.mdwn
+++ b/create-a-wiki-preview.mdwn
@@ -141,7 +141,7 @@ This server will shut down when your computer does.
If you want to shut down the server, but not your computer, run the following command:
```
-pkill -ef "busybox httpd -p 127.0.0.1:8001"
+pkill -ef "^busybox httpd -p 127.0.0.1:8001"
```
Now all is in place! Visit <http://localhost:8080/>.