Back to main page ...Regina offers Arch Linux packages through an online a package repository. This helps Arch Linux to find and install dependencies automatically. It also helps with security, since the repository is cryptographically signed.
To install Regina and keep up-to-date with the newest version, follow these instructions.
You only need to follow these steps the first time you install Regina. After this, Arch Linux's package manager will handle upgrades for you, just like for any other package.
Open a terminal and grant yourself root privileges.
Make Regina's repository a trusted source. To do this, download Regina's cryptographic signing key here. Then, in the terminal, type:
pacman-key --add ~/Downloads/regina-key.txt
pacman-key --finger bab@debian.org
pacman-key --lsign bab@debian.org
In the first step, you should replace ~/Downloads/regina-key.txt with the location of the file you just downloaded. In the second step, you should check that the fingerprint is correct (the correct fingerprint is shown at the bottom of this page). The third step is the one that actually marks the key as trusted.
You can now delete regina-key.txt if you like.
Add Regina's repository to your pacman configuration. To do this, add the following lines to the end of /etc/pacman.conf:
[regina]
Server = https://people.debian.org/~bab/archlinux/$repo/$arch
Update the list of available packages. To do this, type:
pacman -Syy
Install Regina. To do this, type:
pacman -S regina-normal
That's all! You can now keep Regina up to date in the same way that you manage your other Arch Linux packages.
The fingerprint for Regina's cryptographic signing key is shown below (see the line in bold). If you wish to examine the key more carefully, including its links into the web of trust, you can download it here.
example$ pacman-key --finger bab@debian.org
pub rsa4096 2014-08-28 [SC]
519A 0009 FB50 255D DB4E 8892 70A6 BEDF 542D 38D9
uid [ unknown] Benjamin Burton <bab@debian.org>
uid [ unknown] Benjamin Burton <bab@maths.uq.edu.au>
uid [ unknown] Benjamin Burton <burton.bab@gmail.com>
sub rsa4096 2014-08-28 [E]