diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-09-03 10:42:19 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-09-03 10:42:19 +0000 |
| commit | 0567715edec1b3be97e3496779d7baf36c1fd09c (patch) | |
| tree | 81e38b787085c57ba7809673865ee88890be0511 /etc/cvs-tips.txt | |
| parent | b53fac43863183e1d08972d34d66b91fbf35611a (diff) | |
Note of secure alt to no password
Diffstat (limited to 'etc/cvs-tips.txt')
| -rw-r--r-- | etc/cvs-tips.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/etc/cvs-tips.txt b/etc/cvs-tips.txt index b0128258..495aef3c 100644 --- a/etc/cvs-tips.txt +++ b/etc/cvs-tips.txt @@ -11,6 +11,10 @@ ssh-keygen and give an empty passphrase. Then you need to copy your ~/.ssh/identity.pub at home into ~/.ssh/authorized_keys at dcs.ed. +(NB: a more secure alternative would be to use ssh-agent to provide +your passphrase as needed. The point is that you don't want to +keep typing passwords on every CVS command). + 2. The CVS repository for PG is in ~proofgen/src at dcs.ed.ac.uk To use this, you need to set CVSROOT and CVS_RSH. I use the script below (the last line isn't essential but makes the settings inside a running |