def rmfile(file_name):

    """Delete a file (that may or may not exist)"""

    try:
        os.remove(file_name)
    except __HOLE__:
        pass
dataset/ETHPy150Open jakev/dtf/src/dtf/core/cmds/init.py/rmfile