ffmpeg -i file.mp4
This converts file with new bitrates specified. Also makes it stream optimized.
#!/usr/bin/env bash | |
download_database=false | |
upload_database=false | |
collect_only=false | |
run_testmon=false | |
incremental_collect=false | |
export_impacted_tests=false | |
input_sha=$CIRCLE_SHA1 | |
S3_BUCKET="YOUR_S3_BUCKET" |
function getRandomBool(n) { | |
var maxRandomCoeff = 1000; | |
if (n > maxRandomCoeff) n = maxRandomCoeff; | |
return Math.floor(Math.random() * maxRandomCoeff) % n === 0; | |
} | |
function renderArticle(article){ | |
console.log(`Rendered ${article}`); | |
} |
#!/usr/bin/env python | |
from __future__ import print_function | |
import redis | |
import sys | |
if len(sys.argv) < 2: | |
print("python redis_cleanup.py delete|list".format()) | |
sys.exit(-1) |