Creare un repository per Debian

Seguono le istruzioni per creare un repository Debian. La spiegazione è basata su http://www.debian.org/doc/manuals/repository-howto/repository-howto.en.html

REPO_DIR={pick some location}
mkdir $REPO_DIR
mkdir $REPO_DIR/binary
mkdir $REPO_DIR/source
cp $PACKAGING_WORK/bakery-{number}/build-temp-{number}/* $REPO_DIR/binary
cd $REPO_DIR
dpkg-scanpackages binary  /dev/null | gzip -9c > binary/Packages.gz
dpkg-scansources  source  /dev/null | gzip -9c > source/Sources.gz

Usare il repository Debian appena creato

E' necessario aggiungere un nuovo file alla directory /etc/apt/sources.list.d/. Per esempio un nuovo file chiamato mariadb.list

# Repository MariaDB per Ubuntu 9.04 "Jaunty Jackalope".
#
deb file:///home/psergey/testrepo binary/
deb-src file:///home/psergey/testrepo source/

Dopodiché è possibile eseguire:

apt-get update  # Let apt learn about the new repository
apt-get install mariadb-server

e collezionare i bug :-).

"apt-get install" scrive l'output degli script e dei server nella directory /var/log. E' possibile impostare DEBIAN_SCRIPT_DEBUG=1 per avere alcuni di essi (non tutti) su stdout.

Pulizia dopo un'installazione non riuscita

Per cedere cosa è installato:

dpkg --get-selections | grep mariadb
dpkg --get-selections | grep mysql

Poi ripetere quanto segue, finché le istruzioni sopra non producono un output vuoto:

 dpkg --purge <packages>

Nota: dopo alcuni fallimenti, /etc/mysql e /var/lib/mysql non vengono più rimosse durante la pulizia, e occorre eliminarle manualmente.