O sistema operacional Linux permite a realização de tarefas como deletar partições, criar partições, alterar o tipo da partição e marcar partições como botáveis. Qual é a sintaxe do comando para formatar a partição /dev/sda1 com o formato ext4?