Compare commits

..

17 Commits

Author SHA1 Message Date
5becd1c6ea Update style. 2026-04-26 13:50:46 +01:00
57d92d7584 Add width. 2026-04-26 13:44:45 +01:00
6359c4ded5 Use a less prominent title. 2026-04-24 23:00:05 +01:00
26c115b7e1 Add safeguard for failed clone. 2026-04-20 17:06:03 +01:00
b2fe7f7a7f Fix apply.sh error. 2026-04-20 17:04:30 +01:00
29d6ef5ad0 Add more safety precautions. 2026-04-20 17:01:32 +01:00
f397c33ac0 Add warning message. 2026-04-20 17:00:37 +01:00
c4b43e6c6e More logging 2026-04-20 16:58:23 +01:00
cec88c7b68 More error handling. 2026-04-20 16:57:39 +01:00
bff7796f69 Add more logging. 2026-04-20 16:52:17 +01:00
856df4fd50 Don't log warnings for head -cN related feed exits 2026-04-20 16:51:17 +01:00
be86e12b8d Add logging. 2026-04-20 16:43:55 +01:00
76059ede6c Add logging. 2026-04-20 16:43:45 +01:00
3c4522648a Re-personalise after updates. 2026-04-20 16:38:16 +01:00
3856bc6a9a Style changes. 2026-04-20 16:35:11 +01:00
43eccf78e3 Update style. 2026-04-20 16:26:59 +01:00
360ceabc13 Add more safety. 2026-04-20 15:47:12 +01:00
3 changed files with 41 additions and 15 deletions

View File

@@ -7,3 +7,16 @@ if [ ! -d "$dst_dir" ]; then
fi fi
mkdir -p "$dst_dir" mkdir -p "$dst_dir"
./git-portfolio "$dst" ./git-portfolio "$dst"
tmp_web_footer_dir="/tmp/web-footer-$(date +%N)"
echo Cloning web-footer to "$tmp_web_footer_dir"... >&2
git clone --depth 1 --branch main git@git.seanhealy.ie:sean/web-footer.git "$tmp_web_footer_dir"
if [ $? != 0 ] || [ ! -d "$tmp_web_footer_dir" ]; then
echo "Failed to clone web-footer repository." >&2
exit 1
fi
echo Re-personalising HTML files... >&2
(cd "$tmp_web_footer_dir" && ./automation/personalise.sh)
echo Cleaning up... >&2
if [ "$tmp_web_footer_dir" ] && [ -d "$tmp_web_footer_dir" ] && [ -d "$tmp_web_footer_dir/.git" ]; then
rm -rf "$tmp_web_footer_dir"
fi

View File

@@ -1 +1 @@
apply when modified:/git-portfolio apply when modified:(/git-portfolio or /automation/apply.sh)

View File

@@ -1,11 +1,12 @@
#!/usr/bin/bash #!/usr/bin/bash
repos="/tmp/repos-$(cat /dev/urandom | base64 | tr -d '=+/' | head -c 8)" N=/dev/null
repos="/tmp/repos-$(cat /dev/urandom 2>$N | base64 2>$N | tr -d '=+/' 2>$N | head -c 8)"
if [ -d "$repos" ]; then if [ -d "$repos" ]; then
echo "Error: Temporary directory '$repos' already exists." >&2 echo "Error: Temporary directory '$repos' already exists." >&2
exit 1 exit 1
fi fi
mkdir -p "$repos" mkdir -p "$repos"
tmp_portfolio="/tmp/portfolio-$(cat /dev/urandom | base64 | tr -d '=+/' | head -c 8)" tmp_portfolio="/tmp/portfolio-$(cat /dev/urandom 2>$N | base64 2>$N | tr -d '=+/' 2>$N | head -c 8)"
if [ -d "$tmp_portfolio" ]; then if [ -d "$tmp_portfolio" ]; then
echo "Error: Temporary directory '$tmp_portfolio' already exists." >&2 echo "Error: Temporary directory '$tmp_portfolio' already exists." >&2
exit 1 exit 1
@@ -16,10 +17,13 @@ function safely_remove_tmp_repos() {
echo "Warning: No git repositories found in '$repos'. Not deleting to prevent data loss." echo "Warning: No git repositories found in '$repos'. Not deleting to prevent data loss."
rmdir "$repos" 2>/dev/null rmdir "$repos" 2>/dev/null
return return
fi else
rm -rf "$repos" rm -rf "$repos"
fi fi
fi
if [ "$tmp_portfolio" ] && [ -d "$tmp_portfolio" ]; then
rm -r "$tmp_portfolio" rm -r "$tmp_portfolio"
fi
} }
function cleanup() { function cleanup() {
safely_remove_tmp_repos safely_remove_tmp_repos
@@ -161,6 +165,7 @@ EOF
EOF EOF
)" )"
done < <(my_curl) done < <(my_curl)
if [ "$portfolio_index" ]; then
portfolio_index="$( portfolio_index="$(
cat <<EOF cat <<EOF
<!DOCTYPE html> <!DOCTYPE html>
@@ -168,7 +173,7 @@ cat <<EOF
<head> <head>
<title>Projects</title> <title>Projects</title>
<body> <body>
<h1>Projects</h1> <h2>Projects</h2>
<div id="git-portfolio"> <div id="git-portfolio">
<style> <style>
#git-portfolio { #git-portfolio {
@@ -181,19 +186,23 @@ cat <<EOF
border-radius: 20px; border-radius: 20px;
background: linear-gradient(30deg, rgba(100, 43, 200, 0.4), rgba(198, 66, 110, 0.4)); background: linear-gradient(30deg, rgba(100, 43, 200, 0.4), rgba(198, 66, 110, 0.4));
position: relative; position: relative;
width: calc(100% - 25px);
box-sizing: border-box; box-sizing: border-box;
max-width: 420px; max-width: 100%;
height: 100%;
} }
#git-portfolio a { #git-portfolio a {
color: black; color: black;
text-decoration: none; text-decoration: none;
display: inline-flex; display: inline-flex;
flex-direction: column; flex-direction: column;
flex-grow: 1; max-width: calc(100%);
min-width: 400px;
max-width: 450px;
box-sizing: content-box; box-sizing: content-box;
width: 25%;
}
@media (max-width: 800px) {
#git-portfolio a {
width: 100%;
}
} }
#git-portfolio section ul.languages { #git-portfolio section ul.languages {
float: right; float: right;
@@ -217,6 +226,9 @@ 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
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
echo "Error: Directory '$directory' contains more than 400MB of data. Exiting to prevent data loss." echo "Error: Directory '$directory' contains more than 400MB of data. Exiting to prevent data loss."
@@ -226,3 +238,4 @@ else
mkdir -p "$directory" mkdir -p "$directory"
fi fi
rsync -a "$tmp_portfolio/" "$directory/" rsync -a "$tmp_portfolio/" "$directory/"
echo "Done! Portfolio generated in '$directory'." >&2