151 lines
6.4 KiB
YAML
151 lines
6.4 KiB
YAML
name: Sync README files to Wiki
|
|
|
|
on:
|
|
push:
|
|
branches: [ main ]
|
|
paths:
|
|
- '**/README.md'
|
|
- '**/readme.md'
|
|
|
|
permissions:
|
|
contents: write
|
|
|
|
jobs:
|
|
sync-wiki:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
|
|
- name: Configure Git for Wiki
|
|
run: |
|
|
git config --global user.name "GitHub Actions"
|
|
git config --global user.email "actions@github.com"
|
|
|
|
- name: Clone Wiki Repository
|
|
run: git clone https://${{ github.actor }}:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}.wiki.git ./wiki
|
|
|
|
- name: Copy README files to Wiki
|
|
run: |
|
|
# Special mappings - add specific README files to specific wiki pages
|
|
declare -A special_mappings
|
|
special_mappings["benchmarks/rotatingDrum/readme.md"]="Performance-of-phasicFlow.md"
|
|
|
|
# Create an images directory in the wiki if it doesn't exist
|
|
mkdir -p ./wiki/images
|
|
|
|
# Process mapped files
|
|
for rel_path in "${!special_mappings[@]}"; do
|
|
if [ -f "./$rel_path" ]; then
|
|
wiki_page="${special_mappings[$rel_path]}"
|
|
echo "Processing special mapping: $rel_path -> $wiki_page"
|
|
|
|
# Get the base directory of the readme file
|
|
base_dir=$(dirname "./$rel_path")
|
|
|
|
# Read content of the README file
|
|
content=$(cat "./$rel_path")
|
|
|
|
# Process image references line by line for more reliable detection
|
|
while IFS= read -r line; do
|
|
# Check for Markdown style image references
|
|
if [[ "$line" =~ !\[(.*)\]\((.*)\) ]]; then
|
|
img_path="${BASH_REMATCH[2]}"
|
|
|
|
# Skip URLs
|
|
if [[ $img_path == http* ]]; then
|
|
continue
|
|
fi
|
|
|
|
# Handle Markdown image syntax
|
|
if [[ $img_path == /* ]]; then
|
|
# Absolute path within repository
|
|
abs_img_path="./$img_path"
|
|
else
|
|
# Relative path to the README
|
|
abs_img_path="$base_dir/$img_path"
|
|
fi
|
|
|
|
# Extract just the filename
|
|
img_filename=$(basename "$img_path")
|
|
wiki_img_path="images/$img_filename"
|
|
|
|
# Copy the image to wiki repository if it exists
|
|
if [ -f "$abs_img_path" ]; then
|
|
echo "Copying image: $abs_img_path -> ./wiki/$wiki_img_path"
|
|
cp -v "$abs_img_path" "./wiki/$wiki_img_path" || echo "Error copying image"
|
|
|
|
# Escape special characters in the path for sed
|
|
escaped_img_path=$(echo "$img_path" | sed 's/[\/&]/\\&/g')
|
|
|
|
# Replace the image reference in content - simpler approach with sed
|
|
content=$(echo "$content" | sed "s|!\\[.*\\]($escaped_img_path)||g")
|
|
echo "Replaced image reference: $img_path → $wiki_img_path"
|
|
else
|
|
echo "Warning: Image file not found: $abs_img_path"
|
|
# Add more debug info
|
|
echo "Current directory: $(pwd)"
|
|
echo "Files in $base_dir:"
|
|
ls -la "$base_dir"
|
|
fi
|
|
# Check for HTML style image tags - look for <img tags and extract src attribute
|
|
elif [[ "$line" =~ \<img[[:space:]][^>]*src=\"([^\"]+)\"[^>]*\> ]]; then
|
|
img_path="${BASH_REMATCH[1]}"
|
|
|
|
# Skip URLs
|
|
if [[ $img_path == http* ]]; then
|
|
continue
|
|
fi
|
|
|
|
# Determine the absolute path of the image
|
|
if [[ $img_path == /* ]]; then
|
|
# Absolute path within repository
|
|
abs_img_path="./$img_path"
|
|
else
|
|
# Relative path to the README
|
|
abs_img_path="$base_dir/$img_path"
|
|
fi
|
|
|
|
# Extract just the filename
|
|
img_filename=$(basename "$img_path")
|
|
wiki_img_path="images/$img_filename"
|
|
|
|
# Copy the image to wiki repository if it exists
|
|
if [ -f "$abs_img_path" ]; then
|
|
echo "Copying image: $abs_img_path -> ./wiki/$wiki_img_path"
|
|
cp -v "$abs_img_path" "./wiki/$wiki_img_path" || echo "Error copying image"
|
|
|
|
# Escape special characters in the path for sed
|
|
escaped_img_path=$(echo "$img_path" | sed 's/[\/&]/\\&/g')
|
|
|
|
# Replace the HTML image reference in content
|
|
content=$(echo "$content" | sed "s|src=\"$escaped_img_path\"|src=\"$wiki_img_path\"|g")
|
|
echo "Replaced HTML image reference: $img_path → $wiki_img_path"
|
|
else
|
|
echo "Warning: HTML image file not found: $abs_img_path"
|
|
# Add more debug info
|
|
echo "Current directory: $(pwd)"
|
|
echo "Files in $base_dir:"
|
|
ls -la "$base_dir"
|
|
fi
|
|
fi
|
|
done < "./$rel_path"
|
|
|
|
# Add debug info
|
|
echo "Wiki page content preview (first 100 chars): ${content:0:100}"
|
|
|
|
# Replace the wiki page with the updated content rather than appending
|
|
mkdir -p "$(dirname "./wiki/$wiki_page")" # Ensure directory exists
|
|
echo -e "# $(basename "$wiki_page" .md)\n\nContent from $rel_path:\n\n$content" > "./wiki/$wiki_page"
|
|
echo "Updated wiki page: $wiki_page"
|
|
fi
|
|
done
|
|
|
|
- name: Commit and Push to Wiki
|
|
working-directory: ./wiki
|
|
run: |
|
|
echo "Files changed in wiki repository:"
|
|
git status
|
|
git add .
|
|
git diff-index --quiet HEAD || git commit -m "Sync README files from main repository"
|
|
git push || { echo "Push failed, retrying with more details..."; git push --verbose; }
|