diff options
author | Teddy Wing | 2018-04-19 01:56:42 +0200 |
---|---|---|
committer | Teddy Wing | 2018-04-19 01:56:42 +0200 |
commit | 5d3e15ad6684a6c991be759407b0227bfaf337c3 (patch) | |
tree | 178c578b51521bff0d8841e44a50e04c9e5f78bc | |
parent | 0613af45fd99414e97042c2fdc4a9c18b920a325 (diff) | |
download | redprine-5d3e15ad6684a6c991be759407b0227bfaf337c3.tar.bz2 |
Add version
-rwxr-xr-x | redprine | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -5,6 +5,8 @@ # Downloads and caches GitHub PRs. Update the associated Redmine issue of any # new PRs authored by the owner. +VERSION='0.0.1' + GITHUB_TOKEN='' GITHUB_USERNAME='' GITHUB_OWNER_REPO='' @@ -309,7 +311,7 @@ function parse_arguments () { exit 0 ;; -v | --version) - echo 'TODO' + echo $VERSION exit 0 ;; |