mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-02-05 18:51:00 +08:00
32074c9333
* [python] setup venv and update pprzlink. * [supervision] open terminal in the venv if it exists. * clean setup.py * guard venv boostrap * [install] Use distro instead of lsb_release. --------- Co-authored-by: Fabien-B <Fabien-B@github.com>
20 lines
411 B
Bash
20 lines
411 B
Bash
|
|
source ~/.profile
|
|
|
|
if [ -d "$PAPARAZZI_HOME/pprzEnv" ]; then
|
|
source $PAPARAZZI_HOME/pprzEnv/bin/activate
|
|
fi
|
|
|
|
shell=$(echo $SHELL | cut -d / -f 3)
|
|
|
|
if [ "$shell" = "bash" ]; then
|
|
# enter bash specific commands here
|
|
echo $shell > /dev/null
|
|
elif [ "$shell" = "zsh" ]; then
|
|
# enter zsh specific commands here
|
|
echo $shell > /dev/null
|
|
else
|
|
# fallback commands
|
|
echo $shell > /dev/null
|
|
fi;
|