home

Quickies, by Andrea Olivato

text

Quick file extension change in Bash 

#!/bin/bash

EXTF="todo";
EXTT="done";

for i in *.$EXTF;
do
    fname=$(basename $i .$EXTF);
    mv -v $i $fname.$EXTT;
done

3 years ago

May 14, 2009
Comments (View)
blog comments powered by Disqus