Merge pull request #8930 from AkihiroSuda/rocky8.8

2023-08-14 20:44:20 +08:00
parent 5e051f5c6c 90443f038d
commit 36b871955c
3 changed files with 5 additions and 2 deletions
--- a/script/resize-vagrant-root.sh
+++ b/script/resize-vagrant-root.sh
@@ -34,6 +34,8 @@ if [[ "$df_line" =~ ^/dev/([a-z]+)([0-9+]) ]]; then
        echo "Unknown filesystem: $df_line"
        exit 1
    fi
+elif [[ "$df_line" =~ ^/dev/mapper/ ]]; then
+    echo "TODO: support device mapper: $df_line"
 else
    echo "Failed to parse: $df_line"
    exit 1