A los que nos gusta escribir comandos desde la terminal, no suele asustarnos usar «pipes» o puntos y comas para separar largas ristras de instrucciones que nos eviten algún que otro click o nos permitan reducir considerablemente el tiempo invertido en tareas repetitivas (… y aburridas 😉) Mi alumnado lo lleva un poco peor y … Sigue leyendo Modificar el comando #bash a ejecutar desde tu editor favorito 🐧
