equal
deleted
inserted
replaced
107 repository path |
107 repository path |
108 </dt> |
108 </dt> |
109 <dd> |
109 <dd> |
110 |
110 |
111 is either the pathname of a local repository of the URI of a remote |
111 is either the pathname of a local repository of the URI of a remote |
112 repository. There are two available URI protocols, hg:// which is |
112 repository. There are two available URI protocols, http:// which is |
113 fast and the http:// protocol which is much slower but does not require |
113 fast and the old-http:// protocol which is much slower but does not |
114 python on the web host. |
114 require python on the web host. |
115 |
115 |
116 </dd> |
116 </dd> |
117 </dl> |
117 </dl> |
118 <hr /> |
118 <hr /> |
119 <h2>COMMANDS</h2> |
119 <h2>COMMANDS</h2> |
365 this file contains changeset hash values and text tag names (one of each |
365 this file contains changeset hash values and text tag names (one of each |
366 seperated by spaces) that correspond to tagged versions of the repository |
366 seperated by spaces) that correspond to tagged versions of the repository |
367 contents. |
367 contents. |
368 |
368 |
369 </dd> |
369 </dd> |
|
370 <dt> |
|
371 $HOME/.hgpaths |
|
372 </dt> |
|
373 <dd> |
|
374 |
|
375 this file contains a mapping from a symbolic name to a repository path |
|
376 (which could be a local path or a remote URI), the format is |
|
377 <symbolic name> <repository path> with each mapping on a seperate line |
|
378 |
|
379 </dd> |
370 </dl> |
380 </dl> |
371 <hr /> |
381 <hr /> |
372 <h2>BUGS</h2> |
382 <h2>BUGS</h2> |
373 <p> |
383 <p> |
374 Probably lots, please post them to the mailing list (See Resources below) |
384 Probably lots, please post them to the mailing list (See Resources below) |
399 </p> |
409 </p> |
400 <p></p> |
410 <p></p> |
401 <p></p> |
411 <p></p> |
402 <hr /><p><small> |
412 <hr /><p><small> |
403 Version 0.5<br /> |
413 Version 0.5<br /> |
404 Last updated 27-May-2005 08:14:25 MDT |
414 Last updated 27-May-2005 15:07:30 MDT |
405 </small></p> |
415 </small></p> |
406 </body> |
416 </body> |
407 </html> |
417 </html> |