Merge remote-tracking branch 'upstream/master'

This commit is contained in:
Ingo Karkat
2023-06-30 17:13:04 +02:00
2 changed files with 3 additions and 2 deletions

View File

@@ -10,7 +10,7 @@ jobs:
test:
strategy:
matrix:
platform: [ubuntu-20.04, ubuntu-18.04, macos-11, macos-10.15]
platform: [ubuntu-20.04, macos-11]
runs-on: ${{ matrix.platform }}
steps:
- uses: actions/checkout@v2

View File

@@ -500,7 +500,8 @@ replaceOrPrepend()
fixMissingEndOfLine()
{
# Parameters: $1: todo file; empty means $TODO_FILE.
sed -i.bak -e '$a\' "${1:-$TODO_FILE}"
todo_path="${1:-$TODO_FILE}"
[[ -f $todo_path && $(tail -c1 "$todo_path") ]] && echo "" >> "$todo_path"
}
uppercasePriority()