diff options
| author | Digitalcraftsman <digitalcraftsman@protonmail.com> | 2020-06-15 20:19:43 +0300 |
|---|---|---|
| committer | Digitalcraftsman <digitalcraftsman@protonmail.com> | 2020-06-15 20:19:43 +0300 |
| commit | 0a80ed7f149c8b6fb14d9b059c05d01d0fcca1a1 (patch) | |
| tree | 774e7fb96e777dd3ea5a0b4f8dcbb814e44af94e /_script | |
| parent | 3fa32605c7fc60607fb1e967fe34b2ac1ff18526 (diff) | |
reviewTheme.sh: Print message when skipping cloning of theme
Diffstat (limited to '_script')
| -rwxr-xr-x | _script/reviewTheme.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/_script/reviewTheme.sh b/_script/reviewTheme.sh index cad25ff..3dae3cb 100755 --- a/_script/reviewTheme.sh +++ b/_script/reviewTheme.sh @@ -36,10 +36,12 @@ while getopts ":t:" opt; do esac done - -cloneDest="$themesDir/$(basename $repoUrl .git)" +themeName=$(basename $repoUrl .git) +cloneDest="$themesDir/$themeName" if [ ! -d $cloneDest ]; then - git clone --recursive $repoUrl $cloneDest + git clone --recursive $repoUrl $cloneDest +else + echo " ==== Found theme \"$themeName\" already at $cloneDest. Skip cloning of theme ==== " fi # expose themesDir to generateThemeSite.sh |