diff options
author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2021-11-29 17:00:04 +0100 |
---|---|---|
committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2021-11-30 15:21:51 +0100 |
commit | 5dee71efa597f5ab177e30de4e4b164c7cbf2a91 (patch) | |
tree | 937b10600ceccc6a7d2a8302ed270a20049b9aab | |
parent | 7f04810774b963c11896bb261ac3ca460ec30869 (diff) | |
download | manifest-5dee71efa597f5ab177e30de4e4b164c7cbf2a91.tar.gz manifest-5dee71efa597f5ab177e30de4e4b164c7cbf2a91.tar.bz2 manifest-5dee71efa597f5ab177e30de4e4b164c7cbf2a91.zip |
scripts: manifest.py: always touch .git/git-daemon-export-ok
When repositories are cloned, we also need to touch
.git/git-daemon-export-ok to export them.
And it's also a good idea to make sure that all the mirrored
repositories are exported.
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
-rwxr-xr-x | scripts/manifest.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/manifest.py b/scripts/manifest.py index 065ee7f..5090cc2 100755 --- a/scripts/manifest.py +++ b/scripts/manifest.py @@ -169,11 +169,11 @@ class Manifest(object): commands.append(" git -C {}/{}.git fetch {} {}".format( base_directory, repo_directory, url, revision)) + commands.append("fi") - commands.append(" touch {}/{}.git/git-daemon-export-ok".format( + commands.append("touch {}/{}.git/git-daemon-export-ok".format( base_directory, repo_directory)) - commands.append("fi") return commands |