我希望比我聪明的好心人能帮忙。
我正在写一个小脚本,在后台调用各种程序并做各种事情,这样用户就可以选择一个PDF文件列表,使用Zenity作为各种GUI。
到目前为止一切正常,但我遇到了一个障碍:
用户选择的PDF文件的文件扩展名可能有不同的情况,例如.PDF
的.pdf
,甚至.Pdf
我希望用户能够选择他们需要的PDF文件,并且只显示PDF文件,但由于这些文件的来源未知,他们的扩展名可能是在谁知道的情况下,上下混合,谁知道。。。
有没有一种方法可以调用Zenity文件选择对话框并过滤所有PDF文件,无论其扩展名大小写(上/下(如何?
到目前为止,我有以下代码:
zenity --file-selection --multiple --file-filter='*.pdf | *.Pdf |*.PDF'
但这不是一个好的解决方案,因为人们必须分别选择每个选项。我希望它们都能显示出来,无论扩展中的字母是什么情况。
再次感谢您的帮助。,
我刚刚遇到了同样的问题,并修补了这个对我有效的解决方案。也许你也有一些用途:
zenity --file-selection --file-filter=*[PpDdFf]
玩得开心!