Skip to content

Update file name in tutorial#37

Open
paulmenzel wants to merge 1 commit into
gormanm:masterfrom
paulmenzel:fix-file-name-in-tutorial
Open

Update file name in tutorial#37
paulmenzel wants to merge 1 commit into
gormanm:masterfrom
paulmenzel:fix-file-name-in-tutorial

Conversation

@paulmenzel

Copy link
Copy Markdown

No description provided.

Following the tutorial, the example command fails:

    $ ./run-mmtests.sh --config configs/config-memdb-redis-small BASELINE
    A config must be in the current directory or specified with --config
    File configs/config-memdb-redis-small not found

The config file was renamed twice:

1.  commit baad372 (redis-memtier:
    Prototype support and reconcile with redis-benchmark),
    Mon Feb 7 17:24:12 2022 +0000

        configs/{config-memdb-redis-small => config-memdb-redis-benchmark} | 7 ++++---

2.  commit bb77b04 (redis: Adjust
    sizing parameters for runtime length), Thu Jul 13 15:12:23 2023 +0100

        configs/{config-memdb-redis-benchmark => config-memdb-redis-benchmark-small}

So, update the file name in the tutorial.

Signed-off-by: Paul Menzel <pmenzel@molgen.mpg.de>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant