Skip to content

Some additional necessary command #8

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
ct2034 wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Some additional necessary command #8

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 5 additions & 1 deletion roscon_res/utils.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,12 +3,16 @@ docker compose run --name mooncont -it base bash
docker exec -it mooncont bash

cd /MOON/src/ROSMonitoring/oracle/TLOracle/
oracle.py --online --property prop --port 8080 --dense
cp /MOON/roscon_res/prop1.py /MOON/src/ROSMonitoring/oracle/TLOracle
oracle.py --online --property prop1 --port 8080 --dense

python3 generator --config_file ../roscon_res/conf.yaml
cd /MOON/monitor_ws; colcon build
source install/setup.bash
ros2 run monitor pick_monitor

source /opt/ros/jazzy/setup.bash
cd /MOON/roscon_res/sim_ws; colcon build
source install/setup.bash
ros2 run simexec exec
```
Loading