diff options
| -rwxr-xr-x | exporters/darcs/git-darcs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/exporters/darcs/git-darcs b/exporters/darcs/git-darcs index eb70338..3e7c157 100755 --- a/exporters/darcs/git-darcs +++ b/exporters/darcs/git-darcs @@ -42,7 +42,8 @@ add() echo "There is already a darcs repo with that name" exit fi - if [ ! -d $location/_darcs ]; then + repo=$location/_darcs + if [ ! -d $repo ] && ! wget --quiet --spider $repo; then echo "Remote is not a darcs repository" exit fi |