diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-11-17 15:03:30 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-11-17 15:03:30 +0000 |
| commit | 68972edf3ef85f0dc95027c6bdc33a0b66410ef2 (patch) | |
| tree | d4a72dc8e854e73561e21a9b403f3e1a7f3d4ce3 | |
| parent | 2e808d442d89166272466a9a10dbfd635cd57dc5 (diff) | |
Some formatting fixes.
| -rw-r--r-- | doc/darcs.html | 9 | ||||
| -rw-r--r-- | doc/darcs.txt | 11 |
2 files changed, 12 insertions, 8 deletions
diff --git a/doc/darcs.html b/doc/darcs.html index a2c189ae4..d21a6134d 100644 --- a/doc/darcs.html +++ b/doc/darcs.html @@ -253,7 +253,7 @@ Then you can push the patch(es) to the main repo. If you are using ssh-access, all you need to do is: </P> <PRE> - $ darcs push ``` + $ darcs push </PRE> <P></P> <P> @@ -318,9 +318,10 @@ See above. <A NAME="toc21"></A> <H3>Using ssh-agent</H3> <P> -**NOTE: the method below will not work with MEDIC's new systems, such as - momo.medic.chalmers.se since MEDIC has decided to disable public key - authentication on all new machines. ** +<B>NOTE: the method below will not work with <CODE>momo.medic.chalmers.se</CODE></B>. +MEDIC has decided to disable public key authentication on all new machines. +This section is included just for reference in case they decide to enable +it again. </P> <P> With the ssh access method, Darcs needs to log in with ssh. For some diff --git a/doc/darcs.txt b/doc/darcs.txt index 6875b3b98..107ca4776 100644 --- a/doc/darcs.txt +++ b/doc/darcs.txt @@ -197,7 +197,9 @@ repository. Then you can push the patch(es) to the main repo. If you are using ssh-access, all you need to do is: -``` $ darcs push ``` +``` +$ darcs push +``` If you use the ``-a`` flag to push, all local patches which are not in the main repo are pushed. @@ -257,9 +259,10 @@ See above. === Using ssh-agent === -**NOTE: the method below will not work with MEDIC's new systems, such as - momo.medic.chalmers.se since MEDIC has decided to disable public key - authentication on all new machines. ** +**NOTE: the method below will not work with ``momo.medic.chalmers.se``**. +MEDIC has decided to disable public key authentication on all new machines. +This section is included just for reference in case they decide to enable +it again. With the ssh access method, Darcs needs to log in with ssh. For some reason it needs to do this several times for each operation. You can |