> +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
