0

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

ご協力いただきありがとうございます！

4

1 に答える 1

1

bash パラメーター置換機能を使用して拡張子を変更できます。

#!/bin/bash

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

上記の例では、ファイルが実際に PDF であることも確認しています。

于 2013-10-17T17:17:11.397 に答える