From 3b13366b1cb997c7780c6d94b050bc070f575957 Mon Sep 17 00:00:00 2001 From: Miao Wang Date: Thu, 6 Apr 2017 02:21:15 +0800 Subject: [PATCH] fix for missing uid inside docker container --- adobe-fonts.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/adobe-fonts.sh b/adobe-fonts.sh index c560926..a905e58 100755 --- a/adobe-fonts.sh +++ b/adobe-fonts.sh @@ -1,6 +1,8 @@ #!/bin/bash set -e +git_option="git -c user.email=non-existence@tuna.tsinghua.edu.cn -c user.name=Noname" + function repo_init() { UPSTREAM="$1" WORKING_DIR="$2" @@ -22,10 +24,10 @@ function checkout_font_branch() { branch="$3" echo "Checkout branch $branch to $work_tree" if [[ ! -d "$2" ]]; then - git clone "$repo_dir" --branch "$branch" --single-branch "$work_tree" + $git_option clone "$repo_dir" --branch "$branch" --single-branch "$work_tree" else cd "$work_tree" - git pull + $git_option pull fi }