Merge Video and Audio with FFmpeg
This simple FFmpeg command merges a video file video.mp4 and an audio file audio.mp4 without re-encoding. It copies both streams as they are, ensuring fast processing and no quality loss.
Delete Local Git Branches Whose Remote Was Deleted
When working with feature branches, it’s easy for your local repository to accumulate branches that were already deleted on the remote. This snippet safely removes all local branches whose remote tracking branch no longer exists.
git fetch -p && git branch -vv | awk '/: gone]/{print $1}' | xargs -r git branch -dIf you want to remove them regardless of merge status, replace -d with -D.
How to Reset a Single File in Git
If you've made changes to a file and want to discard them, you can use git checkout to restore it to the version from the last commit. This is useful when you want to undo changes that haven't…
Find Dirty Git Repositories
A tiny shell script that recursively scans a directory for Git repositories with uncommitted changes, nicknamed dirgit—a play on words combining "directory", "dirty", and "git".