This is both a git tip for some, but the only real usage that I have for this command is to force GitHub pages to rebuild this blog without making any changes to it: git commit -m 'REBUILD ALL THE THINGS!' --allow-empty git push origin master …

This is another simple one (tested on both Linux & Mac): find ./ -name '*.ext' | while read f; do mv "$f" "${f%.ext}"; done Change ext for your desired extension. Using find is better than using replace because the latter will replace the first match of .ext instead.…

From 0 As some of you might noticed, it seems emptier here. After thinking for a while, I decided to take out most of the content out of this website in order to start fresh. Why? When I started this blog (circa 2011), I was just starting on development, I was part of my student union, political organizations and that shows. Alongside that, most of the 2011-2014 stuff was written in Spanish, which in the spirit of global communication doesn’t make any sense.…