A collection of useful command line tricks
Combine two video files using FFmpeg
ls video1.mp4 video2.mp4 | while read line; do echo file \'$line\'; done | ffmpeg -protocol_whitelist file,pipe -f concat -i - -c copy output.mp4
Source: How to concatenate two MP4 files using FFmpeg? (Answer) | Stack Overflow
Sometimes you may want to search and replace within your Git remote - for example, if you change your username on GitHub. This is a command to do it (replaces OldUsername
with NewUsername
):
git remote set-url origin $(current_origin=$(git remote get-url origin --push) && echo ${current_origin/OldUsername/NewUsername})
Loop over CSS, JS, EOT, SVG and TTF files and gzip them into a folder named gzipped
.
gzip-web-assets.sh
#!/usr/bin/env bash
# Usage:
# $ ./gzip-web-assets.sh
mkdir gzipped
for file in $(find . -type f -depth 1 | egrep "\.(css|js|eot|svg|ttf)$") ; do
gzip -c --best $file > gzipped/$file
done