From ee0d114b08ba23f3fe472c34ee15341d991c5196 Mon Sep 17 00:00:00 2001 From: Tom Wiesing Date: Tue, 7 Jul 2020 15:22:51 +0200 Subject: [PATCH] Update script paths in README --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index d8a294f..4f75b6d 100644 --- a/README.md +++ b/README.md @@ -150,7 +150,7 @@ These steps can be performed automatically. To do so, use: ```bash -sudo bash /factory/provision.sh SLUG +sudo bash /distillery/provision.sh SLUG ``` ## Purge an existing WissKI instance -- 'purge.sh' @@ -162,7 +162,7 @@ In particular all parts belonging to it should be removed. To use it, run: ```bash -sudo bash /factory/purge.sh SLUG +sudo bash /distillery/purge.sh SLUG ``` ## Open a shell -- 'shell.sh' @@ -171,7 +171,7 @@ Sometimes manual changes to a given WissKI instance are required. For this purpose, you can use: ```bash -sudo bash /factory/shell.sh SLUG +sudo bash /distillery/shell.sh SLUG ``` This will open a shell in the provided WissKI instance.