Shortening audio files

shorten_audiofiles.py

import os
from pydub import AudioSegment  // https://github.com/jiaaro/pydub

source_dir = "C:\Users\schoe\Desktop\Jukebox\source\\"
destination_dir = "C:\Users\schoe\Desktop\Jukebox\destination\\"

for file in os.listdir(source_dir):
    milliseconds = 10*1000
    print( "split \"" + file + "\" from " + source_dir + " into " + destination_dir + " by " + "{:,}".format( milliseconds / 1000 ) + " seconds." )

    song = AudioSegment.from_wav( source_dir + file )
    split = song[:milliseconds]
    split.export( destination_dir + file , format="wav")