LIAR-team / wombat

Robotics Autonomy Software Stack
0 stars 0 forks source link

fix variable name for dev environment bash history file #39

Closed alsora closed 1 year ago

alsora commented 1 year ago

Description

Use correct variable name in run.sh script (there was no variable named BASH_HISTORY_FILE_PATH).

We need to mount as a volume a file. If the file does not exist yet, we first create it empty with touch. The wrong variable name was resulting in the file being never created.

Without the file, when mounting the volume docker would have automatically created a directory there (rather than a file as expected)

Tests

Verify that a file is correctly created.