From b5e4602f6dbb520c823211281f567b4d484522d3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Johannes=20Wei=C3=9F?= Date: Tue, 15 May 2018 08:30:22 +0100 Subject: [PATCH] make contributors generator executable & change dir correctly Motivation: The script to generate the contributors list wasn't executable and forgot to change to the correct directory before invoking `git`. Modifications: - make `scripts/generate_contributors_list.sh` executable - correctly change directory before invoking git Result: it's now possible to invoke the script without explicitly running `bash` and it's no longer important what directory one invokes the script from. --- scripts/generate_contributors_list.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) mode change 100644 => 100755 scripts/generate_contributors_list.sh diff --git a/scripts/generate_contributors_list.sh b/scripts/generate_contributors_list.sh old mode 100644 new mode 100755 index 07ddc40c1c..8bb870b116 --- a/scripts/generate_contributors_list.sh +++ b/scripts/generate_contributors_list.sh @@ -15,7 +15,7 @@ set -eu here="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" -contributors=$(git shortlog -es | cut -f2 | sed 's/^/- /') +contributors=$( cd "$here"/.. && git shortlog -es | cut -f2 | sed 's/^/- /' ) cat > "$here/../CONTRIBUTORS.txt" <<- EOF For the purpose of tracking copyright, this is the list of individuals and