1.1--- a/core/bin/rdb.org Sat Jun 08 00:23:00 2024 -0400
1.2+++ b/core/bin/rdb.org Sun Jun 16 01:14:25 2024 -0400
1.3@@ -1,11 +1,33 @@
1.4 #+title: rdb
1.5 #+author: Richard Westhaver
1.6 #+setupfile: ../../../clean.theme
1.7+#+OPTIONS: num:nil
1.8+#+INFOJS_OPT: toc:nil view:showall
1.9+
1.10 The =rdb= cli tool is a simple RocksDB management utility.
1.11
1.12 * help
1.13-#+begin_src shell :results pp replace
1.14+#+begin_src shell :results pp replace :exports both
1.15 rdb -h
1.16 #+end_src
1.17
1.18 #+RESULTS:
1.19+#+begin_example
1.20+rdb v0.1.0 --- A simple helper for RocksDB.
1.21+
1.22+ usage: rdb [global] <command> [<arg>]
1.23+
1.24+options:
1.25+ -l/--level* : set the log level
1.26+ -h/--help* : print help
1.27+ -v/--version* : print version
1.28+ -d/--db* : target db
1.29+
1.30+commands:
1.31+ new
1.32+ show
1.33+ set
1.34+ get
1.35+ fuzz
1.36+ destroy
1.37+#+end_example