for file in *.txt
do
    if [ -e "$file" ]; then
        newname="${file%.txt}.bat"

        echo "Renaming $file to $newname"
        mv "$file" "$newname"

    else
        echo "No .txt files found!"
    fi
done