"Fossies" - the Fresh Open Source Software archive

Member "dpkg-1.16.10/man/fr/dpkg-distaddfile.1" of archive dpkg_1.16.10.tar.gz:


Table of Contents

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>.


Table of Contents