Rename files in linux / bash using mv command without typing the full name two times