def decode_file():
    '''Decodes a file.

    Shows the heading.
    Gets the source file.
    Gets the destination file.
    Handles errors.
    Gets a key.
    Does the decoding.
    Prints a confirmation.'''
    show_heading('DECODE FILE')
    source = get_source('What is the name of the source file?')
    destination = get_destination('What will be the name of the destination file?')
    bad_key = True
    while bad_key:
        try:
            key = get_key()
            work_decode(source, destination, key)
            bad_key = False
        except:
            print 'Please enter a different filename.'
    print 'The decoded file has been created at the location specified.'
    print
Decodes a file.

    Shows the heading.
    Gets the source file.
    Gets the destination file.
    Handles errors.
    Gets a key.
    Does the decoding.
    Prints a confirmation.
recipes/Python/456374_Crypt/recipe-456374.py