Update start_server.sh
Browse files- start_server.sh +5 -2
start_server.sh
CHANGED
|
@@ -17,10 +17,13 @@ nginx -c $PWD/nginx.conf
|
|
| 17 |
|
| 18 |
set +e
|
| 19 |
if [[ ! -z "$REPO" ]]; then
|
| 20 |
-
|
| 21 |
-
|
|
|
|
|
|
|
| 22 |
git config --global user.name "$(git log -1 --pretty=format:'%an')"
|
| 23 |
git config --global user.email "$(git log -1 --pretty=format:'%ae')"
|
|
|
|
| 24 |
else
|
| 25 |
git config --global user.name "$SPACE_AUTHOR_NAME"
|
| 26 |
git config --global user.email "$SPACE_AUTHOR_NAME@hf.co"
|
|
|
|
| 17 |
|
| 18 |
set +e
|
| 19 |
if [[ ! -z "$REPO" ]]; then
|
| 20 |
+
dir=$(basename "$REPO" .git)
|
| 21 |
+
echo start to clone initial repo $REPO into $dir
|
| 22 |
+
git clone --progress $REPO $dir
|
| 23 |
+
cd $dir
|
| 24 |
git config --global user.name "$(git log -1 --pretty=format:'%an')"
|
| 25 |
git config --global user.email "$(git log -1 --pretty=format:'%ae')"
|
| 26 |
+
cd ..
|
| 27 |
else
|
| 28 |
git config --global user.name "$SPACE_AUTHOR_NAME"
|
| 29 |
git config --global user.email "$SPACE_AUTHOR_NAME@hf.co"
|