DevmoIdeas: Difference between revisions

m
No edit summary
 
(One intermediate revision by one other user not shown)
Line 46: Line 46:
* /data/www/developer.mozilla.org - Our devmo source
* /data/www/developer.mozilla.org - Our devmo source
* /data/www/phase3 - Mediawiki source, coming from their subversion repository, with our patches.
* /data/www/phase3 - Mediawiki source, coming from their subversion repository, with our patches.
===Important Script===
===Important Scripts===
;/data/www/developer.mozilla.org/bin/update-to-trunk.sh: Updates mediawiki source to trunk and "merges" with devmo source.
;/data/www/developer.mozilla.org/bin/update-to-trunk.sh: Updates mediawiki source to trunk and "merges" with devmo source.
;/data/www/developer.mozilla.org/bin/sync-prod-database.sh: Syncs the most recent production database dump with the testing db.
;/data/www/developer.mozilla.org/bin/sync-prod-database.sh: Syncs the most recent production database dump with the testing db.
===Process for making a change to the mediawiki part of the source===
===Process for making a change to the mediawiki part of the source===
# cd /data/www/phase3
# cd /data/www/phase3
Line 58: Line 59:
# svn status and svn diff
# svn status and svn diff
# There may be a lot of entries with "!" or "?" you will need to svn add the ones with "?" and delete the ones with "!" if they exist.
# There may be a lot of entries with "!" or "?" you will need to svn add the ones with "?" and delete the ones with "!" if they exist.
# view your changes.  There will probably also be changes in their from the mediawiki sync.
# view your changes.  There will probably also be changes in there from the mediawiki sync.
# svn commit in that directory if you are happy with the changes.
# svn commit in that directory if you are happy with the changes.
Confirmed users
1,209

edits