From 5c9233d5397d0ed370909b719c0f52365098b758 Mon Sep 17 00:00:00 2001 From: Thierry Vignaud Date: Fri, 8 Jun 2012 18:56:44 +0000 Subject: actually rename --- pod/urpmi.removemedia.8.pod | 53 --------------------------------------------- 1 file changed, 53 deletions(-) delete mode 100644 pod/urpmi.removemedia.8.pod (limited to 'pod/urpmi.removemedia.8.pod') diff --git a/pod/urpmi.removemedia.8.pod b/pod/urpmi.removemedia.8.pod deleted file mode 100644 index 6a5fd670..00000000 --- a/pod/urpmi.removemedia.8.pod +++ /dev/null @@ -1,53 +0,0 @@ -=head1 NAME - -urpmi.removemedia - remove a rpm media from the known media of urpmi - -=head1 SYNOPSIS - - urpmi.removemedia [options] names - -=head1 DESCRIPTION - -urpmi.removemedia removes from all configuration files all references -to the named media and to rpms from that media. > is a list of -names you first told to urpmi.addmedia. - -=head1 OPTIONS - -=over - -=item B<-a> - -Select and remove all media. - -=item B<-y> - -Fuzzy match on media names, so you can remove several media at once. - -=item B<-v> - -Be verbose (the default). - -=item B<-q> - -Be quiet. - -=item B<--urpmi-root> I - -Use the file system tree rooted for urpmi database and rpm install. Contrary -to B<--root>, the urpmi configuration comes from the rooted tree. - -=item B<--wait-lock> - -If the urpmi or rpm db is busy, wait until it is available - -=back - -=head1 SEE ALSO - -urpmi(8), urpmi.addmedia(8), urpmi.update(8). - -=head1 AUTHOR - -Pascal Rigaux (original author and current maintainer), -FranEois Pons, Rafael Garcia-Suarez -- cgit v1.2.1