mirror of
https://seed.radicle.dev/rad:z3gqcJUoA1n9HaHKufZs5FCSGazv5.git
synced 2026-10-25 14:20:30 +08:00
12 lines
276 B
Bash
Executable File
12 lines
276 B
Bash
Executable File
#! /usr/bin/env bash
|
|
set -e
|
|
TOOL=$1
|
|
PKG_NAME=$2
|
|
|
|
if ! command -v "$TOOL" >/dev/null 2>&1; then
|
|
PKG="${PKG_NAME:-$TOOL}"
|
|
echo "${ERROR}Missing required tool: ${TOOL}${NORMAL}"
|
|
echo "${HINT}Use your systems package manager to install '$PKG'.${NORMAL}"
|
|
exit 1
|
|
fi
|