NOM¶
dpkg-distaddfile - Ajouter une entrée au fichier debian/files.
SYNOPSIS¶
dpkg-distaddfile [
options...]
fichier section priorité
DESCRIPTION¶
dpkg-distaddfile ajoute une entrée pour un fichier dans
debian/files.
Il prend trois arguments sans option, à savoir le nom du fichier, la
section et la priorité, pour le fichier
.changes.
Le nom du fichier sera indiqué relativement au répertoire dans lequel
dpkg-genchanges s'attend à trouver les fichiers, habituellement
.., plutôt que relativement au répertoire dans lequel est
exécuté
dpkg-distaddfile.
OPTIONS¶
- -ffichier/liste-des-fichiers
- Lit ou écrit la liste des fichiers qui doivent
être envoyés vers l'archive dans ce fichier plutôt que dans
le fichier debian/files.
- -?, --help
- Affiche un message d'aide puis quitte.
- --version
- Affiche le numéro de version puis quitte.
FICHIERS¶
- debian/files
- La liste des fichiers créés qui seront
installés sur le serveur. dpkg-distaddfile peut être
utilisé pour ajouter des fichiers supplémentaires.
TRADUCTION¶
Ariel VARDI <ariel.vardi@freesbee.fr>, 2002. Philippe Batailler, 2006.
Nicolas François, 2006. Veuillez signaler toute erreur à
<debian-l10n-french@lists.debian.org>.