Semplificato il recupero delle informazioni di path

2020-01-08 17:00:58 +01:00
parent 34c074099b
commit f229137fc8
6 changed files with 55 additions and 71 deletions
@@ -1,5 +1,10 @@
 #! /bin/bash --
-[ ! -z "${GREZZO_1577142105}" ] && return; GREZZO_1577142105=0
+[ ! -z "${GREZZO_MAIN}" ] && return; GREZZO_MAIN=0
+
+function this_script_path() {
+    unset CDPATH
+    echo "$(cd "$(dirname "$(readlink -f -- "${BASH_SOURCE[1]}")")" > /dev/null && pwd -P)"
+}

 function feat_missing() {
 	! command -v "$1" 2>&1 >/dev/null