Difference between revisions of "Details for Uploading Main Rodin Update Site"
From Event-B
Jump to navigationJump to searchimported>Tommy m |
imported>Nicolas |
||
| Line 5: | Line 5: | ||
# 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) | # 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) | ||
| + | # Make sure site.xml has read access for all: <nowiki>"ls -l site.xml"</nowiki> should give "-rw-r--r--", if not: <nowiki>"chmod a+r site.xml"</nowiki> | ||
# 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) | # 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) | ||
# Open the Terminal utility and enter the following commands replacing <sourceforgeusername> and <sourceforgepassword>: | # Open the Terminal utility and enter the following commands replacing <sourceforgeusername> and <sourceforgepassword>: | ||
Revision as of 17:20, 21 March 2012
Before updloading the update site, be sure that your version conforms with the following rules : Rules to respect on the update site
(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 repository (only site.xml is used, other files/folders can be ignored)
- Make sure site.xml has read access for all: "ls -l site.xml" should give "-rw-r--r--", if not: "chmod a+r site.xml"
- 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)
- 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>$
