#terminal

Ignoring files in a shared repository without touching the shared .gitignore — the two ways Git offers, and the one that silently switches off your global ignores if you are not expecting it.

Parallelising PHP lint with xargs so the linting step stops dominating build time on a large project in Jenkins.

Forking, detaching from the terminal, PID files and signal handling in PHP — plus an honest look at the one problem the language does not let you solve, and what to do about it.

Colour, tables and progress in a PHP console tool — and the detail most scripts get wrong: knowing when nobody is watching, because your output has been redirected into a file.

Three ways a PHP script can take input — argv, getopt() and standard input — what each one gets wrong, and when to stop and reach for Symfony2's Console component instead.

find, locate y grep en la práctica: buscar archivos por nombre o por contenido desde el terminal y ejecutar comandos sobre los resultados.

Un script de Bash, con autocompletado, para abrir la documentación de cualquier gema de Ruby instalada sin salir del terminal.

Un script para reparar textos con el charset roto tras exportar una base de datos en latin1_swedish_ci, salido de migrar glug.es a Drupal 5.

Cómo usar ~/.ssh/config con alias, usuarios y llaves por host para dejar de escribir cadenas de conexión largas cuando tienes muchos servidores.