diff options
| author | Luca Monducci <luca.mo@tiscali.it> | 2020-01-02 13:45:04 +0100 |
|---|---|---|
| committer | Luca Monducci <luca.mo@tiscali.it> | 2020-01-02 13:45:04 +0100 |
| commit | a36136e55918682785e61bfed0c15c4d27cb7024 (patch) | |
| tree | c897d41c73154c275e71cebf457e1f391e271a0e /italian/ports | |
| parent | 265c3346268309c20a2727bfff7dc5d0ef64de95 (diff) | |
pbuilder usage
Diffstat (limited to 'italian/ports')
| -rw-r--r-- | italian/ports/hurd/hurd-devel-debian.wml | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/italian/ports/hurd/hurd-devel-debian.wml b/italian/ports/hurd/hurd-devel-debian.wml index b80b3616ce8..a7e02f489de 100644 --- a/italian/ports/hurd/hurd-devel-debian.wml +++ b/italian/ports/hurd/hurd-devel-debian.wml @@ -1,6 +1,6 @@ #use wml::debian::template title="Debian GNU/Hurd – Sviluppo" NOHEADER="yes" #include "$(ENGLISHDIR)/ports/hurd/menu.inc" -#use wml::debian::translation-check translation="6f3adf6374f35194686f89dec2ba66b1ecf3bb5f" maintainer="Luca Monducci" +#use wml::debian::translation-check translation="dd86de49807cb957ea73388b4bf2565163644a0c" maintainer="Luca Monducci" <h1>Debian GNU/Hurd</h1> @@ -39,6 +39,18 @@ propria chiave pgp.</p> Il modo più semplice per farla funzionare è installare tutti i pacchetti necessari usando il comando <code>apt-get build-dep pacchetto</code>.</p> +<p> +Può essere comodo usare pbuilder. Prima deve essere compilato con +<code>sudo pbuilder create --mirror http://deb.debian.org/debian-ports/ +--debootstrapopts --keyring=/usr/share/keyrings/debian-ports-archive-keyring.gpg +--debootstrapopts --extra-suites=unreleased --extrapackages +debian-ports-archive-keyring</code> e poi usato con +<code>pdebuild -- --binary-arch</code>, gestisce il recupero delle +dipendenze per la compilazione, ecc. e salva il risultato in +<code>/var/cache/pbuilder/result</code>. +</p> + + <h3>Scegliere un pacchetto</h3> <p>Quale pacchetto richiede del lavoro? Qualsiasi pacchetto che ancora |