> +DIR=$(dirname $(readlink -f $0)) > +DIR="${DIR}/../" How do you think about to merge these variable assignments also into one?
+DIR="$(dirname $(readlink -f $0))/../" Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci