case "$type_first_letter" in
[Aa]) type_full="Added";;
[Cc]) type_full="Changed";;
[Dd]) type_full="Deprecated";;
[Ff]) type_full="Fixed";;
[Rr]) type_full="Removed";;
*) printf "Invalid input!\n"
exit 1;;
esac
where="doc/changelog/$where" if ! [ -d "$where" ]; then where=$(echo"$where"*); fi
where="${where}/${PR}-$(git rev-parse --abbrev-ref HEAD | tr / -)-${type_full}.rst"
printf "Fixes? (space separated list of bug numbers)\n"
read -r fixes_list
fixes_string="$(echo $fixes_list | sed 's/ /~ and /g; s,\([0-9][0-9]*\),`#\1 <https://github.com/rocq-prover/rocq/issues/\1>`_,g' | tr '~' '\n')" if [ ! -z "$fixes_string" ]; then fixes_string="$(printf '\n fixes %s,' "$fixes_string")"; fi
# shellcheck disable=SC2016 # the ` are regular strings, this is intended # use %s for the leading - to avoid looking like an option (not sure # if necessary but doesn't hurt)
printf '%s **%s:**\n Describe your change here but do not end with a period\n (`#%s <https://github.com/rocq-prover/rocq/pull/%s>`_,%s\n by %s).\n' - "$type_full" "$PR" "$PR" "$fixes_string" "$(git config user.name)" > "$where"
printf 'Name of created changelog file:\n'
printf '%s\n'"$where"
giteditor=$(git config core.editor) if [ "$giteditor" ]; then
$giteditor "$where" elif [ "$EDITOR" ]; then
$EDITOR "$where" else
printf "Describe the changes in the above file\n" fi
Messung V0.5
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.