diff options
| -rwxr-xr-x | web/download_demo.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/web/download_demo.sh b/web/download_demo.sh new file mode 100755 index 0000000..f39cd77 --- /dev/null +++ b/web/download_demo.sh @@ -0,0 +1,9 @@ +#!/bin/bash + + +SERVER=vm.seitan.rocks +USER=root +DIR=demo_videos + +mkdir -p $DIR +scp $USER@$SERVER:~/seitan/*.cast.gz $DIR |