export interface File { name: string, is_dir: boolean, size: number, last_modified: string }