[BK-2020-03.git] / user / check_ots.sh

#!/bin/bash

yell() { echo "$0: $*" >&2; } # print script path and all args to stderr
die() { yell "$*"; exit 111; } # same as yell() but non-zero exit status
try() { "$@" || die "cannot $*"; } # runs args as command, reports args if command fails

if [[ ! -f $1 ]]; then die "FATAL:Not a file:$1"; fi;

ots u "$1" 1>/dev/null 2>&1;

if ! ( ots v "$1" 1>/dev/null 2>/dev/null ); then
    yell "ERROR:Verification failed:$1";
    ots v "$1";
fi;
Commit	Line	Data
282cc59d SBS	1	#!/bin/bash
	2
	3	yell() { echo "$0: $*" >&2; } # print script path and all args to stderr
	4	die() { yell "$*"; exit 111; } # same as yell() but non-zero exit status
	5	try() { "$@" \|\| die "cannot $*"; } # runs args as command, reports args if command fails
	6
	7	if [[ ! -f $1 ]]; then die "FATAL:Not a file:$1"; fi;
	8
	9	ots u "$1" 1>/dev/null 2>&1;
	10
	11	if ! ( ots v "$1" 1>/dev/null 2>/dev/null ); then
	12	yell "ERROR:Verification failed:$1";
	13	ots v "$1";
	14	fi;