📄 datatool_xml.sh.in
字号:
#! /bin/sh# $Id: datatool_xml.sh.in,v 1000.0 2003/10/29 17:48:51 gouriano Exp $#base="${1:-@srcdir@/testdata}"if test ! -d $base; then echo "Error -- test data dir not found: $base" exit 1fiif test -d "$1"; then shiftfid="$base/data"r="$base/res"tool="datatool"for i in "idx" "elink" "note"; do echo "$tool" -m "$base/$i.dtd" -vx "$d/$i.xml" -px out cmd=`echo "$tool" -m "$base/$i.dtd" -vx "$d/$i.xml" -px out` time $cmd if test "$?" != 0; then echo "datatool failed!" exit 1 fi cmp out "$r/$i.xml" if test "$?" != 0; then echo "wrong result!" exit 1 fidoneecho "Done!"# # ===========================================================================# PRODUCTION $Log: datatool_xml.sh.in,v $# PRODUCTION Revision 1000.0 2003/10/29 17:48:51 gouriano# PRODUCTION PRODUCTION: IMPORTED [ORIGINAL] Dev-tree R1.2# PRODUCTION# ===========================================================================#
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -