Maintenance: Installing under Linux
From Automated Assistance for Formal Reasoning
This article describes how to install a full aartifact system from a backup archive onto a server running Linux (such as an AWS instance prepared according to the article Maintenance: Preparing an Amazon Web Services Instance). Backup archives can be found in the following directory if any are available:
A backup archive normally already contains a fully customized instance of MediaWiki (customized according to the article Maintenance: Integration with MediaWiki). Consult the article Maintenance: Integration with MediaWiki to find out how to customize the latest version of MediaWiki to work with aartifact.
Contents |
[edit] Extract the backup archive
Copy the backup archive into the directory /var/www and extract it:
cd /var/www tar -zxf aartifact-*.tar.gz rm -f aartifact-*.tar.gz
[edit] Configure
Run the configuration script to configure permissions.
chmod 755 pub/maintenance/configure-permissions
Reload httpd:
/etc/init.d/httpd reload
Add the necessary MySQL account credentials and database information to pvt/aartifact.ini-unconfigured and rename it:
mv pvt/aartifact.ini-unconfigured pvt/aartifact.ini
The pvt/aartifact.ini file can be used to specify MySQL account credentials for an instance of MediaWiki that has been integrated with the aartifact system according to the article Maintenance: Preparing an Amazon Web Services Instance. Some users may instead prefer to specify this information directly in wiki/LocalSettings.php.
[edit] Restore the database contents
Restore the MySQL database backup archive:
mysql -u root -p < aartifact-*.sql rm -f aartifact-*.sql
Grant database permissions to users (it may be necessary to recreate users; XXXX signifies a password):
mysql -u root -p > DROP USER 'aa'@'localhost'; > CREATE USER 'aa'@'localhost' IDENTIFIED BY 'XXXX'; > GRANT ALL ON *.* to 'aa'@'localhost';
To view MySQL databases:
mysql -u root -p > show databases;
[edit] Compile the necessary components
Compile the verification component.
pub/component.verifier/make
[edit] Installation Completed
The system should now be ready to use; it should be possible to view the aartifact home page by directing a browser at the server.
You may want to use the Special:Import page to import the XML archive containing the MediaWiki article contents at the time the backup archive was created. Normally, this should not be necessary because the database contents match the archive. In that case, simply delete the archive.
rm -f aartifact-*.xml
To create a new backup archive in the pub directory, run the maintenance backup script:
pub/maintenance/backup