在Ubuntu下复制和重命名文件（.bin到.pdf）的脚本

Question

我在Ubuntu上有一个基于tomcat的文档管理系统。将文件加载到dms时，它会创建一个文件夹结构并插入带有结尾.bin的文档。通常我只会上传pdf文件。

现在我需要一个在上传新文档时一直执行的脚本（创建一个新的.bin文件）。它应该复制.bin文件，并在同一目录中替换.binf的结尾.bin（必须保留原始的.bin文件）。

文件夹结构如下所示：

documents/2013/10/03/11/45/48_1380793509616.bin

或

documents/2013/10/17/17/45/57_1382024759406.bin

感谢您的帮助！

Answer 1

您可以使用bash参数替换功能更改扩展名：

#!/bin/bash

if [[ -n `file $1 | grep PDF` ]]
then
        cp $1 ${1%.bin}.pdf
fi  

上面的示例还验证了该文件实际上是PDF。