deb

formato di file
Versione del 30 apr 2019 alle 23:33 di LauBot (discussione | contributi) (Bot: passaggio degli url da HTTP a HTTPS)
Disambiguazione – Se stai cercando altri significati, vedi DEB.

deb è il formato, nonché estensione, dei pacchetti utilizzati dalla distribuzione Debian e dalle sue derivate, come Ubuntu, Xubuntu, Linux Mint, ecc.

Pacchetto Debian
Estensione.deb
Tipo MIMEapplication/vnd.debian.binary-package
SviluppatoreDebian
TipoSistema di gestione dei pacchetti
Gdebi.

Tali pacchetti sono composti da un archivio ar, che contiene due file .tar.gz: uno contenente i dati, l'altro le informazioni aggiuntive necessarie per consentire una corretta gestione delle dipendenze da parte di dpkg (il sistema di gestione dei pacchetti di Debian).

Generalmente i pacchetti .deb non vengono gestiti utilizzando direttamente dpkg ma con altri programmi (come ad esempio apt), differenti sia per i diversi tipi di interfacce forniti, sia per l'"intelligenza" e la "logica" di gestione delle dipendenze.

Per installare un pacchetto Debian, basta eseguire questo comando:

# dpkg -i pacchetto_debian.deb

mentre per la rimozione:

# dpkg -r pacchetto_debian.deb

Pacchetti deb possono essere convertiti in altri formati, come RPM usando l'utility alien in questo modo:

# alien pacchetto_suse.rpm

Collegamenti esterni