Solved possible owner issues and did style format

This commit is contained in:
2023-11-04 18:28:01 +01:00
parent 26a3e30f64
commit 8a7e5ade7c
+9 -7
View File
@@ -1,16 +1,15 @@
#!/bin/bash
PROJECT_NAME=$1
if [ "$PROJECT_NAME" == "" ]
then
PROJECT_NAME="project"
if [ "$PROJECT_NAME" == "" ]; then
PROJECT_NAME="project"
fi
cd /work/result
mkdir -p $PROJECT_NAME-git
cd $PROJECT_NAME-git
git init
#avoid having unexpected issue:
# Avoid having unexpected issues.
git config core.ignoreCase false
/usr/local/src/fast-export/hg-fast-export.sh -r /work/$PROJECT_NAME
@@ -18,6 +17,9 @@ git config core.ignoreCase false
if [ "$?" -ne "0" ]; then
exit 1
else
git checkout HEAD
bash
fi
git checkout HEAD
bash
fi
# Circumvent any owner issues.
chmod -R --reference=/work/$PROJECT_NAME /work/result/$PROJECT_NAME-git