Skip to content

Instantly share code, notes, and snippets.

Ronaldo Pace budius

Block or report user

Report or block budius

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
budius /
Last active Nov 15, 2019
Remove white spaces from GIT
git diff -w --no-color | git apply --cached --ignore-whitespace && git checkout -- . && git reset
budius / gif_it
Created Nov 15, 2019
Create GIF from video using FFMPEG (optimised for mobile screen recording)
View gif_it
ffmpeg -i $1 -r 15 -vf "scale=720:-1:flags=lanczos,split[s0][s1];[s0]palettegen[p];[s1][p]paletteuse" $1.gif
budius /
Last active Nov 15, 2019
Delete merged branches
git branch --merged | egrep -v "(^\*|master|dev)" | xargs git branch -d
You can’t perform that action at this time.