【发布时间】:2020-03-30 14:55:50
【问题描述】:
我希望比我聪明的好心人能帮上忙。
我正在编写一个小脚本来在后台调用各种程序并执行各种操作,例如用户选择的 PDF 文件列表,使用 Zenity 作为各种 GUI。
到目前为止一切正常,但我遇到了障碍:
用户选择的 PDF 文件的文件扩展名可能有不同的大小写,例如.pdf 的.PDF 甚至.Pdf
我希望用户能够选择他们需要的 PDF 文件,并且只显示 PDF 文件,但是由于这些文件的来源未知,它们的扩展名可能是在不知道的情况下,上、下混,谁知道呢……
有没有办法调用 Zenity 文件选择对话框并过滤所有 PDF 文件,无论扩展名的大小写(大写/小写)如何?
到目前为止,我有以下代码:
zenity --file-selection --multiple --file-filter='*.pdf | *.Pdf |*.PDF'
但这不是一个好的解决方案,因为人们必须分别选择每个选项。无论扩展名中的字母大小写如何,我都希望它们全部显示出来。
再次感谢您的任何帮助。,
【问题讨论】: