2022-11-28 13:47:44 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
set -e # stop on error
|
|
|
|
|
2022-12-05 12:51:22 +01:00
|
|
|
make animation
|
2022-11-28 13:47:44 +01:00
|
|
|
|
2023-02-15 17:41:17 +01:00
|
|
|
LOG="WS/log.animation"
|
2022-12-14 15:35:09 +01:00
|
|
|
|
2023-02-11 17:00:58 +01:00
|
|
|
date >> $LOG
|
2022-11-30 02:52:16 +01:00
|
|
|
|
2023-02-11 17:00:58 +01:00
|
|
|
time ./animation | tee -a $LOG
|
|
|
|
|
|
|
|
./encode.sh WS/nanim/ gravity-field.mp4
|
|
|
|
./encode.sh WS/colmap/ gravity-colmap.mp4
|
|
|
|
|
|
|
|
ls -rtl *.mp4 >> $LOG
|