set 11 2008
Script de Mudar a extensão em Linux
Recentemente precisei alterar a extensão de vários arquivos, onde seus nomes eram diferentes e não tinham nenhuma sequencia, como FILE01.txt, FILE02.txt, FILEN.txt. Este script: #!/bin/sh for o in $(ls -1 *.txt); do mv $o $(echo $o | awk -F. ‘{print $1″.htm”}’); done Ele lista os arquivos .txt e usando o (poderoso) AWK remove a extensão [...]
