Regina for Arch Linux

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.

  1. Open a terminal and grant yourself root privileges.

  2. 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
    pacman-key --lsign

    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.

  3. Add Regina's repository to your pacman configuration. To do this, add the following lines to the end of /etc/pacman.conf:

    Server =$repo/$arch

  4. Update the list of available packages. To do this, type:

    pacman -Syy

  5. 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
pub   rsa4096 2014-08-28 [SC]
      519A 0009 FB50 255D DB4E  8892 70A6 BEDF 542D 38D9
uid           [ unknown] Benjamin Burton <>
uid           [ unknown] Benjamin Burton <>
uid           [ unknown] Benjamin Burton <>
sub   rsa4096 2014-08-28 [E]

Back to main page ... Back to main page ...