Table des matières
Installation de QElectroTech sous Debian
Ce document décrit la procédure à suivre pour installer la version en cours de développement (0.80) de QElectroTech sous Debian GNU/Linux.
Installation de la version 0.90 en cours de développement
Note : la plupart des manipulations présentées ci-dessous sont à effectuer dans un terminal.
Clé du dépôt apt
$ gpg --keyserver pgpkeys.mit.edu --recv-key 1D4FB6C1 $ gpg -a --export 1D4FB6C1 | sudo apt-key add -
Ou
wget -q -O - https://debian.qelectrotech.org/qet/builds/debian/Qelectrotech_Repository.asc | sudo apt-key add -
On vérifie par la commande
sudo apt-key list
Step 3 : ajouter le dépôt à votre sources.list
Debian Stable
Debian 10, nom de code Buster
sudo apt-add-repository 'deb https://debian.qelectrotech.org/qet/builds/debian/ stable main'
Debian Sid
Debian unstable/testing
sudo apt-add-repository 'deb http://debian.qelectrotech.org/qet/builds/debian/ unstable main'
Il convient ensuite de mettre à jour son cache :
apt-get update
Step 4 : installation
apt-get install qelectrotech qelectrotech-data qelectrotech-examples qet-tb-generator pysimplegui
Voilà, QElectroTech devrait désormais être installé. Vous pouvez le lancer via la commande “qelectrotech”.
Pour le peu que votre environnement de bureau respecte les standards FreeDesktop.org, QET devrait également apparaître dans ses menus et les fichiers .qet et .elmt devraient s'ouvrir par défaut dans QElectroTech.
Debian pinning
[04:18:09] laurent@debian:~$ apt-cache policy qelectrotech qelectrotech: Installé : 0.50.r4018-1 Candidat : 0.50.r4025-1 Épinglage de paquet : 0.50.r4025-1 Table de version : 1:0.4-2 1001 500 [url]http://ftp.fr.debian.org/debian/[/url] sid/main amd64 Packages 0.50.r4025-1 1001 500 [url]http://debian.qelectrotech.org/qet/builds/debian/[/url] unstable/main amd64 Packages *** 0.50.r4018-1 1001 100 /var/lib/dpkg/status 0.22+svn897-1.1 1001 500 [url]http://ftp.fr.debian.org/debian/[/url] stable/main amd64 Packages
L'entrée suivante affecte une priorité haute à toutes les versions du paquet QElectroTech dont le numéro de version commence par 0.100. :
laurent@debian:~$ cat /etc/apt/preferences.d/40qelectrotech-devel Package: qelectrotech* Pin: version 0.100.* Pin-Priority: 1001
# echo -e 'Package: qelectrotech* \nPin: version 0.100.* \nPin-Priority: 1001' > /etc/apt/preferences.d/40qelectrotech-devel
Key is stored in legacy trusted.gpg keyring (/etc/apt/trusted.gpg), see the DEPRECATION section in apt-key(8) for details
sudo apt-key export 1D4FB6C1 | sudo gpg --dearmour -o /usr/share/keyrings/qelectrotech.gpg echo "deb [signed-by=/usr/share/keyrings/qelectrotech.gpg] https://debian.qelectrotech.org/qet/builds/debian/ unstable main" | sudo tee /etc/apt/sources.list.d/qelectrotech.list
Now remove in /etc/apt/sources.list :
deb https://debian.qelectrotech.org/qet/builds/debian/ unstable main
And old key:
sudo apt-key del 1D4FB6C1