copy_git_directory.py

Go to the documentation of this file.

#! /usr/bin/env python
# Copyright 2019 Google LLC.
# Use of this source code is governed by a BSD-style license that can be
# found in the LICENSE file.
 
import os
import shutil
import subprocess
import sys
 
def copy_git_directory(src, dst, out=None):
  '''
  Makes a copy of `src` directory in `dst` directory.  If files already exist
  and are identical, do not touch them.  If extra files or directories exist,
  remove them.  Assume that `src` is a git directory so that `git ls-files` can
  be used to enumerate files.  This has the added benefit of ignoring files
  not tracked by git.  Also, if out is not None, write summary of actions to out.
  If `dst` is a top-level git directory, the `.git` directory will be removed.
  '''
  if not os.path.isdir(src):
    raise Exception('Directory "%s" does not exist.' % src)
  if not os.path.isdir(dst):
    os.makedirs(dst)
  ls_files = subprocess.check_output([
      'git', 'ls-files', '-z', '.'], cwd=src).decode('utf-8')
  src_files = set(p for p in ls_files.split('\0') if p)
  abs_src = os.path.abspath(src)
  cwd = os.getcwd()
  try:
    os.chdir(dst)
    def output(out, sym, dst, path):
      if out:
        out.write('%s %s%s%s\n' % (sym, dst, os.sep, path))
    for dirpath, dirnames, filenames in os.walk('.', topdown=False):
      for filename in filenames:
        path = os.path.normpath(os.path.join(dirpath, filename))
        if path not in src_files:
          output(out, '-', dst, path)
          os.remove(path)
      for filename in dirnames:
        path = os.path.normpath(os.path.join(dirpath, filename))
        if not os.listdir(path):  # Remove empty subfolders.
          output(out, '-', dst, path + os.sep)
          os.rmdir(path)
    for path in src_files:
      src_path = os.path.join(abs_src, path)
      if os.path.exists(path):
        with open(path) as f1:
          with open(src_path) as f2:
            if f1.read() == f2.read():
              continue
      output(out, '+', dst, path)
      shutil.copy2(src_path, path)
  finally:
    os.chdir(cwd)
 
if __name__ == '__main__':
  if len(sys.argv) != 3:
    sys.stderr.write('\nUsage:\n  %s SRC_DIR DST_DIR\n\n' % sys.argv[0])
    sys.exit(1)
  copy_git_directory(sys.argv[1], sys.argv[2], sys.stdout)