diff --git a/monthly-blog.sh b/month-in-mathlib.sh old mode 100755 new mode 100644 similarity index 81% rename from monthly-blog.sh rename to month-in-mathlib.sh index 81266899..08ce5002 --- a/monthly-blog.sh +++ b/month-in-mathlib.sh @@ -1,14 +1,14 @@ #!/bin/bash usage () { -echo "Usage: monthly-blog.sh YYYY M path/to/mathlib" +echo "Usage: month-in-mathlib.sh YYYY M path/to/mathlib4" echo "" -echo "Where YYYY is a 4-digit year, and M is the number of the month." -echo "Example: monthly-blog.sh 2021 8 ~/mathlib" +echo "where YYYY is a 4-digit year, and M is the number of the month." +echo "Example: month-in-mathlib.sh 2021 8 ~/mathlib4" echo "It is important that M is a natural number between 1 and 12." echo "The formats '02' and '2' are both allowed." echo "" -echo "Important: make sure that the mathlib clone is clean," +echo "Important: make sure that the mathlib4 clone is clean," echo "and points to an up-to-date copy of master." exit 1 } @@ -37,7 +37,7 @@ echo "has_math: true" echo "link: ''" echo "slug: month-in-mathlib-${month_lc}-$year" echo "tags: ''" -echo "title: This month in mathlib (${month_uc} $year)" +echo "title: This month in Mathlib (${month_uc} $year)" echo "type: text" echo "---" diff --git a/posts/month-in-mathlib-aug-2021.md b/posts/month-in-mathlib/2021/mim-2021-08.md similarity index 100% rename from posts/month-in-mathlib-aug-2021.md rename to posts/month-in-mathlib/2021/mim-2021-08.md diff --git a/posts/month-in-mathlib-sep-2021.md b/posts/month-in-mathlib/2021/mim-2021-09.md similarity index 100% rename from posts/month-in-mathlib-sep-2021.md rename to posts/month-in-mathlib/2021/mim-2021-09.md diff --git a/posts/month-in-mathlib-oct-2021.md b/posts/month-in-mathlib/2021/mim-2021-10.md similarity index 100% rename from posts/month-in-mathlib-oct-2021.md rename to posts/month-in-mathlib/2021/mim-2021-10.md diff --git a/posts/month-in-mathlib-nov-2021.md b/posts/month-in-mathlib/2021/mim-2021-11.md similarity index 100% rename from posts/month-in-mathlib-nov-2021.md rename to posts/month-in-mathlib/2021/mim-2021-11.md diff --git a/posts/month-in-mathlib-dec-2021.md b/posts/month-in-mathlib/2021/mim-2021-12.md similarity index 100% rename from posts/month-in-mathlib-dec-2021.md rename to posts/month-in-mathlib/2021/mim-2021-12.md diff --git a/posts/month-in-mathlib-jan-2022.md b/posts/month-in-mathlib/2022/mim-2022-01.md similarity index 100% rename from posts/month-in-mathlib-jan-2022.md rename to posts/month-in-mathlib/2022/mim-2022-01.md diff --git a/posts/month-in-mathlib-feb-2022.md b/posts/month-in-mathlib/2022/mim-2022-02.md similarity index 100% rename from posts/month-in-mathlib-feb-2022.md rename to posts/month-in-mathlib/2022/mim-2022-02.md diff --git a/posts/month-in-mathlib-mar-2022.md b/posts/month-in-mathlib/2022/mim-2022-03.md similarity index 100% rename from posts/month-in-mathlib-mar-2022.md rename to posts/month-in-mathlib/2022/mim-2022-03.md diff --git a/posts/month-in-mathlib-apr-2022.md b/posts/month-in-mathlib/2022/mim-2022-04.md similarity index 100% rename from posts/month-in-mathlib-apr-2022.md rename to posts/month-in-mathlib/2022/mim-2022-04.md diff --git a/posts/month-in-mathlib-may-2022.md b/posts/month-in-mathlib/2022/mim-2022-05.md similarity index 100% rename from posts/month-in-mathlib-may-2022.md rename to posts/month-in-mathlib/2022/mim-2022-05.md diff --git a/posts/month-in-mathlib-jun-2022.md b/posts/month-in-mathlib/2022/mim-2022-06.md similarity index 100% rename from posts/month-in-mathlib-jun-2022.md rename to posts/month-in-mathlib/2022/mim-2022-06.md diff --git a/posts/month-in-mathlib-jul-2022.md b/posts/month-in-mathlib/2022/mim-2022-07.md similarity index 100% rename from posts/month-in-mathlib-jul-2022.md rename to posts/month-in-mathlib/2022/mim-2022-07.md diff --git a/posts/month-in-mathlib-aug-2022.md b/posts/month-in-mathlib/2022/mim-2022-08.md similarity index 100% rename from posts/month-in-mathlib-aug-2022.md rename to posts/month-in-mathlib/2022/mim-2022-08.md diff --git a/posts/month-in-mathlib-sep-2022.md b/posts/month-in-mathlib/2022/mim-2022-09.md similarity index 100% rename from posts/month-in-mathlib-sep-2022.md rename to posts/month-in-mathlib/2022/mim-2022-09.md diff --git a/posts/month-in-mathlib-oct-nov-2022.md b/posts/month-in-mathlib/2022/mim-2022-10.md similarity index 99% rename from posts/month-in-mathlib-oct-nov-2022.md rename to posts/month-in-mathlib/2022/mim-2022-10.md index 05204502..ff2cf154 100644 --- a/posts/month-in-mathlib-oct-nov-2022.md +++ b/posts/month-in-mathlib/2022/mim-2022-10.md @@ -1,11 +1,11 @@ --- author: '' -category: '' +category: 'month-in-mathlib' date: 2022-12-01 14:56:21 UTC+01:00 description: '' has_math: true link: '' -slug: this-month-in-mathlib-oct-and-nov-2022 +slug: month-in-mathlib-oct-and-nov-2022 tags: '' title: This month in mathlib (Oct and Nov 2022) type: text diff --git a/posts/month-in-mathlib-may-2024.md b/posts/month-in-mathlib/2024/mim-2024-05.md similarity index 99% rename from posts/month-in-mathlib-may-2024.md rename to posts/month-in-mathlib/2024/mim-2024-05.md index 9ea9f03b..0b76d7d8 100644 --- a/posts/month-in-mathlib-may-2024.md +++ b/posts/month-in-mathlib/2024/mim-2024-05.md @@ -7,7 +7,7 @@ has_math: true link: '' slug: month-in-mathlib-may-2024 tags: '' -title: This month in mathlib (May 2024) +title: This month in Mathlib (May 2024) type: text ---