Home | History | Annotate | Download | only in pylib 
      1 #!/system/bin/sh
      2 
      3 # Copyright 2014 The Chromium Authors. All rights reserved.
      4 # Use of this source code is governed by a BSD-style license that can be
      5 # found in the LICENSE file.
      6 
      7 # Android shell script to make the destination directory identical with the
      8 # source directory, without doing unnecessary copies. This assumes that the
      9 # the destination directory was originally a copy of the source directory, and
     10 # has since been modified.
     11 
     12 source=$1
     13 dest=$2
     14 echo copying $source to $dest
     15 
     16 delete_extra() {
     17   # Don't delete symbolic links, since doing so deletes the vital lib link.
     18   if [ ! -L "$1" ]
     19   then
     20     if [ ! -e "$source/$1" ]
     21     then
     22       echo rm -rf "$dest/$1"
     23       rm -rf "$dest/$1"
     24     elif [ -d "$1" ]
     25     then
     26       for f in "$1"/*
     27       do
     28        delete_extra "$f"
     29       done
     30     fi
     31   fi
     32 }
     33 
     34 copy_if_older() {
     35   if [ -d "$1" ] && [ -e "$dest/$1" ]
     36   then
     37     if [ ! -e "$dest/$1" ]
     38     then
     39       echo cp -a "$1" "$dest/$1"
     40       cp -a "$1" "$dest/$1"
     41     else
     42       for f in "$1"/*
     43       do
     44         copy_if_older "$f"
     45       done
     46     fi
     47   elif [ ! -e "$dest/$1" ] || [ "$1" -ot "$dest/$1" ] || [ "$1" -nt "$dest/$1" ]
     48   then
     49     # dates are different, so either the destination of the source has changed.
     50     echo cp -a "$1" "$dest/$1"
     51     cp -a "$1" "$dest/$1"
     52   fi
     53 }
     54 
     55 if [ -e "$dest" ]
     56 then
     57   echo cd "$dest"
     58   cd "$dest"
     59   for f in ./*
     60   do
     61     if [ -e "$f" ]
     62     then
     63       delete_extra "$f"
     64     fi
     65   done
     66 else
     67   echo mkdir "$dest"
     68   mkdir "$dest"
     69 fi
     70 echo cd "$source"
     71 cd "$source"
     72 for f in ./*
     73 do
     74   if [ -e "$f" ]
     75   then
     76     copy_if_older "$f"
     77   fi
     78 done
     79