diff options
| author | rfjakob | 2016-06-09 23:54:59 +0200 |
|---|---|---|
| committer | rfjakob | 2016-06-09 23:54:59 +0200 |
| commit | 80e2cc4a8d9cae5998e0124074e2e0343d1f8a17 (patch) | |
| tree | 44176feaa26f38f064c1e6bf7279f5de9273c7c0 | |
| parent | 0235eb57b35205e3421dc8d0caebfc41e8e80e01 (diff) | |
Updated Upgrading (markdown)
| -rw-r--r-- | Upgrading.md | 3 |
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 |