Some bash tricks