Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /pages/trunk/DEV/sf-howto.html
ViewVC logotype

Annotation of /pages/trunk/DEV/sf-howto.html

Parent Directory Parent Directory | Revision Log Revision Log


Revision 962 - (view) (download) (as text)

1 : macqueen 962 <!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
2 :     <html>
3 :     <head>
4 :     <title>SML/NJ Project Howto</title>
5 :     </head>
6 :    
7 :     <body BGCOLOR="ffffff">
8 :     <h1>SML/NJ Project Howto</h1>
9 :    
10 :     This is a collection of hints and pointers to help new users of
11 :     SourceForge and CVS to use the facilities of the SML/NJ project.
12 :     For general information on using SourceForge, see the
13 :     <a href="http://sourceforge.net/docman/?group_id=1">
14 :     SourceForge Documentation Manager</a> and the
15 :     "Getting Started with SourcForge" link on that page under the
16 :     heading "General Documentation".
17 :     <p>
18 :     Note: <em>loginname</em> stands for the SourceForge user login name.
19 :     <p>
20 :     <h3> Project directory </h3>
21 :     The SML/NJ project directory path is:
22 :     <pre>
23 :     /home/groups/s/sm/smlnj/
24 :     </pre>
25 :     This directory contains subdirectories <code>htdocs</code> and <code>cgi-bin</code>.
26 :     <p>
27 :    
28 :     <h3>Login to sourceforge user account</h3>
29 :     <pre>
30 :     ssh -l loginname smlnj.sourceforge.net
31 :     </pre>
32 :     Your home directory will look something like: <code>/home/users/m/ma/macqueen</code>.
33 :    
34 :     <h3>Setting up CVS access</h3>
35 :     <ol>
36 :     <li> In your user Account Maintenance page, go to "Shell Account Information"
37 :     and click [Edit Keys] next to "CVS/SSH Shared Keys". Insert contents
38 :     of ~/.ssh/identity.pub file on your local machine into the text box.
39 :     Make sure that when you cut and paste your key that it remains a single
40 :     line of text! Sometimes spurious line breaks are added when your
41 :     key is printed, and these will prevent CVS from working. You can verify
42 :     that it worked by checking the contents of the .ssh/authorized_keys
43 :     file in your SourceForge home directory.
44 :     <p>
45 :     <li> Set CVS_RSH:
46 :     <pre>
47 :     export CVS_RSH=ssh
48 :     </pre>
49 :     <li> Run ssh-agent and ssh-add for convenience, to avoid having to repeatedly
50 :     type in your ssh passphrase or SourceForge password:
51 :     <pre>
52 :     eval `ssh-agent`
53 :     ssh-add -p &lt;&lt;EOF
54 :     your pass phrase
55 :     EOF
56 :     </pre>
57 :     These last three commands can be, and probably should be, added to your
58 :     .profile or .login file. "your pass phrase" refers to the pass phrase
59 :     that you gave when you created your ssh identity files with ssh-keygen.
60 :     Note that some versions of ssh do not support the -p flag, in which case
61 :     you will have to run ssh-add interactively and type in your pass phrase.
62 :     Unfortunately, the version of ssh available on the SourceForge shell servers
63 :     is one of these.
64 :     <li> Set CVSROOT:
65 :     <pre>
66 :     export CVSROOT=<SF loginname>@cvs.smlnj.sourceforge.net:/cvsroot/smlnj
67 :     </pre>
68 :     <li> Execute cvs commands (without needing -d arguments, passwords,
69 :     or pass phrases), e.g.:
70 :     <pre>
71 :     cvs update bugs
72 :     </pre>
73 :     </ol>
74 :    
75 :     <h3> Updating web pages </h3>
76 :     You can copy an individual html source file (localfile) to the smlnj
77 :     sourceforge site by executing a command like:
78 :     <pre>
79 :     scp localfile loginname@smlnj.sourceforge.net:/home/groups/s/sm/smlnj/htdocs/
80 :     </pre>
81 :     However, updating the site web pages should be done by working on a
82 :     checked-out copy of the web pages (module "pages" in the project
83 :     CVS repository).
84 :     <p>
85 :     Then to actually update the pages, you login to your SourceForge account
86 :     and do
87 :     <pre>
88 :     cd /home/groups/s/sm/smlnj/htdocs
89 :     ... set up cvs ...
90 :     export CVSROOT=<loginname>@cvs.smlnj.sourceforge.net:/cvsroot/smlnj
91 :     cvs update pages
92 :     </pre>
93 :     In order to do the cvs operations on your SourceForge shell server, it
94 :     is a good idea to run ssh-keygen there to generate a new ssh key, and
95 :     then add that key to the end of your .ssh/authorized_keys file. You can
96 :     also define CVS_RSH and run ssh-agent in your .profile at
97 :     SourceForge to make things simpler. Since the ssh at SourceForge does
98 :     not appear to accept a pass phrase on standard input, you'll have to run
99 :     ssh-add interactively after you log in.
100 :     <p>
101 :     <hr>
102 :     <address><a href="mailto:macqueen@users.sourceforge.net">Dave MacQueen</a></address>
103 :     <!-- Created: Fri Feb 16 12:36:42 EST 2001 -->
104 :     <!-- hhmts start -->
105 :     Last modified: Wed Feb 21 14:10:48 EST 2001
106 :     <!-- hhmts end -->
107 :     </body>
108 :     </html>

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0