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

Question

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

现在我需要一个在上传新文档时一直执行的脚本（创建一个新的 .bin 文件）。它应该复制 .bin 文件并将结尾的 .bin 替换为同一目录中的 .pdf （必须保留原始 .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。