change arm's name

2026-02-05 14:05:12 +00:00 · 2025-06-10 00:49:42 +08:00
parent a72b97c454
commit 00e5714d24
25 changed files with 133 additions and 133 deletions
--- a/test/experiments/plr_test_converted.json
+++ b/test/experiments/plr_test_converted.json
@@ -9645,19 +9645,19 @@


        {
-            "id": "benyao",
-            "name": "benyao",
+            "id": "arm_slider",
+            "name": "arm_slider",
            "children": [],
            "parent": null,
            "type": "device",
-            "class": "moveit.benyao_arm",
+            "class": "moveit.arm_slider",
            "position": {
                "x": -500,
                "y": 1000,
                "z": -100
            },
            "config": {
-                "moveit_type": "benyao_arm",
+                "moveit_type": "arm_slider",
                "joint_poses": {
                    "arm": {
                        "hotel_1": [