mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
Emphasize need to use momo.
This commit is contained in:
@@ -197,10 +197,8 @@ Chalmers system):
|
||||
<P></P>
|
||||
<P>
|
||||
This sets up an alias <CODE>gfreposerver</CODE> for the server we use
|
||||
for the Darcs repository. Note that you really need to use
|
||||
<CODE>momo.medic.chalmers.se</CODE> (or some other server with the new Linux system)
|
||||
since we need to have a server with Darcs 1.0.4. If you use some server
|
||||
with an earlier Darcs version you can mess up the repository.
|
||||
for the Darcs repository.
|
||||
Note that <B>you really need to use <CODE>momo.medic.chalmers.se</CODE></B> (or some other server with the new Linux system) since we need to have a server with Darcs 1.0.4. If you use some server with an earlier Darcs version you can mess up the repository.
|
||||
</P>
|
||||
<P>
|
||||
More information about the ControlMaster feature is available in
|
||||
|
||||
@@ -146,10 +146,8 @@ ControlPath /tmp/ssh-gfreposerver
|
||||
```
|
||||
|
||||
This sets up an alias ``gfreposerver`` for the server we use
|
||||
for the Darcs repository. Note that you really need to use
|
||||
``momo.medic.chalmers.se`` (or some other server with the new Linux system)
|
||||
since we need to have a server with Darcs 1.0.4. If you use some server
|
||||
with an earlier Darcs version you can mess up the repository.
|
||||
for the Darcs repository.
|
||||
Note that **you really need to use ``momo.medic.chalmers.se``** (or some other server with the new Linux system) since we need to have a server with Darcs 1.0.4. If you use some server with an earlier Darcs version you can mess up the repository.
|
||||
|
||||
More information about the ControlMaster feature is available in
|
||||
``man ssh_config``.
|
||||
|
||||
Reference in New Issue
Block a user