install_dependencies.sh generates env.sh that will override user environment settings

envire / envire-envire_core

Core part for the Environment Representation library

BSD 2-Clause "Simplified" License

7 stars 13 forks source link

install_dependencies.sh generates env.sh that will override user environment settings #50

Closed pierrewillenbrockdfki closed 5 years ago

pierrewillenbrockdfki commented 5 years ago

The generated env.sh contains settings like this: export PATH=/home/user/testing-envire-envire_core/install/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin

while it should better be export PATH=/home/user/testing-envire-envire_core/install/bin:$PATH

arneboe commented 5 years ago

Done