async delete(resource: URI, opts: IFileDeleteOptions): Promise<void> {
const basename = resources.basename(resource);
const parent = this._lookupAsDirectory(dirname, false);
if (parent.entries.delete(basename)) {
parent.mtime = Date.now();
parent.size -= 1;
this._fireSoon({ type: FileChangeType.UPDATED, resource: dirname }, { resource, type: FileChangeType.DELETED });
}
}
async mkdir(resource: URI): Promise<void> {