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.

Note : la plupart des manipulations présentées ci-dessous sont à effectuer dans un terminal.

$ 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

Debian 10, nom de code Buster

sudo apt-add-repository 'deb https://debian.qelectrotech.org/qet/builds/debian/ stable main'

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

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.

[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

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