diff options
| author | Oskar Vigren <oskar@vig.ren> | 2019-12-10 15:34:53 +0100 |
|---|---|---|
| committer | Oskar Vigren <oskar@vig.ren> | 2019-12-10 15:34:53 +0100 |
| commit | 52efe6eebf3ba1dd3aa3d5348777c6a233ef1470 (patch) | |
| tree | b6dea2d44c8c55c3d8b12f2be7b7a2afe53b78f9 | |
| parent | d9e5eab7e8a8d538b9eaeb242fc9774b39f7e0bd (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.mdwn | 2 |
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/>. |