tools to easy merge

git status > status.txt
awk -f git_statut.awk status.txt >mergeit.sh

then use mergeit.sh on git repository ( with prior check ;-) ).
This commit is contained in:
philippe lhardy
2025-07-30 08:50:28 +02:00
parent a978460489
commit 89c3679be4

View File

@@ -0,0 +1,9 @@
#! /bin/awk -f
function dirname(filename)
{
return ("$(dirname " filename ")")
}
/modifié :/{ print "mkdir -p changed/" dirname($2) "; mv " $2 " changed/" $2 "; git checkout " $2 "; meld " $2 " changed/" $2 }