Fixes for previous commit
This commit is contained in:
parent
dc42213aec
commit
15ad9c02ed
|
@ -10,9 +10,9 @@ uuid="$5"
|
||||||
|
|
||||||
mkdir -p "configs/${uuid}"
|
mkdir -p "configs/${uuid}"
|
||||||
f1="configs/${uuid}/troll_patrol_config.json"
|
f1="configs/${uuid}/troll_patrol_config.json"
|
||||||
cp "${f1}.template" "${f1}"
|
cp "configs/troll_patrol_config.json.template" "${f1}"
|
||||||
f2="configs/${uuid}/simulation_config.json"
|
f2="configs/${uuid}/simulation_config.json"
|
||||||
cp "${f2}.template" "${f2}"
|
cp "configs/simulation_config.json.template" "${f2}"
|
||||||
|
|
||||||
# Troll Patrol config
|
# Troll Patrol config
|
||||||
sed -i "s/HARSHNESS/$harshness/" "${f1}"
|
sed -i "s/HARSHNESS/$harshness/" "${f1}"
|
||||||
|
|
|
@ -10,9 +10,9 @@ container=$(docker run --rm -d -i $img)
|
||||||
mkdir -p results/${exp_num}
|
mkdir -p results/${exp_num}
|
||||||
|
|
||||||
docker cp configs/${uuid}/troll_patrol_config.json $container:/home/user/troll-patrol/
|
docker cp configs/${uuid}/troll_patrol_config.json $container:/home/user/troll-patrol/
|
||||||
cat configs/troll_patrol_config.json >> "results/${exp_num}/${uuid}"-troll_patrol_config.json
|
cat configs/${uuid}/troll_patrol_config.json >> "results/${exp_num}/${uuid}"-troll_patrol_config.json
|
||||||
docker cp configs/${uuid}/simulation_config.json $container:/home/user/simulation/
|
docker cp configs/${uuid}/simulation_config.json $container:/home/user/simulation/
|
||||||
cat configs/simulation_config.json >> "results/${exp_num}/${uuid}"-simulation_config.json
|
cat configs/${uuid}/simulation_config.json >> "results/${exp_num}/${uuid}"-simulation_config.json
|
||||||
|
|
||||||
# Run rdsys to give bridges to LA
|
# Run rdsys to give bridges to LA
|
||||||
docker exec $container sh \
|
docker exec $container sh \
|
||||||
|
|
Loading…
Reference in New Issue