verify_random_db.sh 1.1 KB

123456789101112131415161718192021222324252627282930313233343536373839
  1. #!/usr/bin/env bash
  2. # Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved.
  3. #
  4. # A shell script to verify DB generated by generate_random_db.sh cannot opened and read correct data.
  5. # ./ldb needs to be avaible to be executed.
  6. #
  7. # Usage: <SCRIPT> <DB Path>
  8. scriptpath=`dirname $BASH_SOURCE`
  9. if [ "$#" -lt 2 ]; then
  10. echo "usage: $BASH_SOURCE <db_directory> <compare_base_db_directory> [dump_file_name] [if_try_load_options] [if_ignore_unknown_options]"
  11. exit 1
  12. fi
  13. db_dir=$1
  14. base_db_dir=$2
  15. dump_file_name=${3:-"dump_file.txt"}
  16. try_load_options=${4:-"1"}
  17. ignore_unknown_options=${5:-"0"}
  18. db_dump=$db_dir"/"$dump_file_name
  19. base_db_dump=$base_db_dir"/"$dump_file_name
  20. extra_param=
  21. if [ "$try_load_options" = "1" ]; then
  22. extra_param=" --try_load_options "
  23. fi
  24. if [ "$ignore_unknown_options" = "1" ]; then
  25. extra_param=" --ignore_unknown_options "
  26. fi
  27. set -e
  28. echo == Dumping data from $db_dir to $db_dump
  29. ./ldb dump --db=$db_dir $extra_param > $db_dump
  30. echo == Dumping data from $base_db_dir to $base_db_dump
  31. ./ldb dump --db=$base_db_dir $extra_param > $base_db_dump
  32. diff $db_dump $base_db_dir