Dicas shell

Coletânea de dicas úteis, para uso no shell (bash)