Files
dejagnu/check-version.sh
T
2025-08-16 22:31:41 +03:00

9 lines
223 B
Bash

#!/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"