Eukleides et Geany sous Debian 10

Eukleides est un langage de programmation pour tracer des figures de géométrie au format EPS (images vectorielles).

Dans la console :
sudo apt-get install eukleides

Paramétrer Geany pour des fichiers sources au format euk (Construire > Définir les commandes de construction) :
eukleides %e.euk

Attention à bien utiliser l’encodage ISO 8859-1 sous peine d’erreur : Document > Définir l’encodage > Européen de l’ouest > Occidental (ISO 8859-1). Appuyer sur la touche F8 pour obtenir une image au format EPS dans le répertoire du fichier source.

Installer Cura 4.8 sous Debian 10

Ultimaker Cura est un logiciel d’impression Open Source pour imprimantes 3D. Il est très simple à utiliser.

Dans la console :

Si le répertoire Cura n’existe pas déjà, je le crée :
sudo mkdir /usr/share/cura

Je télécharge l’application : Ultimaker_Cura-4.8.0.AppImage

J’installe l’application à l’endroit voulu :
cd Téléchargements
sudo mv Ultimaker_Cura-4.8.0.AppImage /usr/share/cura

Je rends le fichier exécutable :
sudo chmod +x /usr/share/cura/Ultimaker_Cura-4.8.0.AppImage

Je télécharge l’icône Cura et l’installe à l’endroit voulu :
wget http://entropie.org/3615/download/cura.png
sudo mv cura.png /usr/share/cura

Pour effacer une version précédente de Cura (à adapter) :
sudo rm -rf /usr/share/cura/Ultimaker_Cura-*

Pour intégrer le programme au menu de Xfce, je crée un fichier cura.desktop dans le répertoire /usr/share/applications :
cd /usr/share/applications
sudo nano cura.desktop

[Desktop Entry]
Type=Application
Name=Cura 4.8.0
Comment=Impression 3D
Exec=/usr/share/cura/Ultimaker_Cura-4.8.0.AppImage
Icon=/usr/share/cura/cura.png
Terminal=false
Categories=Engineering;

Convertir une vidéo d’un format vers un autre sous Debian 10

Mon appareil photo filme en 1280×720 pixels à 24 fps avec un débit du flux vidéo d’environ 22000 kb/s. Le format du sous-échantillonnage de la chrominance est du type yuvj422p. Le débit du flux audio de 176 kb/s. La fréquence d’échantillonage du son est de 11025 Hz (en mono).

J’utilise en mode console FFmpeg :
ffmpeg -i video.avi -s 1024×576 -b:v 1024k -crf 23 video.webm
-b:v : on spécifie le bitrate vidéo.
-crf : de 0 à 63 (0 : meilleure qualité).
Voir également : Recommended Settings for VOD.

Remarque : Pour pouvoir lire la vidéo sur un ordinateur un peu ancien, enregistrer en ogg :
ffmpeg -i video.avi -s 1024×576 -b:v 1024k -crf 23 video.ogg

Le format H264 qui suit est un format fermé. J’évite de l’utiliser.
ffmpeg -i video.avi -s 1024×576 -c:v libx264 -pix_fmt yuv420p -b:v 1024k -crf 23 video.mp4

Covid-19 : Protections et matériels pour la santé

Mobilisation des makers français : Etat des lieux sur Makery
Covid-3d AP-HP : Assistance Publique – Hôpitaux de Paris
Covid-Initiatives : Initiatives de la société civile
HelpfulEngineering : Science ouverte
Makers contre le Covid : Groupe Facebook
JOGL : Just One Giant Lab
Qualitiso : Ressources pour les acteurs du dispositif médical

VISIÈRES

Visière low-tech faite en quelques minutes (sans imprimante 3D)

Covid3D
3D4Care
HappyShield

MASQUES

Masques barrières (AFNOR)
Des Masques en Nord (CHU Lille)
La place des masques en tissus dans la prévention du Covid-19
Résultats des tests de caractérisation matière de la DGA

Extraire le flux audio d’une vidéo sous Debian 10

J’utilise en mode console FFmpeg :
ffmpeg -i video.avi -vn -b:a 320k audio.mp3
-vn : sans vidéo
-b:a : on spécifie le bitrate audio (8k, 16k, 24k, 32k, 40k, 48k, 64k, 80k, 96k, 112k, 128k, 160k, 192k, 224k, 256k, ou 320k suivant la qualité désirée).
Voir également : FFmpeg MP3 Encoding Guide.

Couper une vidéo sous Debian 10

J’utilise en mode console FFmpeg :
ffmpeg -ss 00:00:00.00 -t 00:01:59.00 -i input.mp4 -c copy output.mp4
avec
-ss : début de la séquence (hh:mm:ss.frame)
-t : durée (hh:mm:ss.frame)
-i : spécifie le fichier d’entrée
input.mp4 : nom du fichier à couper
-c copy : copie à l’identique la totalité des flux
output.mp4 : nom du fichier obtenu

Asus P2530UA, Wifi et Debian 10

Pour utiliser le Wifi sur un ordinateur portable Asus P2530UA sous Debian 10, il faut se résoudre à installer un paquet « non-free ». La carte Wifi est une Qualcomm Atheros QCA9377 (Driver : ath10k).

MODIFIER LE FICHIER SOURCES.LIST DES DÉPÔTS :

Dans la console :
sudo nano /etc/apt/sources.list

# deb cdrom:[Debian GNU/Linux 10]/ buster contrib main
# Mises à jour de sécurité
deb http://security.debian.org/debian-security buster/updates main contrib non-free
deb-src http://security.debian.org/debian-security buster/updates main contrib non-free
## Miroir Debian
# Dépôt de base : buster
deb http://ftp.fr.debian.org/debian/ buster main contrib non-free
deb-src http://ftp.fr.debian.org/debian/ buster main contrib non-free
# Mises à jour pour stable : buster-updates, previously known as ‘volatile’
deb http://ftp.fr.debian.org/debian/ buster-updates main contrib non-free
deb-src http://ftp.fr.debian.org/debian/ buster-updates main contrib non-free
# Rétroportages vers stable : buster-backports
deb http://ftp.fr.debian.org/debian/ buster-backports main contrib non-free
deb-src http://ftp.fr.debian.org/debian/ buster-backports main contrib non-free

INSTALLER LE PAQUET « NON-FREE » :

Dans la console :
sudo apt-get install firmware-atheros