Download files as zip
Getting files is more difficult than it should be
See here
from zipfile import ZipFile
from pathlib import Path
zipname = 'audio.zip'
dirp = Path("/home/jim/Playing/mfa-corp/snc")
filenames = dirp.glob('*.wav')
with ZipFile(zipname, 'w') as zipf:
for name in filenames:
zipf.write(name)
from IPython.display import FileLink
display(FileLink('audio.zip'))