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