五角勺:如何获取文件名的值？

// 获取上传文件的文件名
const fileInput = document.getElementById('fileInput');
const fileName = fileInput.files[0].name;
console.log(fileName);

import os

file_path = '/path/to/file.txt'
file_name = os.path.basename(file_path)
print(file_name)

import java.io.File;

File file = new File("/path/to/file.txt");
String fileName = file.getName();
System.out.println(fileName);