https://stackoverflow.com/questions/6114004/add-file-extension-to-files-with-bash
Anonymous
Don't do anything the computer can do for you.
