Simple batch file name replace in bash

filename_replace.sh

!/bin/bash
# Debugging .. print all commands executed
set -x

for f in *
do
  # Replace all occurrences of '%20' with ' ' (single space)
  newname=${f//%20/ }
  # We're safer with quotes around ..
  mv "$f" "$newname"
done