#!/bin/bash # # Copyright (c) 2009 Red Hat, Inc. # # This software is licensed to you under the GNU General Public License, # version 2 (GPLv2). There is NO WARRANTY for this software, express or # implied, including the implied warranties of MERCHANTABILITY or FITNESS # FOR A PARTICULAR PURPOSE. You should have received a copy of GPLv2 # along with this software; if not, see # http://www.gnu.org/licenses/old-licenses/gpl-2.0.txt. # # Red Hat trademarks are not licensed under GPLv2. No permission is # granted to use or replicate Red Hat trademarks that are incorporated # in this software or its documentation. # #but echo here if you do not want really remove your files. DEBUG="echo DEBUG:" print_help () { cat </dev/null; then $DEBUG rm $OTHER_FILE return fi OPTION=0 while [ 0$OPTION -eq 0 -o 0$OPTION -ge 3 ]; do cat </dev/null; then $DEBUG rm $OTHER_FILE return fi OPTION=0 while [ 0$OPTION -eq 0 -o 0$OPTION -ge 3 ]; do cat <