Skip to content
Snippets Groups Projects
Commit c55a86f1 authored by Arthur Pons's avatar Arthur Pons
Browse files

On pull avant de push

Au cas-où y'ait eu des commits sur le dépôt gitlab via une autre source.
parent 080f11ca
Branches
No related merge requests found
......@@ -15,6 +15,7 @@ rm -rf ../temp/*.jpeg
makefile="../../makefile"
datarepo=$(grep '^datarepo' $makefile | cut -d'=' -f2 | tr -d ' ')
cd $datarepo
git pull
cat $res | ajouterid | ajouterdate | paste -s -d' ' >> $emplacement
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment