diff --git a/check-version.sh b/check-version.sh new file mode 100644 index 0000000..31c17a1 --- /dev/null +++ b/check-version.sh @@ -0,0 +1,8 @@ +#!/bin/bash + +URL="https://www.gnu.org/software/dejagnu/" + +# Get version number from tag name +VERSION=$(curl -s -L "$URL" | grep 'The current version of DejaGnu is ' | grep -o -E '([0-9]*\.[0-9]*)\.[0-9]*') + +echo "$VERSION"