diff --git a/doc/darcs.html b/doc/darcs.html index 1d8033102..cfd1e821b 100644 --- a/doc/darcs.html +++ b/doc/darcs.html @@ -8,7 +8,7 @@
@@ -106,8 +99,8 @@ Anyone can get the latest development version of GF by running (all on one line)
This will create a directory called GF in the current
directory. See GF/src/INSTALL for instructions on compiling. The
-main difference to compiling a GF release from sources is that you
-need to run autoconf before configure.
+main difference compared to compiling a GF release is that you
+need to run autoconf before ./configure.
langtech group to push changes to
the repository.
+If darcs seems to ask for your password multiple times for a single +push or pull, try upgrading to recent versions of darcs and OpenSSH +(OpenSSH version 4 or newer). +Recent OpenSSH versions include a connection multiplexing feature, which +recent darcs versions support. +
+Note: we seem to have some problems getting read-write access working smoothly on Windows. If you figure out how to do this, let us know. If not, you can still use read-only access, record patches in your local repository, and send them by e-mail once in a while. @@ -194,88 +194,29 @@ Note that the path setup works differently on different Chalmers machines. The command above will setup you path on the newer machines correctly.
--In order to avoid typing in you password multiple times for each -action on the remote repository, you can use ssh's ControlMaster -functionality. This allows several ssh instances to use the connection -established by one existing instance. -
-
-NOTE: You need OpenSSH version 4 or newer for this to work. You
-can check your OpenSSH version with ssh -V. If you have an older
-version of OpenSSH, you need to remove the ControlPath line below,
-and you can skip the "Setting up an ssh ControlMaster connection"
-step. You will be typing in your password a lot...
-
-Add this to ~/.ssh/config (create the file if it does not exist,
-replace bringert with your own username on the
-Chalmers system):
-
- Host gfreposerver - HostName momo.medic.chalmers.se - User bringert - 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.
-
-More information about the ControlMaster feature is available in
-man ssh_config.
-
-Before connecting to the remote server, you need to set up a master -ssh connection to it. As long as this connection is up, you don't -need to enter your password when connecting to the GF repository server. -
--Start the master connection: -
-- $ ssh -M gfreposerver -- -
-This looks just like a normal ssh login, and you get a shell on the server. -Put this connection in the background, or keep it open in a window -somewhere. -
--NOTE: You need to have a ControlMaster connection running whenever you want to access the repo using ssh. -You may want to create a script or alias for starting the connection. -
- -
-You can use a darcs wrapper which sets up a ControlMaster connection
-if there isn't one already. Put the script darcs-cm
-somewhere on your path and use it instead of darcs to work with
-the remote repository.
-
-Get your copy with (all on one line):
+Get your copy with (all on one line),
+replacing bringert with your own username on the
+Chalmers system:
- $ darcs get --partial --set-scripts-executable gfreposerver:/users/cs/www/Research/Language-technology/darcs/GF/ + $ darcs get --partial --set-scripts-executable bringert@momo.medic.chalmers.se:/users/cs/www/Research/Language-technology/darcs/GF/
+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 at least Darcs 1.0.4. If you use some server
+with an earlier Darcs version you can mess up the repository.
+
The option --partial means that you do not download all of the
history for the repository. This saves space, bandwidth and CPU time,
and most people don't need the full history of all changes in the
past.
Get all new patches from the main repo: @@ -287,7 +228,7 @@ Get all new patches from the main repo:
Without -a, you can choose which patches you want to get.
There are two steps to commiting a change to the main repo. First you
@@ -321,7 +262,7 @@ ssh-access, all you need to do is:
If you use the -a flag to push, all local patches which are not in
the main repo are pushed.
Use:
@@ -334,66 +275,30 @@ Use:
This applies the patch to your local repository. To commit it to the
main repo, use darcs push.
If you get darcs not found when you try to push your changes, you
don't have darcs on your $PATH on the Chalmers system. See
the section above on setting up your $PATH on the Chalmers system.
There seems to be a problem with how darcs 1.0.4 calls sftp, which -means that normal password authentication does not work. Either use -Darcs 1.0.3 on your client, and be prepared to enter your password -many times, or use the ssh ControlMaster feature as described above. +means that normal password authentication does not work. +Try upgrading to a more recent version of darcs.
- --You get this error when you have set up ControlMaster, but don't have a master -connection running. Start a master connection: -
-- $ ssh -M gfreposerver -- -
-or use the darcs-cm script shown above.
-
-It seems like ssh connection multiplexing doesn't work under Cygwin: -http://www.mail-archive.com/cygwin@cygwin.com/msg61323.html. -
-
-The workaround is to use password authentication. Just remove the
-ControlPath line in .ssh/config, and don't setup a ControlMaster
-connection (and don't use darcs-cm).
-
-You should then be able to checkout using just: -
-- $ darcs get --partial --set-scripts-executable gfreposerver:/users/cs/www/Research/Language-technology/darcs/GF/ -- -
-The problem is that when you pull and push, you have to enter your -password quite a few times. -
- +-See above. +Get a recent darcs and OpenSSH, see above.
- +
NOTE: the method below will not work with momo.medic.chalmers.se.
@@ -456,7 +361,7 @@ Try to use it to log in (with your own username again):
zsh:bringert:[~]>
This section contains information about how the repository is set
@@ -486,12 +391,12 @@ The repo has this in _darcs/prefs/defaults:
The server which we push to has darcs 1.0.4, which is needed for
posthook support.
For more info about what you can do with darcs, see http://darcs.net/manual/
- - + +