show size

yegor256 · Feb 25, 2024 · 848fa4e · 848fa4e
1 parent 95fed65
commit 848fa4e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/steps/clone-repo.sh b/steps/clone-repo.sh
@@ -40,7 +40,7 @@ fi
 dir=${TARGET}/github/${repo}
 
 if [ -e "${dir}" ]; then
-    echo "The repo directory #${pos}/${total} is already here: ${dir}"
+    echo "The repo directory #${pos}/${total} is already here: ${dir} ($(du -sh "${dir}" | cut -f1 | xargs))"
     exit
 fi