rename run.sh to avoid misunderstanding

Tom-Notch · Nov 18, 2024 · fe17cc0 · fe17cc0
1 parent d808d19
commit fe17cc0
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/scripts/launch.sh b/scripts/launch.sh
@@ -2,7 +2,7 @@
 
 . "$(dirname "$0")"/variables.sh
 
-. "$(dirname "$0")"/run.sh
+. "$(dirname "$0")"/run_container.sh
 
 docker exec -it "${CONTAINER_NAME}" /bin/zsh -c "source ~/.zshrc && \
                                                  roslaunch new_package new_package_node.launch"
diff --git a/scripts/run.sh → scripts/run_container.sh b/scripts/run.sh → scripts/run_container.sh