изменить расширение файла загрузки на python

Question

Если я загружаю файл с определенным расширением по определенной ссылке, но хочу загрузить файл с другим расширением (например, .do c вместо .bin), как я могу go сделать это? в python код?

Answer 1

Это можно сделать следующим образом:

1. Загрузить файл в стандартном / исходном формате
2. Используйте pypando c в сценарии Python для создания нового файл в желаемом формате из исходного файла.
3. удалить исходный файл.

Эти 3 шага можно автоматизировать с помощью сценария Python.

https://pypi.org/project/pypandoc/

Пример, преобразование файла уценки в первый файл (не забудьте исправить URL):

import os
import requests

import pypandoc

# Download file
# TODO: Update URL
url = 'some_url/somefile.md'
r = requests.get(url)
orig_file = '/Users/user11508332/Downloads/somefile.md'
with open(orig_file, 'wb') as f:
    f.write(r.content)

# pypandoc file extention conversion
output = pypandoc.convert_file(orig_file, 'rst')

# TODO: Place a check here to see if the new file got created

# Clean-up: Delete original file
# TODO: Place a check here to see if the old file still exists, in that case, proceed with deletion:
# os.remove(orig_file)