5883a1ae24
Summary: "/bin/bash" is a Linuxism. "/usr/bin/env bash" is portable. Closes https://github.com/facebook/rocksdb/pull/2646 Differential Revision: D5556259 Pulled By: ajkr fbshipit-source-id: cbffd38ecdbfffb2438969ec007ab345ed893ccb
34 lines
885 B
Bash
Executable File
34 lines
885 B
Bash
Executable File
#!/usr/bin/env bash
|
|
#
|
|
# 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]"
|
|
exit 1
|
|
fi
|
|
|
|
db_dir=$1
|
|
base_db_dir=$2
|
|
dump_file_name=${3:-"dump_file.txt"}
|
|
try_load_options=${4:-"1"}
|
|
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
|
|
|
|
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
|