Diversas utilidades para el BASH