.pkg-based (Arch Linux)

The following steps explain how to add the IMCCE repository to your system. These instructions should work on most PKG-based Linux systems, such as Arch Linux.

Setup the IMCCE repository

First, you need to make sure you have a copy of the IMCCE repository GPG key.

pacman-key --init
pacman-key --populate
pacman-key --keyserver keyserver.ubuntu.com --recv-keys  87F4BB354C2860BDC873589291CE0EA359667069
pacman-key --lsign-key 87F4BB354C2860BDC873589291CE0EA359667069

Second, you need to add the source, corresponding to your distribution version, to file /etc/pacman.conf .

The following commands add a section to the file /etc/pacman.conf .

sudo cat >>/etc/pacman.conf <<EOF
[packagesimccefr]
Server = https://packages.imcce.fr/pkg/archlinux/latest/
SigLevel = Required DatabaseOptional

EOF

Third, you need to update the catalog of the available packages

pacman -Sy