tools/cloney
changeset 198 172fc01ce997
parent 179 ca3935296621
child 5240 6c0884f75bd9
equal deleted inserted replaced
197:fd801ec0737c 198:172fc01ce997
    36 echo symlink cloning $srcdir to $destdir
    36 echo symlink cloning $srcdir to $destdir
    37 
    37 
    38 cd ${srcdir}
    38 cd ${srcdir}
    39 gfind . -type d | \
    39 gfind . -type d | \
    40     grep -v '^.$' | \
    40     grep -v '^.$' | \
    41     gsed -e 's,^./,,' | \
    41     gsed -e 's,^\./,,' | \
    42     while read i;
    42     while read i;
    43 do
    43 do
    44 	mkdir -p "${destdir}/$i"
    44 	mkdir -p "${destdir}/$i"
    45 done
    45 done
    46 
    46 
       
    47 # Copy files and symlinks, making sure we ignore the gnu-patch backup
       
    48 # files, too.
    47 gfind . -type f -o -type l | \
    49 gfind . -type f -o -type l | \
    48     gsed -e 's,^./,,' | \
    50     egrep -v '~[0-9]+~' | \
       
    51     gsed -e 's,^\./,,' | \
    49     while read i;
    52     while read i;
    50 do
    53 do
    51 	rm -f "${destdir}/$i"
    54 	rm -f "${destdir}/$i"
    52 	ln -s "${srcdir}/$i" "${destdir}/$i"
    55 	ln -s "${srcdir}/$i" "${destdir}/$i"
    53 done
    56 done