Add lock to only execute pull.bash only once at a time

.gitignore

 *.txt
 out/*
 CHANGELOG.md
-data/data
-logs/log
 profiling.log
\ No newline at end of file

scripts/pull.bash

 #!/bin/bash
 
+# wait until all other instances of the script are finished
+while pidof -o %PPID -x "pull.bash">/dev/null; do
+    # check every 60 seconds
+    sleep 60
+done
+
 cd `dirname "$0"`/..
 echo $( date '+%F %H:%M:%S' ) | tee -a bash.log
 git pull 2>&1 | tee -a bash.log

scripts/push.bash

@@ -2,11 +2,12 @@
 
 ls -la .
 ls -la data
-ls -la log
+ls -la logs
+ps aux
 
 scripts/./write.bash
 
-pip install multiprocessing_logging
+pip3 install multiprocessing_logging
 python3 measure.py
 
 git add .