Compare commits
2 Commits
c4b43e6c6e
...
29d6ef5ad0
| Author | SHA1 | Date | |
|---|---|---|---|
| 29d6ef5ad0 | |||
| f397c33ac0 |
@@ -13,4 +13,6 @@ git clone --depth 1 --branch main git@git.seanhealy.ie:sean/web-footer.git "$tmp
|
|||||||
echo Re-personalising HTML files... >&2
|
echo Re-personalising HTML files... >&2
|
||||||
(cd "/tmp/web-footer" && ./automation/personalise.sh)
|
(cd "/tmp/web-footer" && ./automation/personalise.sh)
|
||||||
echo Cleaning up... >&2
|
echo Cleaning up... >&2
|
||||||
rm -rf "$tmp_web_footer_dir"
|
if [ "$tmp_web_footer_dir" ] && [ -d "$tmp_web_footer_dir" ] && [ -d "$tmp_web_footer_dir/.git" ]; then
|
||||||
|
rm -rf "$tmp_web_footer_dir"
|
||||||
|
fi
|
||||||
|
|||||||
@@ -221,6 +221,8 @@ li.language {
|
|||||||
EOF
|
EOF
|
||||||
)"
|
)"
|
||||||
echo "$portfolio_index" > "$tmp_portfolio/index.html"
|
echo "$portfolio_index" > "$tmp_portfolio/index.html"
|
||||||
|
else
|
||||||
|
echo "Warning: No public repositories found for user '$GIT_USER'. Portfolio will be empty." >&2
|
||||||
fi
|
fi
|
||||||
if [ -d "$directory" ]; then
|
if [ -d "$directory" ]; then
|
||||||
if [ "$(du -sb "$directory" | cut -f1)" -gt $((1024 * 1024 * 400)) ]; then
|
if [ "$(du -sb "$directory" | cut -f1)" -gt $((1024 * 1024 * 400)) ]; then
|
||||||
|
|||||||
Reference in New Issue
Block a user