📄 datatool.sh.in
字号:
#! /bin/sh# $Id: datatool.sh.in,v 1000.0 2003/10/29 17:48:43 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"asn="$base/all.asn"do_test() { eval args=\""$1"\" shift file="$1" shift echo "$tool" -m "$asn" $args out "$@" cmd=`echo "$tool" -m "$asn" $args out "$@"` time $cmd if test "$?" != 0; then echo "datatool failed!" exit 1 fi cmp out "$r/$file" if test "$?" != 0; then echo "wrong result!" exit 1 fi rm out}for i in "-t Seq-entry -d $d/set.bin" "-v $d/set.ent" "-vx $d/set.xml"; do do_test "$i -e" set.bin "$@" do_test "$i -p" set.ent "$@" do_test "$i -px" set.xml "$@"doneecho "Done!"# # ===========================================================================# PRODUCTION $Log: datatool.sh.in,v $# PRODUCTION Revision 1000.0 2003/10/29 17:48:43 gouriano# PRODUCTION PRODUCTION: IMPORTED [ORIGINAL] Dev-tree R1.6# PRODUCTION# ===========================================================================#
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -