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