home *** CD-ROM | disk | FTP | other *** search
- #!/bin/sh
- FILE1="$1"
- FILE2="$2"
- BEGIN="$3"
- END="$4"
-
- # Substitute the region between BEGIN and END in FILE1 into FILE2
-
- cat "${FILE2}" | sed -e "1,/${BEGIN}/!d" -e "/${BEGIN}/d" > tmpx
- cat "${FILE1}" | sed -e "/${BEGIN}/,/${END}/!d" >> tmpx
- cat "${FILE2}" | sed -e "/${END}/,500000!d" -e "/${END}/d" >> tmpx
-
-
-