Macでドラッグ&ドロップでファイル名変更

「ABC.txt」というファイルをドラッグ&ドロップすると、
「ABC_20081023_220049.txt」というファイル名の複製を作成したい。
後ろの文字列は、ファイルの更新時刻である。

Windowsだと.batファイルでできるのだが、
Macだとドラッグ&ドロップでシェルスクリプトや.commandは起動できなかった。
AutomatorでPythonを使うとできた。
AppleScriptでもできるかもしれないが、よくわからないので、この方法が私にはベストだ。

スクリプト

import sys, os, shutil, datetime, time

for f in sys.argv[1:]:
	ft = os.stat(f).st_mtime
	mt = time.localtime(ft)
	s =  time.strftime('_%Y%m%d_%H%M%S', mt)
	path, ext = os.path.splitext(f)
	shutil.copy2(f, path + s + ext)

Pythonを使わない以下のような方法でもできるが、なんか問題ありそう。
単にファイル名を変えてコピーすればいいんだけど、出力に元ファイルと同じフォルダを指定できない。
なので、一度複製を作って名前を変更している。