aboutsummaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rw-r--r--tools/fossil-projects.sh6
-rw-r--r--tools/github-projects.py2
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 @@
1set -xe
2
3OUT=../content/pages/projects.fossil.md.part 1OUT=../content/pages/projects.fossil.md.part
4 2
5echo -e "## Fossil repositories\n" > $OUT 3echo -e "# Fossil repositories\n" > $OUT
6 4
7find ~/Projects/ -type f -name "*.fossil" -not -path "*/website/*" | while read -r file; do 5find ~/Projects/ -type f -name "*.fossil" -not -path "*/website/*" | while read -r file; do
8 cp $file ../static/projects/ 6 rsync -uv $file ../static/projects/
9done 7done
10 8
11find ../static/projects/ -type f -name "*.fossil" | while read -r file; do 9find ../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'>")