diff --git a/check-version.sh b/check-version.sh new file mode 100644 index 0000000..82f0563 --- /dev/null +++ b/check-version.sh @@ -0,0 +1,8 @@ +#!/bin/bash + +URL="https://gmplib.org/" + +# Get version number +VERSION=$(curl -s -L "$URL" | grep 'The current stable release is ' | grep -o -E '[0-9]{1,}.[0-9]{1,}(\.[0-9]{1,}|)' | head -n1) + +echo "$VERSION"