diff options
author | Benedikt Peetz <benedikt.peetz@b-peetz.de> | 2024-09-30 17:34:25 +0200 |
---|---|---|
committer | Benedikt Peetz <benedikt.peetz@b-peetz.de> | 2024-09-30 17:34:25 +0200 |
commit | 05672f7435cfa419893b4282d49254390181833e (patch) | |
tree | b99ab6849e2f3851c593a593b58d3b7d840ddfcf /build/rust/scripts | |
parent | build(cog.toml): Format *before* checking the formatting (diff) | |
download | flake-templates-05672f7435cfa419893b4282d49254390181833e.tar.gz flake-templates-05672f7435cfa419893b4282d49254390181833e.zip |
chore(version): v0.7.0 v0.7.0
Diffstat (limited to '')
-rwxr-xr-x | build/rust/scripts/cprh.sh | 57 |
1 files changed, 0 insertions, 57 deletions
diff --git a/build/rust/scripts/cprh.sh b/build/rust/scripts/cprh.sh deleted file mode 100755 index 9582575..0000000 --- a/build/rust/scripts/cprh.sh +++ /dev/null @@ -1,57 +0,0 @@ -#! /usr/bin/env sh - -die() { - echo "$@" 1>&2 - exit 1 -} - -help() { - cat <<EOF -A copyright header managment tool. - -USAGE: - cprh.sh [OPTIONS] contribute NAME EMAIL FILE.. - -OPTIONS: - --help | -h - Display this help and exit. - -ARGUMENTS: - NAME := [[git config user.name]] - Your name. - - NAME := [[git config user.email]] - Your email address. - - FILE := [[git diff --name-only --cached]] - The file you want to change. This can be given multiple times. -EOF -} - -for arg in "$@"; do - case "$arg" in - "--help" | "-h") - help - exit 0 - ;; - *) - echo "'$1' is not a recognized option. See --help for more!" 1>&2 - exit 1 - ;; - esac -done - -user_name="$1" -[ -z "$user_name" ] && die "No NAME set! See --help for more" - -user_email="$2" -[ -z "$user_email" ] && die "No EMAIL set! See --help for more" -shift 2 - -styleOne="" -styleTwo="" -[ "$COMMENT_STYLE" ] && styleOne="--style" && styleTwo="$COMMENT_STYLE" - -# The styleTwo must be unquoted to avoid adding empty args to reuse -# shellcheck disable=2086 -reuse annotate --copyright "$user_name <$user_email>" --copyright-prefix string-c --template default --multi-line $styleOne $styleTwo |