diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/fossil-projects.sh | 6 | ||||
| -rw-r--r-- | tools/github-projects.py | 2 |
2 files changed, 3 insertions, 5 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 |
diff --git a/tools/github-projects.py b/tools/github-projects.py index e2afe95..ff890f6 100644 --- a/tools/github-projects.py +++ b/tools/github-projects.py | |||
| @@ -16,7 +16,7 @@ def generate_markdown_file(include_repositories): | |||
| 16 | file = open("../content/pages/projects.github.md.part", "w") | 16 | file = open("../content/pages/projects.github.md.part", "w") |
| 17 | 17 | ||
| 18 | file.write(DOUBLE_NL) | 18 | file.write(DOUBLE_NL) |
| 19 | file.write("## GitHub repositories") | 19 | file.write("# GitHub repositories") |
| 20 | file.write(DOUBLE_NL) | 20 | file.write(DOUBLE_NL) |
| 21 | 21 | ||
| 22 | file.write("<div class='project-list'>") | 22 | file.write("<div class='project-list'>") |
