Skip to content

Instantly share code, notes, and snippets.

@budius
budius / stream_listener_widget.dart
Last active Mar 10, 2020
A Widget that subscribes/cancels to a Stream and dispatch the events to the supplied listen function.
View stream_listener_widget.dart
/*
MIT License
Copyright (c) 2020 Ronaldo Pace
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in all
@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