Esatto, oppure se non sei pratico del terminale (consiglio: diventalo!) puoi fare questa operazione anche dalle proprietà del file.