[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

タグ

関連タグで絞り込む (0)

  • 関連タグはありません

タグの絞り込みを解除

gitとフィルタに関するhiroomiのブックマーク (1)

  • gitの便利なfilterまとめ - webネタ

    gitのfilterは、checkout時 と add時 に任意のフィルターをかけることができる。 svnでやってた $Id$ みたいな変数の展開したり コードを自動で整形したり 任意のコマンド/スクリプトを実行できる 概念図 出元 $Gcid$にコミットIDを埋め込むフィルターを作ってみる やりたいこと git checkout時に指定ファイルの、 echo "$Gcid$"→echo "$Gcid: bcc4bbe68b26a65a1597752a$"に展開。 git add時は逆に、 echo "$Gcid: bcc4bbe68b26a65a1597752a$"→echo "$Gcid$"に戻す。 手順 gitの設定でfilterを定義 (.git/config) フィルターの対象を定義 (.gitattributes) フィルター時に実行するスクリプトを用意 (embed-comm

    gitの便利なfilterまとめ - webネタ
  • 1