From: Magnus Hagander Date: Sun, 24 Jan 2021 13:19:00 +0000 (+0100) Subject: Remove make_diff set of tools X-Git-Tag: REL_14_BETA1~892 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=8a337b0ed21c654521da137159b8b9327a5cb971;p=thirdparty%2Fpostgresql.git Remove make_diff set of tools These are mostly obsoleted by the switch to git, and it's easier to remove them than to update the incorrect documentation. Discussion: https://postgr.es/m/CABUevEwmASMn4WRJ6RagBx43sj10ctfMHcMA_-7KA3pDYmwpJw@mail.gmail.com --- diff --git a/src/tools/make_diff/README b/src/tools/make_diff/README deleted file mode 100644 index 9401a74a647..00000000000 --- a/src/tools/make_diff/README +++ /dev/null @@ -1,39 +0,0 @@ -src/tools/make_diff/README - -scripts -======= - -Here are some of the scripts I use to make development easier. - -First, I use 'cporig' on every file I am about to change. This makes a -copy with the extension .orig. If an .orig already exists, I am warned. - -I can get really fancy with this. I can do 'cporig *' and make a .orig -for every file in the current directory. I can: - - cporig `grep -l HeapTuple *` - -If I use mkid (from ftp.postgreSQL.org), I can do: - - cporig `lid -kn 'fsyncOff'` - -and get a copy of every file containing that word. I can then do: - - vi `find . -name '*.orig'` - -or even better (using mkid): - - eid fsyncOff - -to edit all those files. - -When I am ready to generate a patch, I run 'difforig' command from the top of -the source tree: - -I pipe the output of this to a file to hold my patch, and the file names -it processes appear on my screen. It creates a nice patch for me of all -the files I used with cporig. - -Finally, I remove my old copies with 'rmorig'. - -Bruce Momjian diff --git a/src/tools/make_diff/cporig b/src/tools/make_diff/cporig deleted file mode 100755 index 7b8f75feb43..00000000000 --- a/src/tools/make_diff/cporig +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/sh - -# src/tools/make_diff/cporig - -for FILE -do - if [ ! -f "$FILE.orig" ] - then cp $FILE $FILE.orig - else echo "$FILE.orig exists" 1>&2 - fi -done diff --git a/src/tools/make_diff/difforig b/src/tools/make_diff/difforig deleted file mode 100755 index 08119a42c33..00000000000 --- a/src/tools/make_diff/difforig +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh - -# src/tools/make_diff/difforig - -if [ "$#" -eq 0 ] -then APATH="." -else APATH="$1" -fi -find $APATH -name '*.orig' -print | sort | while read FILE -do - NEW="`dirname $FILE`/`basename $FILE .orig`" - echo "$NEW" 1>&2 - diff -c $FILE $NEW -done diff --git a/src/tools/make_diff/rmorig b/src/tools/make_diff/rmorig deleted file mode 100755 index 9879b786f4c..00000000000 --- a/src/tools/make_diff/rmorig +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh - -# src/tools/make_diff/rmorig - -if [ "$#" -eq 0 ] -then APATH="." -else APATH="$1" -fi -find $APATH -name '*.orig' -exec rm {} \;