我正在学习 python,我制作了一个基本程序,用户获取照片的链接并输入它,然后程序下载该照片。为了确保用户不会输入网页链接而不是照片链接,我让程序使用字符串切片检查文件扩展名是什么,但我似乎不知道如何切片字符串向后
我知道这是一个愚蠢的问题,但经过一个小时的搜索我仍然找不到答案。这是代码
import random
import urllib.request
import urllib.parse
def download_web_image(url, file_format):
try:
name = random.randrange(1, 1000)
full_name = str(name) + file_format
urllib.request.urlretrieve(url, full_name)
print("Image download successful!")
print("Image named " + full_name)
except:
print('Error')
def get_user_url():
url = input("Now enter the url of the photo you want to download:")
try:
if url[0:3:-1] is '.png':
download_web_image(url, ".png")
elif url[0:4:-1] is 'gepj.':
download_web_image(url, '.jpeg')
elif url[0:3:-1] is '.gpj':
download_web_image(url, '.jpg')
else:
print('the file format is uncompatible: ' + url[1:4:-1])
except:
print('The url …Run Code Online (Sandbox Code Playgroud)