Method checkout_file

gitless/core.py:880–915

Checkouts the given path at the given commit.

(self, path, commit)

      index.add(git_path)

  def checkout_file(self, path, commit):
    """Checkouts the given path at the given commit."""
    _check_path_is_repo_relative(path)

    git_path = _get_git_path(path)
    o = self.gl_repo.git_repo[commit.tree[git_path].id]
    assert o.type != pygit2.GIT_OBJ_COMMIT
    assert o.type != pygit2.GIT_OBJ_TAG

    if o.type == pygit2.GIT_OBJ_BLOB:
      full_path = os.path.join(self.gl_repo.root, path)
      dirname = os.path.dirname(full_path)
      if not os.path.exists(dirname):
        try:
          os.makedirs(dirname)
        except OSError as exc: # guard against race condition
          if exc.errno != errno.EEXIST:
            raise
      with io.open(full_path, mode='wb') as dst:
        dst.write(o.data)

      # So as to not get confused with the status of the file we also add it.
      # This prevents getting into a situation in which the staged version is
      # different from the working version. In such a case, the file would
      # appear as modified to Gitless when it shouldn't. This is also consistent
      # with the behavior of `git checkout <commit> <file>` that also adds the
      # file to the staging area.
      with self._index as index:
        index.add(git_path)

    elif o.type == pygit2.GIT_OBJ_TREE:
        raise PathIsDirectoryError(
          'Path {0} at {1} is a directory and not a file'.format(
              path, commit.id))
    else:
        raise Exception('Unexpected object type {0}'.format(o.type))

  def get_paths(self, path, commit):
    """Return a generator of all filepaths under path at commit."""