Файл имеет расширение в этом случае - это просто windows, которое не показывает его в конфигурациях по умолчанию.
Вы можете получить настоящее имя файла из Python, используя шаблон глобуса при попытке добраться до него.
Для удобства вы можете использовать pathlib
вместо os
, так как он объединит функциональность глобуса и статистику в одноместное место:
from pathlib import Path
path_to_guess = Path("C:/Users/example/Downloads/examplefile")
path = path_to_guess.parent.glob(path_to_guess.stem + ".*")[0]
print(path)
# here you have the extension. Of course, you might have more than one
# file with the same base name- this is good for a
# one time script or interactive use -
# for production you should check also creation time, and maybe use
# other means to pick the correct file.
size = path.stat.st_size()