summaryrefslogtreecommitdiff
path: root/Upgrading.md
diff options
context:
space:
mode:
authorrfjakob2016-06-09 23:54:59 +0200
committerrfjakob2016-06-09 23:54:59 +0200
commit80e2cc4a8d9cae5998e0124074e2e0343d1f8a17 (patch)
tree44176feaa26f38f064c1e6bf7279f5de9273c7c0 /Upgrading.md
parent0235eb57b35205e3421dc8d0caebfc41e8e80e01 (diff)
Updated Upgrading (markdown)
Diffstat (limited to 'Upgrading.md')
-rw-r--r--Upgrading.md3
1 files changed, 2 insertions, 1 deletions
diff --git a/Upgrading.md b/Upgrading.md
index 17b6f27..ee77535 100644
--- a/Upgrading.md
+++ b/Upgrading.md
@@ -49,4 +49,5 @@ find /old -type d -delete
This is safer than `rm -R` because it will only remove directories and error out if any files are left behind. Note that it will also try to delete the mountpoint `/old` and fail at doing so. This is expected:
```
find: cannot delete ‘/old’: Device or resource busy
-``` \ No newline at end of file
+```
+but no other errors should be printed. \ No newline at end of file