| 123456789101112131415161718192021222324252627282930313233343536373839 |
- #!/usr/bin/env bash
- # Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved.
- #
- # A shell script to verify DB generated by generate_random_db.sh cannot opened and read correct data.
- # ./ldb needs to be avaible to be executed.
- #
- # Usage: <SCRIPT> <DB Path>
- scriptpath=`dirname $BASH_SOURCE`
- if [ "$#" -lt 2 ]; then
- echo "usage: $BASH_SOURCE <db_directory> <compare_base_db_directory> [dump_file_name] [if_try_load_options] [if_ignore_unknown_options]"
- exit 1
- fi
- db_dir=$1
- base_db_dir=$2
- dump_file_name=${3:-"dump_file.txt"}
- try_load_options=${4:-"1"}
- ignore_unknown_options=${5:-"0"}
- db_dump=$db_dir"/"$dump_file_name
- base_db_dump=$base_db_dir"/"$dump_file_name
- extra_param=
- if [ "$try_load_options" = "1" ]; then
- extra_param=" --try_load_options "
- fi
- if [ "$ignore_unknown_options" = "1" ]; then
- extra_param=" --ignore_unknown_options "
- fi
- set -e
- echo == Dumping data from $db_dir to $db_dump
- ./ldb dump --db=$db_dir $extra_param > $db_dump
- echo == Dumping data from $base_db_dir to $base_db_dump
- ./ldb dump --db=$base_db_dir $extra_param > $base_db_dump
- diff $db_dump $base_db_dir
|