aboutsummaryrefslogtreecommitdiffstats
path: root/utils/patch.awk
diff options
context:
space:
mode:
authorsigoden <sigoden@gmail.com>2024-11-16 07:20:55 +0800
committerGitHub <noreply@github.com>2024-11-16 07:20:55 +0800
commit6d30c22b82a5ac1a5775d8137c3b08a581770273 (patch)
tree164bf3358334719b8fcdaa3b3db42ad378709276 /utils/patch.awk
parent1b96d4ee4cadf05163d653373423a615723240aa (diff)
downloadllm-functions-docker-6d30c22b82a5ac1a5775d8137c3b08a581770273.tar.gz
feat(tools): add fs_patch.sh (#124)
Diffstat (limited to 'utils/patch.awk')
-rwxr-xr-xutils/patch.awk112
1 files changed, 112 insertions, 0 deletions
diff --git a/utils/patch.awk b/utils/patch.awk
new file mode 100755
index 0000000..b625d37
--- /dev/null
+++ b/utils/patch.awk
@@ -0,0 +1,112 @@
+#!/usr/bin/awk -f
+
+# Apply a diff file to an original
+# Usage: awk -f patch.awk target-file patch-file
+
+FNR == NR {
+ lines[FNR] = $0
+ next;
+}
+
+{
+ patchLines[FNR] = $0
+}
+
+END {
+ totalPatchLines=length(patchLines)
+ totalLines = length(lines)
+ patchLineIndex = 1
+
+ mode = "none"
+
+ while (patchLineIndex <= totalPatchLines) {
+ line = patchLines[patchLineIndex]
+
+ if (line ~ /^--- / || line ~ /^\+\+\+ /) {
+ patchLineIndex++
+ continue
+ }
+
+ if (line ~ /^@@ /) {
+ mode = "hunk"
+ hunkIndex++
+ patchLineIndex++
+ continue
+ }
+
+ if (mode == "hunk") {
+ while (patchLineIndex <= totalPatchLines && line ~ /^[-+ ]/ && line !~ /^--- /) {
+ sanitizedLine = substr(line, 2)
+ if (line !~ /^\+/) {
+ hunkTotalOriginalLines[hunkIndex]++;
+ hunkOriginalLines[hunkIndex,hunkTotalOriginalLines[hunkIndex]] = sanitizedLine
+ }
+ if (line !~ /^-/) {
+ hunkTotalUpdatedLines[hunkIndex]++;
+ hunkUpdatedLines[hunkIndex,hunkTotalUpdatedLines[hunkIndex]] = sanitizedLine
+ }
+ patchLineIndex++
+ line = patchLines[patchLineIndex]
+ }
+ mode = "none"
+ } else {
+ patchLineIndex++
+ }
+ }
+
+ if (hunkIndex == 0) {
+ print "No patch" > "/dev/stderr"
+ exit 1
+ }
+
+ totalHunks = hunkIndex
+ hunkIndex = 1
+
+ # inspectHunks()
+
+ for (lineIndex = 1; lineIndex <= totalLines; lineIndex++) {
+ line = lines[lineIndex]
+ nextLineIndex = 0
+
+ if (line == hunkOriginalLines[hunkIndex,1]) {
+ nextLineIndex = lineIndex + 1
+ for (i = 2; i <= hunkTotalOriginalLines[hunkIndex]; i++) {
+ if (lines[nextLineIndex] != hunkOriginalLines[hunkIndex,i]) {
+ nextLineIndex = 0
+ break
+ }
+ nextLineIndex++
+ }
+ }
+ if (nextLineIndex > 0) {
+ for (i = 1; i <= hunkTotalUpdatedLines[hunkIndex]; i++) {
+ print hunkUpdatedLines[hunkIndex,i]
+ }
+ hunkIndex++
+ lineIndex = nextLineIndex -1;
+ } else {
+ print line
+ }
+ }
+
+ if (hunkIndex != totalHunks + 1) {
+ print "Failed to patch the file" > "/dev/stderr"
+ exit 1
+ }
+}
+
+function inspectHunks() {
+ print "/* Begin inspecting hunks"
+ for (i = 1; i <= totalHunks; i++) {
+ print ">>>>>> Original"
+ for (j = 1; j <= hunkTotalOriginalLines[i]; j++) {
+ print hunkOriginalLines[i,j]
+ }
+ print "======"
+ for (j = 1; j <= hunkTotalUpdatedLines[i]; j++) {
+ print hunkUpdatedLines[i,j]
+ }
+ print "<<<<<< Updated"
+ }
+ print "End inspecting hunks */\n"
+} \ No newline at end of file