[darcs-users] darcs get from password-protected http location

Mon Feb 13 13:30:06 UTC 2006

Hello,

I need to set up a darcs repository on a web server in a
password-protected directory.

I figured out that I can use DARCS_GET_HTTP to achieve this:

  curl -u user:password -s -f"
  darcs get http://server/dir/

However, this doesn't work on Windows. After downloading curl I first try:

curl -u user:password http://server/dir/ -s -f
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<html>
 <head>
  <title>Index of dir</title>
 </head>
 <body>
 ...
</body></html>

Seems ok so far. Now:

  set DARCS_GET_HTTP="curl -u user:password -s -f"
  darcs get http://server/dir/

curl: option -f": is unknown
curl: try 'curl --help' or 'curl --manual' for more information
curl: option -f": is unknown
curl: try 'curl --help' or 'curl --manual' for more information
Invalid repository:  http://server/dir

darcs failed:  ("curl -u user:password -s -f") failed to fetch: http://server/dir/_darcs/inventory

Let's try without the -f:

set DARCS_GET_HTTP="curl -u user:password -s"

C:\temp\darcsdir-w32-1.0.5b\darcsdir-w32>darcs get http://server/dir/
curl: option -s": is unknown
curl: try 'curl --help' or 'curl --manual' for more information
curl: option -s": is unknown
curl: try 'curl --help' or 'curl --manual' for more information
Invalid repository:  http://server/dir

darcs failed:  ("curl -u user:password -s") failed to fetch: http://server/dir/_darcs/inventory

...and without -s:

set DARCS_GET_HTTP="curl -u user:password"

C:\temp\darcsdir-w32-1.0.5b\darcsdir-w32>darcs get http://server/dir/
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN">
<html><head>
<title>401 Authorization Required</title>
</head><body>
<h1>Authorization Required</h1>
<p>This server could not verify that you
are authorized to access the document
requested.  Either you supplied the wrong
credentials (e.g., bad password), or your
browser doesn't understand how to supply
the credentials required.</p>
<hr />
<address>Apache/2.0.50 (Fedora) Server at server Port 80</addr
ess>
</body></html>
curl: (6) Could not resolve host: >; Host not found
curl: (6) Could not resolve host: C:; Host not found

I do ctrl-c and darcs says:

darcs: <<loop>>

Can someone help me make this work or point out a simpler solution?
TIA...
-- 
Jean-Louis Leroy
Sound Object Logic
http://www.soundobjectlogic.com