]> git.wh0rd.org Git - home.git/commitdiff
git-repack: clean empty dirs
authorMike Frysinger <vapier@gentoo.org>
Sat, 17 Feb 2018 02:08:54 +0000 (21:08 -0500)
committerMike Frysinger <vapier@gentoo.org>
Sat, 17 Feb 2018 02:08:54 +0000 (21:08 -0500)
.bin/git-repack

index bdceb68ee775e8bcce515e8a44d16066eb2f0435..063ff81a8547f93e00cabd2524d2ad8278f019de 100755 (executable)
@@ -151,6 +151,10 @@ def repack(path):
         print('Repacking git repo: %s' % ' '.join(cmd))
         subprocess.check_call(cmd, cwd='/')
 
+        # Clean empty dirs.
+        cmd = ['find', rundir, '-depth', '-type', 'd', '-exec', 'rmdir', '{}', '+']
+        subprocess.call(cmd, stderr=open('/dev/null', 'w'))
+
         if tmpdir:
             cmd = ['rsync', '-a', '--delete', tmpdir + '/', path + '/']
             print('Syncing back git repo: %s' % ' '.join(cmd))