summaryrefslogtreecommitdiff
path: root/dgit
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-06-20 16:12:12 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-06-20 16:12:38 +0100
commitf7d222ee9782806cd05d7a82595c142096c3bd04 (patch)
tree47d80a382301e74417296712f0b6821e3188c189 /dgit
parentedb1f92ab38d37b03452ca65e5b8394e512fffe8 (diff)
Infra: Provide dgit clone-dgit-repos-server
Diffstat (limited to 'dgit')
-rwxr-xr-xdgit9
1 files changed, 9 insertions, 0 deletions
diff --git a/dgit b/dgit
index 863104b..f314bda 100755
--- a/dgit
+++ b/dgit
@@ -2636,6 +2636,15 @@ sub cmd_archive_api_query {
exec @cmd or fail "exec curl: $!\n";
}
+sub cmd_clone_dgit_repos_server {
+ badusage "need destination argument" unless @ARGV==1;
+ my ($destdir) = @ARGV;
+ $package = '_dgit-repos-server';
+ my @cmd = (@git, qw(clone), access_giturl(), $destdir);
+ debugcmd ">",@cmd;
+ exec @cmd or fail "exec git clone: $!\n";
+}
+
#---------- argument parsing and main program ----------
sub cmd_version {