Takuya Miyashita

zip コマンド メモ †

特定のファイルを除外してディレクトリの中身を圧縮 †

オプションの -x を使う．
ディレクトリ名を引数にして zip に圧縮する簡単なスクリプトを書いてみた．

if [ "$#" -lt 1  ]; then
    echo "usage: $0 [directory]"
    exit
fi

zip -r "$1.zip" "$1" -x "*/.git/*" ".*" "*/script_fig/*" "*/fig/*" "*/~*"

シンボリックリンクは指定しなければ zip に実体が入る(-y オプションで回避できる)． 論文投稿の時などに .git ディレクトリは不要であるし，必要なものだけを抜き出してアップロードする時に便利．