From 43cb9931e4284b560c635fa5779efae143c6ed93 Mon Sep 17 00:00:00 2001 From: Delan Azabani Date: Wed, 7 Feb 2024 18:58:38 +0800 Subject: [PATCH] Use the output path given in args --- init.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/init.sh b/init.sh index 230992a12c..ecad70a5b8 100755 --- a/init.sh +++ b/init.sh @@ -34,5 +34,5 @@ git -C upstream fetch origin $branch:$branch step Filtering upstream # Cloning and filtering is much faster than git filter-repo --source --target. # Using git clone here because we don’t care about refs/cinnabar/metadata. -git clone --bare upstream filtered -git -C filtered filter-repo --force --paths-from-file ../../style.paths +git clone --bare upstream -- "$style" +git -C "$style" filter-repo --force --paths-from-file ../../style.paths