2014-05-13
2014-05-06
Chiste de Moises y Las tablas de la Ley - Juan Carlos Monedero
Este chiste, tiene gracia seas ateo o no. De echo, hay que ser cristiano o al menos conocer el cristianismo, para verle la gracia :-)
Publicado por
flikxxi
en
20:53
0
comentarios
Etiquetas: chiste, ES, Juan Carlos Mondero, vídeo
2014-05-02
The Exceptional Performance of Lil' Exception
Reading Java Performance Tuning Newsletter no. 161 I've found this article, that deserves to be read by java programmers.
Breaking down the cost of exceptions (and reiterating the advice that you shouldn't use them for regular control flow) at http://shipilev.net/blog/2014/exceptional-performance/
The Exceptional Performance of Lil' Exception
Publicado por
flikxxi
en
10:46
0
comentarios
Etiquetas: EN, java, performance
2014-04-24
git - forever remove files or folders from history
I've found this script on David Underhill blog "dound's space on the web", it doesn't work enough for me, because a tag has the file I wan't to delete, but it could for you
The following script is for GNU/Linux of course (you can easily convert it to .bat). Read more here.
#!/bin/bash
set -o errexit
# Author: David Underhill
# Script to permanently delete files/folders from your git repository. To use
# it, cd to your repository's root and then run the script with a list of paths
# you want to delete, e.g., git-delete-history path1 path2
if [ $# -eq 0 ]; then
exit 0
fi
# make sure we're at the root of git repo
if [ ! -d .git ]; then
echo "Error: must run this script from the root of a git repository"
exit 1
fi
# remove all paths passed as arguments from the history of the repo
files=$@
git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch $files" HEAD
# remove the temporary history git-filter-branch otherwise leaves behind for a long time
rm -rf .git/refs/original/ && git reflog expire --all && git gc --aggressive --prune