diff options
| author | Luke Shumaker <luke@HP-dv6246us-u910.(none)> | 2010-03-28 12:25:08 -0400 |
|---|---|---|
| committer | Luke Shumaker <lukeshu@sbcglobal.net> | 2015-06-26 00:30:19 -0600 |
| commit | 98f2efbe20e2d9d03e5296293cc8f52c95af72f5 (patch) | |
| tree | df5ab79539c7a4b5bc5a056dc14a4f7a4c5be665 /rvs/plugins/files/stdio.sh | |
| parent | d4a42ee34928970141b8299c104d47c0f3faecd0 (diff) | |
Rework rvs a lot (no longer needs complex C dependency tracker!)
Rework ./configure, and how it uses `srcdir'. Probably broke all the
other packages. Oh well, everything only half-works right now.
Diffstat (limited to 'rvs/plugins/files/stdio.sh')
| -rw-r--r-- | rvs/plugins/files/stdio.sh | 66 |
1 files changed, 0 insertions, 66 deletions
diff --git a/rvs/plugins/files/stdio.sh b/rvs/plugins/files/stdio.sh deleted file mode 100644 index 9062683..0000000 --- a/rvs/plugins/files/stdio.sh +++ /dev/null @@ -1,66 +0,0 @@ -#!/bin/sh -#name='rvs files stdio' -#ver=0.9 -# Copyright (C) 2009 Luke Shumaker -# -# This program is free software; you can redistribute it and/or -# modify it under the terms of the GNU General Public License as -# published by the Free Software Foundation; either version 2 of the -# License, or (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -# General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program; see the file COPYING. -# If not, see <http://www.gnu.org/licenses>. - -verbose() { - if [ "$volume" == '-v' ]; then - echo $@ >> /dev/stderr - fi -} - -out() { - if [ "$volume" != '-q' ]; then - echo $@ >> /dev/stderr - fi -} - -warn () { - echo "$name: $1" >> /dev/stderr -} - -fatal () { - warn "$1" - exit 1 -} - -error() { - warn "$1" - cat << __error__ >> /dev/stderr -Usage: $name $usage - -Try \`$name --help\' for more options. -__error__ - exit 1 -} - -version() { - echo "$name $ver" - if [ "$volume" != '-q' ]; then - cat << __disclaimer__ -$name is copyright (C) 2009 Luke Shumaker -This program is distributed in the hope that it will be useful, -but WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -GNU General Public License for more details. - -Originally written by Luke Shumaker <LukeShu@sbcglobal.net>. -__disclaimer__ - fi - exit 0 -} - |