Ceci est une ancienne révision du document !
Dépôts
PPA
-
Ajout d'un PPA à vos sources logicielles : voir PPA (Personal Package Archives), d'après https://doc.ubuntu-fr.org/ppa#ajout_d_un_ppa_a_vos_sources_logicielles
Ce wiki regroupe les résultats de mes expériences en informatique accumulés au cours de mes recherches sur le net.
Dans la mesure du possible, j'ai cité mes sources ; il en manque certainement… 
Ceci est une ancienne révision du document !
Piste : • odt : Export OpenOffice.org/LibreOffice.org • Fixer l'adresse IP du Raspberry Pi sur le réseau (via la box) • DNSmasq : un serveur DNS local pour un PC sous Ubuntu • XAMPP sous Windows : un serveur LAMPP • Cacherevisionseraser : Nettoyeur du cache et des révisions • pyRenamer : Renommer en nombre • Numérotation des titres par CSS uniquement (remplace numberedheadings) • Mettre à niveau Raspbian Stretch vers Raspbian Buster • Bases SQL • Dépôts
