https://devhubby.com/thread/how-to-remove-all-file-extensions-in-bash