GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-22 19:22:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

Some formatting fixes.

Browse Source
This commit is contained in:
bringert
2005-11-17 15:03:30 +00:00
parent e75f93e6d5
commit 73295ac42e
2 changed files with 12 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
doc/darcs.html
View File

@@ -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: ssh-access, all you need to do is:
</P> </P>
<PRE> <PRE>
$ darcs push ``` $ darcs push
</PRE> </PRE>
<P></P> <P></P>
<P> <P>
@@ -318,9 +318,10 @@ See above.
<A NAME="toc21"></A> <A NAME="toc21"></A>
<H3>Using ssh-agent</H3> <H3>Using ssh-agent</H3>
<P> <P>
**NOTE: the method below will not work with MEDIC's new systems, such as <B>NOTE: the method below will not work with <CODE>momo.medic.chalmers.se</CODE></B>.
momo.medic.chalmers.se since MEDIC has decided to disable public key MEDIC has decided to disable public key authentication on all new machines.
authentication on all new machines. ** This section is included just for reference in case they decide to enable
it again.
</P> </P>
<P> <P>
With the ssh access method, Darcs needs to log in with ssh. For some With the ssh access method, Darcs needs to log in with ssh. For some

11
doc/darcs.txt
View File

@@ -197,7 +197,9 @@ repository.
Then you can push the patch(es) to the main repo. If you are using Then you can push the patch(es) to the main repo. If you are using
ssh-access, all you need to do is: 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 If you use the ``-a`` flag to push, all local patches which are not in
the main repo are pushed. the main repo are pushed.
@@ -257,9 +259,10 @@ See above.
=== Using ssh-agent === === Using ssh-agent ===
**NOTE: the method below will not work with MEDIC's new systems, such as **NOTE: the method below will not work with ``momo.medic.chalmers.se``**.
momo.medic.chalmers.se since MEDIC has decided to disable public key MEDIC has decided to disable public key authentication on all new machines.
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 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 reason it needs to do this several times for each operation. You can