Архивирование указанных файлов по именам в Python

Question

Я хочу сжать файлы, которые я отсортировал ранее и добавил в список их имен. Все, что я хочу сейчас, - это заархивировать файлы, которые существуют в моем файле списка, и указать каталог конечного zip-файла, куда он должен быть сохранен (путь).

Код:

from os import listdir
from os.path import isfile, join
import zipfile
from zipfile import ZipFile

def listingtheFiles():
    global onlyfiles
    onlyfiles = [f for f in listdir("C:\\Users\\woosa\\Desktop\\MainFolder") if isfile(join("C:\\Users\\woosa\\Desktop\\MainFolder", f))]

def loweringAllLetter():
    global lowercasednames
    lowercasednames = []

    for i in range(len(onlyfiles)):
        loweredName = onlyfiles[i].lower()
        lowercasednames.append(loweredName)

def searchName():
    global studentName
    global specificfoldername

    studentName = str(input("İsim:"))

    specificfoldername = []

    for names in lowercasednames:
        if studentName in names:
            specificfoldername.append(names)

    print(specificfoldername)

def zippingFiles():
    #CODE IS NEEDED HERE:
    pass

listingtheFiles()
loweringAllLetter()
searchName()