#!/bin/bash
ws_name=“ws_px4” # 在这里修改工作空间名称
mkdir -p ~/
w
s
n
a
m
e
/
s
r
c
c
d
/
ws_name/src cd ~/
wsname/srccd /ws_name/src
catkin_init_workspace
cd ~/$ws_name/
catkin_make -DPYTHON_EXECUTABLE=/usr/bin/python3
rossource=“source ~/
w
s
n
a
m
e
/
d
e
v
e
l
/
s
e
t
u
p
.
b
a
s
h
"
i
f
g
r
e
p
−
F
x
q
"
ws_name/devel/setup.bash" if grep -Fxq "
wsname/devel/setup.bash"ifgrep−Fxq"rossource” ~/.bashrc; then
echo “ROS setup.bash already in .bashrc”
else
echo “$rossource” >> ~/.bashrc
fi
eval $rossource