diff options
Diffstat (limited to 'plugins/files')
| -rw-r--r-- | plugins/files/bin/commit | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/plugins/files/bin/commit b/plugins/files/bin/commit deleted file mode 100644 index 63eaac1..0000000 --- a/plugins/files/bin/commit +++ /dev/null @@ -1,36 +0,0 @@ -#!/bin/sh -name='rvs files commit' -ver=0.9 -# Copyright (C) 2009-2010 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>. - -source "$libexecdir/@ID@/stdio" - -# commit FILE -file=${1-.} # take arg1 as the file, default to the current directory - -if [ ! -e "$file" ]; then - error "file \`$file' does not exist"; -else - foundMod='false'; - for type in select/*; do - if "$type" "$file"; then foundMod='true'; break; fi - done - if [ "$foundMod" == 'false' ]; then - error "cannot handle file type of \`$file'" - fi -fi - |