diff options
Diffstat (limited to 'plugins/tree/bin/getchildren.sh')
| -rw-r--r-- | plugins/tree/bin/getchildren.sh | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/plugins/tree/bin/getchildren.sh b/plugins/tree/bin/getchildren.sh deleted file mode 100644 index 952522c..0000000 --- a/plugins/tree/bin/getchildren.sh +++ /dev/null @@ -1,28 +0,0 @@ -#!/bin/sh -name='getchildren' -ver=0.1 -# Copyright (C) 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>. - -usage="Usage: $RVS $name ID" -id="${1?"$usage"}" - -dir="$REPO/@ID@/" -if [ -d "$dir" ]; then - grep -rFxh "$id" "$dir" -fi - - |