無料など
git日付を書き換え、git-filter-branch: line 310: [: missing `]'
カテゴリー: General
2015-03-18 21:31
バグなのかな・・・。
git-filter-branch: line 310: [: missing `]'
※ スペースがないって言え。
git-filter-branch
309 eval "$filter_env" < /dev/null ||
310 die "env filter failed: $filter_env"
git filter-branch --env-filter '
if [ $GIT_COMMIT = "番号" ]
then
export GIT_AUTHOR_DATE="変えたい日付"
export GIT_COMMITTER_DATE="${GIT_AUTHOR_DATE}"
fi'
コピペしたホームページが間違っていたらしく
if [ $GIT_COMMIT = "番号" ]の括弧の前後にスペースがいるそうです。
日付は、RFC 2822フォーマットらしい。
git log
から拾ってもいいし、phpで好きな日付を生成してもいい。
php -r "echo date(DateTime::RFC2822,strtotime('2015/1/1 0:0:0+9'));"
Wed, 31 Dec 2014 15:00:00 +0000
次の２つは同じ値になるみたいです。
php -r " date_default_timezone_set('japan'); echo date(DateTime::RFC2822,strtotime('2015/1/1 0:0:0'));"
php -r " date_default_timezone_set('japan'); echo date(DateTime::RFC2822,strtotime('2015/1/1 0:0:0+9'));"
Thu, 01 Jan 2015 01:00:00 +0900
作業前に、丸ごとバックアップ。
7zipでさくっと。
新しい枝になるので、分岐点やtagが壊れるので、要注意。
git-filter-branch: line 310: [: missing `]'
※ スペースがないって言え。
git-filter-branch
309 eval "$filter_env" < /dev/null ||
310 die "env filter failed: $filter_env"
git filter-branch --env-filter '
if [ $GIT_COMMIT = "番号" ]
then
export GIT_AUTHOR_DATE="変えたい日付"
export GIT_COMMITTER_DATE="${GIT_AUTHOR_DATE}"
fi'
コピペしたホームページが間違っていたらしく
if [ $GIT_COMMIT = "番号" ]の括弧の前後にスペースがいるそうです。
日付は、RFC 2822フォーマットらしい。
git log
から拾ってもいいし、phpで好きな日付を生成してもいい。
php -r "echo date(DateTime::RFC2822,strtotime('2015/1/1 0:0:0+9'));"
Wed, 31 Dec 2014 15:00:00 +0000
次の２つは同じ値になるみたいです。
php -r " date_default_timezone_set('japan'); echo date(DateTime::RFC2822,strtotime('2015/1/1 0:0:0'));"
php -r " date_default_timezone_set('japan'); echo date(DateTime::RFC2822,strtotime('2015/1/1 0:0:0+9'));"
Thu, 01 Jan 2015 01:00:00 +0900
作業前に、丸ごとバックアップ。
7zipでさくっと。
新しい枝になるので、分岐点やtagが壊れるので、要注意。
無料など オンラインゲーム一覧表 