Upgrade openrave for ubuntu 18.04:

crigroup / openrave-installation

Bash scripts to install OpenRAVE from source

164 stars 77 forks source link

Closed nicholasadr closed 2 years ago

nicholasadr commented 3 years ago

cielavenir commented 3 years ago

as a provisioning script, you should use git config --local, not --global.

[edit] to avoid surprise: I'm from Mujin.

cielavenir commented 2 years ago

lol, didn't know ipsum.com is registered by Google :joy:

nicholasadr commented 2 years ago

thanks @cielavenir for pointing that out