Confirmed users, Bureaucrats and Sysops emeriti
53
edits
DevmoIdeas: Difference between revisions
→Important Script
No edit summary |
|||
| 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 | ===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 | ||