util/text.py

def save_to_text(s, file_name):
    '''
    Save string s into a file file_name(end with '.txt')
    '''
    with open(file_name, 'w', encoding='utf-8') as file:
        file.write(s)