From 81eed3a7164d9cb10e356391ab9c6441329d63c9 Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Mon, 15 Jul 2024 18:30:31 +0200
Subject: [PATCH] libstd: function def_cmd added

---
 Pmodules/libstd.bash | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Pmodules/libstd.bash b/Pmodules/libstd.bash
index ac4fa84..d3b9b0c 100644
--- a/Pmodules/libstd.bash
+++ b/Pmodules/libstd.bash
@@ -35,6 +35,10 @@ std::die() {
         exit $ec
 }
 
+std::def_cmd(){
+	which "$1" 2>/dev/null || std::die 255 "'$1' not found!"
+}
+
 std::def_cmds(){
 	local path="$1"
 	shift