check_release.pl
changeset 8 31d1807b55d8
parent 5 cc9741ed8e84
child 9 25921fa4d40f
equal deleted inserted replaced
7:5e9d1bdb9a15 8:31d1807b55d8
    35 sub get_stable_release($$);
    35 sub get_stable_release($$);
    36 sub report($$);
    36 sub report($$);
    37 sub version($$);
    37 sub version($$);
    38 
    38 
    39 my $ME      = basename $0;
    39 my $ME      = basename $0;
    40 my $VERSION = "2.2";
    40 my $VERSION = "2.3";
    41 
    41 
    42 my %opt = (
    42 my %opt = (
    43     url    => "http://www.debian.org/releases/stable/index.html",
    43     url    => "http://www.debian.org/releases/stable/index.html",
    44     search => "<p>Debian",
    44     search => "<p>Debian",
    45     file   => "/etc/debian_version",
    45     file   => "/etc/debian_version",
   212 
   212 
   213 This plugin checks the current debian release number.
   213 This plugin checks the current debian release number.
   214 
   214 
   215 =head1 VERSION
   215 =head1 VERSION
   216 
   216 
   217 This man page is current for version 2.2 of check_release.
   217 This man page is current for version 2.3 of check_release.
   218 
   218 
   219 =head1 AUTHOR
   219 =head1 AUTHOR
   220 
   220 
   221 Written by Christian Arnold L<arnold@schlittermann.de>
   221 Written by Christian Arnold L<arnold@schlittermann.de>
   222 
   222