add script

PeterPetrik · PeterPetrik · commit 2ffa94e4738b · 2022-06-14T10:55:58.000+02:00
diff --git a/scripts/check_all.bash b/scripts/check_all.bash
@@ -0,0 +1,5 @@
+DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
+PWD=`pwd`
+cd $DIR
+black --verbose -l 120 $DIR/../mergin
+cd $PWD
