diff options
Diffstat (limited to 'tools/fossil-projects.sh')
| -rw-r--r-- | tools/fossil-projects.sh | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/tools/fossil-projects.sh b/tools/fossil-projects.sh index bb6e673..a87be94 100644 --- a/tools/fossil-projects.sh +++ b/tools/fossil-projects.sh | |||
| @@ -1,11 +1,9 @@ | |||
| 1 | set -xe | ||
| 2 | |||
| 3 | OUT=../content/pages/projects.fossil.md.part | 1 | OUT=../content/pages/projects.fossil.md.part |
| 4 | 2 | ||
| 5 | echo -e "## Fossil repositories\n" > $OUT | 3 | echo -e "# Fossil repositories\n" > $OUT |
| 6 | 4 | ||
| 7 | find ~/Projects/ -type f -name "*.fossil" -not -path "*/website/*" | while read -r file; do | 5 | find ~/Projects/ -type f -name "*.fossil" -not -path "*/website/*" | while read -r file; do |
| 8 | cp $file ../static/projects/ | 6 | rsync -uv $file ../static/projects/ |
| 9 | done | 7 | done |
| 10 | 8 | ||
| 11 | find ../static/projects/ -type f -name "*.fossil" | while read -r file; do | 9 | find ../static/projects/ -type f -name "*.fossil" | while read -r file; do |
