diff options
Diffstat (limited to 'plugins/tags')
| -rw-r--r-- | plugins/tags/bin/get-tag.sh | 3 | ||||
| -rw-r--r-- | plugins/tags/bin/tag-id.sh | 33 |
2 files changed, 34 insertions, 2 deletions
diff --git a/plugins/tags/bin/get-tag.sh b/plugins/tags/bin/get-tag.sh index d1df852..fa7895b 100644 --- a/plugins/tags/bin/get-tag.sh +++ b/plugins/tags/bin/get-tag.sh @@ -21,6 +21,5 @@ usage="usage: $RVS get-tag FILENAME TAG" name="${1?"$usage"}" tag="${2?"$usage"}" -file="$REPO/@ID@/$tag" -"$RVS" get "$name" "`cat "$file"`" +"$RVS" get "$name" "`"$RVS" tag-id "$tag"`" diff --git a/plugins/tags/bin/tag-id.sh b/plugins/tags/bin/tag-id.sh new file mode 100644 index 0000000..ef95f69 --- /dev/null +++ b/plugins/tags/bin/tag-id.sh @@ -0,0 +1,33 @@ +#!/bin/sh +name='tag-id' +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 TAG" +tag="${1?"$usage"}" + +file="$REPO/@ID@/$tag" + +if [ -f "$file" ]; then + cat "$REPO/@ID@/$tag" +else + echo "$0: cannot find tag \`$tag'" >> /dev/stderr + exit 1 +fi + + + |