From 37f28b20991f391f83ff8c7757b1fe73d92a20fa Mon Sep 17 00:00:00 2001 From: Timon Erhart <57718207+turbotimon@users.noreply.github.com> Date: Tue, 23 Apr 2024 23:29:03 +0200 Subject: [PATCH] doc fix env-id param (#430) --- docs/content/basic_usage.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/content/basic_usage.md b/docs/content/basic_usage.md index 24a1530d7..0bbce46de 100644 --- a/docs/content/basic_usage.md +++ b/docs/content/basic_usage.md @@ -13,10 +13,10 @@ There is a UI application which allows you to manually control the agent with th ./minigrid/manual_control.py ``` -The environment being run can be selected with the `--env` option, eg: +The environment being run can be selected with the `--env-id` option, eg: ```bash -./minigrid/manual_control.py --env MiniGrid-Empty-8x8-v0 +./minigrid/manual_control.py --env-id MiniGrid-Empty-8x8-v0 ``` ## Installation