changeset 45: | 517e7b6fb42d |
parent: | 0b69e63c9374 |
author: | Richard Westhaver <ellis@rwest.io> |
date: | Sun, 25 Aug 2024 00:15:40 -0400 |
permissions: | -rw-r--r-- |
description: | meta and task work |
1 #+title: rdb2 #+author: Richard Westhaver3 #+setupfile: ../../../clean.theme4 #+OPTIONS: num:nil5 #+INFOJS_OPT: toc:nil view:showall7 The =rdb= cli tool is a simple RocksDB management utility.9 * help10 :PROPERTIES:11 :ID: d66cd17e-10a8-401e-aaf8-85ff6df3ee6312 :END:13 #+begin_src shell :results pp replace :exports both14 rdb -h15 #+end_src17 #+RESULTS:18 #+begin_example19 rdb v0.1.0 --- A simple helper for RocksDB.21 usage: rdb [global] <command> [<arg>]23 options:24 -l/--level* : set the log level25 -h/--help* : print help26 -v/--version* : print version27 -d/--db* : target db29 commands:30 new31 show32 set33 get34 fuzz35 destroy36 #+end_example