From d349a13533ee1dd1a5369460da3b9edfafbcb3e7 Mon Sep 17 00:00:00 2001 From: Voldivh Date: Tue, 16 May 2023 15:13:17 -0500 Subject: [PATCH] Modifies the name of rqt_gui to rqt Signed-off-by: Voldivh --- rqt_gui/bin/{rqt_gui => rqt} | 0 rqt_gui/setup.py | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename rqt_gui/bin/{rqt_gui => rqt} (100%) diff --git a/rqt_gui/bin/rqt_gui b/rqt_gui/bin/rqt similarity index 100% rename from rqt_gui/bin/rqt_gui rename to rqt_gui/bin/rqt diff --git a/rqt_gui/setup.py b/rqt_gui/setup.py index 575e951c..cfbb138e 100644 --- a/rqt_gui/setup.py +++ b/rqt_gui/setup.py @@ -15,7 +15,7 @@ ('share/ament_index/resource_index/packages', ['resource/' + package_name]), ('share/' + package_name, ['package.xml']), - ('lib/' + package_name, ['bin/rqt_gui']) + ('lib/' + package_name, ['bin/rqt']), ], install_requires=['setuptools'], zip_safe=True,