DOKK / manpages / debian 10 / ubuntu-dev-tools / pull-debian-source.1.en
PULL-DEBIAN-SOURCE(1) General Commands Manual PULL-DEBIAN-SOURCE(1)

pull-debian-source - download and extract a source package from Debian

pull-debian-source [options] <source package> [release|version]

pull-debian-source downloads and extracts the specified version of source package, or the latest version in the specified Debian release.

pull-debian-source will try the preferred mirror, default mirror, security mirror, and fall back to Launchpad or snapshot.debian.org, in search of the requested version.

The source package to download from Debian.
The release to download the source package from. Defaults to unstable.
The specific version of the package to download.
Do not extract the source package.
Use the specified mirror. Should be in the form http://ftp.debian.org/debian. If the package isn't found on this mirror, pull-debian-source will fall back to the default mirror.
Use the specified mirror. Should be in the form http://security.debian.org. If the package isn't found on this mirror, pull-debian-source will fall back to the default mirror.
Do not read any configuration files, or configuration from environment variables.
Display the usage instructions and exit.

All of the CONFIGURATION VARIABLES below are also supported as environment variables. Variables in the environment take precedence to those in configuration files.

The following variables can be set in the environment or in ubuntu-dev-tools(5) configuration files. In each case, the script-specific variable takes precedence over the package-wide variable.

The default value for --mirror.
The default value for --security-mirror.

dget(1), pull-debian-debdiff(1), pull-lp-source(1), ubuntu-dev-tools(5)

22 January 2011 ubuntu-dev-tools