tools: Bump `BATCAT_VERSION` from 0.24.0 to 0.25.0 (#7706)

This commit is contained in:
github-actions[bot] 2025-01-21 13:28:56 +01:00 committed by GitHub
parent 1557c9fcf0
commit 7ea4cb3b8d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -9,7 +9,7 @@
function run_tool_batcat() {
# Default version
BATCAT_VERSION=${BATCAT_VERSION:-0.24.0} # https://github.com/sharkdp/bat/releases
BATCAT_VERSION=${BATCAT_VERSION:-0.25.0} # https://github.com/sharkdp/bat/releases
declare non_cache_dir="/armbian-tools/batcat" # To deploy/reuse cached batcat in a Docker image.