Details for Uploading Main Rodin Update Site

From Event-B
Revision as of 10:06, 18 May 2011 by imported>Colin (New page: (These instructions are based on uploading the update site from a Mac running OSX) # Make sure your workspace copy of the plugin project org.rodinp.updateSite is synchronised with the SVN...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

(These instructions are based on uploading the update site from a Mac running OSX)

  1. Make sure your workspace copy of the plugin project org.rodinp.updateSite is synchronised with the SVN repository (only site.xml is used, other files/folders can be ignored)
  2. Copy site.xml from your eclipse workspace to you user home directory (this just makes it easier to locate the file from the terminal command line since the user home directory is the default local directory in Terminal - see below)
  3. Open the Terminal utility and enter the following commands replacing <sourceforgeusername> and <sourceforgepassword>:
Last login: Tue May 17 21:22:29 on console
dhcp-152-78-95-201:~ <localusername>$ sftp <sourceforgeusername>,rodin-b-sharp@web.sourceforge.net
Connecting to web.sourceforge.net...
<sourceforgeusername>,rodin-b-sharp@web.sourceforge.net's password: <sourceforgepassword>
sftp> cd htdocs
sftp> cd updates
sftp> ls
site.xml  
sftp> put site.xml
Uploading site.xml to /home/project-web/rodin-b-sharp/htdocs/updates/site.xml
site.xml                                                            100%   67KB  66.7KB/s   00:01    
sftp> exit
dhcp-152-78-95-201:~ <localusername>$
Retrieved from ‘https://wiki.event-b.org/index.php?title=Details_for_Uploading_Main_Rodin_Update_Site&oldid=3603’