repo命令后缀参数竖线分割

2026-07-01 04:40:38 +08:00 · 2022-07-31 15:09:32 +08:00
parent 4582711867
commit 15fc6f975c
2 changed files with 7 additions and 4 deletions
@@ -388,6 +388,9 @@ gen_list_repo() {
    local index=0
    if [[ $6 ]]; then
        file_extensions="$6"
+        if [[ $file_extensions =~ "|" ]]; then
+            file_extensions=$(echo $file_extensions | sed 's/|/ /g')
+        fi
    fi
    for extension in $file_extensions; do
        if [[ $index -eq 0 ]]; then