Rename debian entity to debian-gnu.

5 files changed, 16 insertions, 16 deletions

diff --git a/it/install-methods/floppy/powerpc.xml b/it/install-methods/floppy/powerpc.xml
index 362f2c48e..8d690f9fd 100644
--- a/it/install-methods/floppy/powerpc.xml
+++ b/it/install-methods/floppy/powerpc.xml
@@ -51,13 +51,13 @@ programmi.
 
 <!--
 If you are creating the floppy image from files which were originally
-on the official &debian; CD, then the Type and Creator are already set
+on the official &debian-gnu; CD, then the Type and Creator are already set
 correctly. The following <command>Creator-Changer</command> steps are
 only necessary if you downloaded the image files from a Debian mirror.
 -->
 
 Se si stanno creando i dischetti dai file immagine che sono sul CD
-&debian; ufficiale allora <quote>Type</quote> e <quote>Creator</quote>
+&debian-gnu; ufficiale allora <quote>Type</quote> e <quote>Creator</quote>
 sono già impostati correttamente. I prossimi passaggi con
 <command>Creator-Changer</command> sono necessari solo se si sono scaricati
 i file immagine da uno dei mirror Debian.
diff --git a/it/install-methods/install-tftp.xml b/it/install-methods/install-tftp.xml
index 03e7d6208..7378d8653 100644
--- a/it/install-methods/install-tftp.xml
+++ b/it/install-methods/install-tftp.xml
@@ -110,13 +110,13 @@ Solaris) e GNU/Linux.
 <note arch="x86"><para>
 
 <!--
-For a &debian; server we recommend <classname>tftpd-hpa</classname>.
+For a &debian-gnu; server we recommend <classname>tftpd-hpa</classname>.
 It's written by the same author as the <classname>syslinux</classname>
 bootloader and is therefore least likely to cause issues.
 A good alternative is <classname>atftpd</classname>.
 -->
 
-Su un server &debian; è raccomandato <classname>tftpd-hpa</classname>.
+Su un server &debian-gnu; è raccomandato <classname>tftpd-hpa</classname>.
 È scritto dallo stesso autore del bootloader <classname>syslinux</classname>
 e quindi è poco probabile che crei dei problemi. Una buona alternativa è
 <classname>atftpd</classname>.
@@ -163,7 +163,7 @@ pacchetto e può essere modificata riconfigurando il pacchetto.
 
 <!--
 Historically, TFTP servers used <filename>/tftpboot</filename> as directory
-to serve images from. However, &debian; packages may use other directories
+to serve images from. However, &debian-gnu; packages may use other directories
 to comply with the <ulink url="&url-fhs-home;">Filesystem Hierarchy
 Standard</ulink>. For example, <classname>tftpd-hpa</classname> by default
 uses <filename>/var/lib/tftpboot</filename>. You may have to adjust the
@@ -171,7 +171,7 @@ configuration examples in this section accordingly.
 -->
 
 Storicamente i server TFTP hanno usato <filename>/tftpboot</filename> come
-directory dalla quale servire le immagini. Invece, i pacchetti &debian;
+directory dalla quale servire le immagini. Invece, i pacchetti &debian-gnu;
 potrebbero usare una directory diversa in modo da essere conformi al
 <ulink url="&url-fhs-home;">Filesystem Hierarchy Standard</ulink>. Per esempio
 <classname>tftpd-hpa</classname> usa <filename>/var/lib/tftpboot</filename>;
diff --git a/it/install-methods/official-cdrom.xml b/it/install-methods/official-cdrom.xml
index ebd53cd24..463722c35 100644
--- a/it/install-methods/official-cdrom.xml
+++ b/it/install-methods/official-cdrom.xml
@@ -3,12 +3,12 @@
 
 
  <sect1 id="official-cdrom">
- <!-- <title>Official &debian; CD-ROM Sets</title> -->
- <title>Set ufficiale di CD-ROM &debian;</title>
+ <!-- <title>Official &debian-gnu; CD-ROM Sets</title> -->
+ <title>Set ufficiale di CD-ROM &debian-gnu;</title>
 <para>
 
 <!--
-By far the easiest way to install &debian; is from an Official
+By far the easiest way to install &debian-gnu; is from an Official
 Debian CD-ROM Set. You can buy a set from a vendor (see the
 <ulink url="&url-debian-cd-vendors;">CD vendors page</ulink>).
 You may also download the CD-ROM images from a Debian mirror and make
@@ -24,7 +24,7 @@ DVD version, which saves a lot of space on your shelf and you avoid
 the CD shuffling marathon.
 -->
 
-Da sempre il modo più semplice per installare &debian; è usare un set
+Da sempre il modo più semplice per installare &debian-gnu; è usare un set
 ufficiale di CD-ROM Debian. Si può comprare il set da uno dei distributori
 (si consulti la <ulink url="&url-debian-cd-vendors;">pagina dei distributori
 di CD</ulink>); se invece si dispone di una connessione veloce alla rete e
diff --git a/it/install-methods/tftp/bootp.xml b/it/install-methods/tftp/bootp.xml
index 7f1e98722..f67ede7f6 100644
--- a/it/install-methods/tftp/bootp.xml
+++ b/it/install-methods/tftp/bootp.xml
@@ -9,7 +9,7 @@
 <!--
 There are two BOOTP servers available for GNU/Linux. The first is CMU
 <command>bootpd</command>. The other is actually a DHCP server: ISC
-<command>dhcpd</command>. In &debian; these are contained in the
+<command>dhcpd</command>. In &debian-gnu; these are contained in the
 <classname>bootp</classname> and <classname>dhcp3-server</classname>
 packages respectively.
 -->
@@ -17,7 +17,7 @@ packages respectively.
 Per GNU/Linux sono disponibili due server BOOTP. Il primo è
 <command>bootpd</command> di CMU, l'altro è un server DHCP:
 <command>dhcpd</command> di ISC. Questi server sono rispettivamente
-contenuti nei pacchetti &debian; <classname>bootp</classname> e
+contenuti nei pacchetti &debian-gnu; <classname>bootp</classname> e
 <classname>dhcp3-server</classname>.
 
 </para><para>
@@ -25,7 +25,7 @@ contenuti nei pacchetti &debian; <classname>bootp</classname> e
 <!--
 To use CMU <command>bootpd</command>, you must first uncomment (or
 add) the relevant line in <filename>/etc/inetd.conf</filename>.  On
-&debian;, you can run <userinput>update-inetd -enable
+&debian-gnu;, you can run <userinput>update-inetd -enable
 bootps</userinput>, then <userinput>/etc/init.d/inetd
 reload</userinput> to do so. Just in case your BOOTP server does not
 run Debian, the line in question should look like:
@@ -33,7 +33,7 @@ run Debian, the line in question should look like:
 
 Per usare <command>bootpd</command> di CMU è necessario togliere i commenti
 (o aggiungere) la relativa riga in <filename>/etc/inetd.conf</filename>.
-Su &debian; è possibile usare <userinput>update-inetd --enable
+Su &debian-gnu; è possibile usare <userinput>update-inetd --enable
 bootps</userinput> e poi <userinput>/etc/init.d/inetd reload</userinput>
 per fare questa operazione. Solo nel caso in cui il proprio server BOOTP
 non sia Debian, la riga in questione dovrebbe essere simile a questa:
diff --git a/it/install-methods/tftp/dhcp.xml b/it/install-methods/tftp/dhcp.xml
index 28d27bc52..b982db525 100644
--- a/it/install-methods/tftp/dhcp.xml
+++ b/it/install-methods/tftp/dhcp.xml
@@ -9,12 +9,12 @@
 
 <!--
 One free software DHCP server is ISC <command>dhcpd</command>.
-For &debian;, the <classname>dhcp3-server</classname> package is
+For &debian-gnu;, the <classname>dhcp3-server</classname> package is
 recommended.  Here is a sample configuration file for it (see
 <filename>/etc/dhcp3/dhcpd.conf</filename>):
 -->
 
-Un server DHCP libero è <command>dhcpd</command> di ISC. In &debian;
+Un server DHCP libero è <command>dhcpd</command> di ISC. In &debian-gnu;
 si raccomanda il pacchetto <classname>dhcp3-server</classname>. Segue
 un esempio del file di configurazione per questo server (di solito
 <filename>/etc/dhcp3/dhcpd.conf</filename>):