diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2018-04-02 23:39:28 +0200 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2018-04-02 23:40:00 +0200 |
| commit | 9ccdb70ea2b02aabb1dc27fd618fd1438fbd7ae2 (patch) | |
| tree | 0392847f61af50dd92ae0249752e4bf84ae44024 /community/shards/use-git-bare-instead-of-mirror.patch | |
| parent | 63900f59e4fd1c6d98030562281626efabe4c08f (diff) | |
| download | aports-9ccdb70ea2b02aabb1dc27fd618fd1438fbd7ae2.tar.bz2 aports-9ccdb70ea2b02aabb1dc27fd618fd1438fbd7ae2.tar.xz | |
community/shards: move from testing
Diffstat (limited to 'community/shards/use-git-bare-instead-of-mirror.patch')
| -rw-r--r-- | community/shards/use-git-bare-instead-of-mirror.patch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/community/shards/use-git-bare-instead-of-mirror.patch b/community/shards/use-git-bare-instead-of-mirror.patch new file mode 100644 index 0000000000..fef88e5a7e --- /dev/null +++ b/community/shards/use-git-bare-instead-of-mirror.patch @@ -0,0 +1,18 @@ +From 3a64a76b495708a7f3bf7969e85b26817e094cc8 Mon Sep 17 00:00:00 2001 +From: Julien Portalier <julien@portalier.com> +Date: Tue, 12 Dec 2017 10:19:44 +0100 +Subject: [PATCH] Fix: use git --bare instead of --mirror + +Patch-Source: https://github.com/crystal-lang/shards/commit/3a64a76b495708a7f3bf7969e85b26817e094cc8 + +--- a/src/resolvers/git.cr ++++ b/src/resolvers/git.cr +@@ -178,7 +178,7 @@ + + private def clone_repository + Dir.mkdir_p(Shards.cache_path) unless Dir.exists?(Shards.cache_path) +- run "git clone --mirror --quiet -- #{FileUtils.escape git_url} #{dependency.name}", ++ run "git clone --bare --quiet -- #{FileUtils.escape git_url} #{dependency.name}", + path: File.dirname(local_path) + rescue Error + raise Error.new("Failed to clone #{git_url}") |