Bash CLI command to remove prefix from multiple file names in a directory on December 29, 2019 bad code bash bash one-liner CLI Linux Ubuntu +