diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2010-04-01 17:18:31 +0200 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2010-04-01 17:18:31 +0200 |
| commit | 46361a17f0cb6f4f7c46705c5af71b6680cf5b1d (patch) | |
| tree | e7466e094406d5d195823840cb2d43a371f67bea /cmdline/apt-mark | |
| parent | 3b1fffc35f3eb277d92f38c687c270edd1d8550d (diff) | |
| parent | 436d7eab92bb8f9cc6498acfbf2055e717be6fd0 (diff) | |
merged from lp:~donkult/apt/sid
Diffstat (limited to 'cmdline/apt-mark')
| -rwxr-xr-x | cmdline/apt-mark | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cmdline/apt-mark b/cmdline/apt-mark index 31383d987..12768b708 100755 --- a/cmdline/apt-mark +++ b/cmdline/apt-mark @@ -76,6 +76,10 @@ if __name__ == "__main__": help="print verbose status messages to stdout") (options, args) = parser.parse_args() + if not args: + parser.print_help() + sys.exit(1) + # get the state-file if not options.filename: STATE_FILE = apt_pkg.config.find_dir("Dir::State") + "extended_states" |