diff --git a/.github/ISSUE_TEMPLATE/bug_report.md b/.github/ISSUE_TEMPLATE/bug_report.md index 7eeb5562..15bf52b9 100644 --- a/.github/ISSUE_TEMPLATE/bug_report.md +++ b/.github/ISSUE_TEMPLATE/bug_report.md @@ -12,10 +12,17 @@ A clear and concise description of what the bug is. ## Platform -Please provide details about the environment you are using, including the following: +Please provide details about the environment you are using (run `scripts/collect_env.sh`). + +Hint: In case you cannot run script due to permissions, try `chmod u+x scripts/collect_env.sh`, then run again. + + -- Interpreter version: -- Library version: ## Sample Code diff --git a/scripts/collect_env.sh b/scripts/collect_env.sh new file mode 100755 index 00000000..16df0bb9 --- /dev/null +++ b/scripts/collect_env.sh @@ -0,0 +1,9 @@ +#/usr/bin/env sh + +rustc --version + +ORCHESTRATOR_VERSION=$(git tag --points-at HEAD) +if [ -z "$ORCHESTRATOR_VERSION" ]; then + ORCHESTRATOR_VERSION="No tag associated" +fi +echo "Orchestrator version: $ORCHESTRATOR_VERSION ($(git log -1 --pretty=format:'%h'))" \ No newline at end of file