updateとreplay

tla update と tla replay は処理内容が良く似ています。 いずれも未適用のチェンジセットを逐次プロジェクトツリーに適 用していきますが、一番大きな違いは、プロジェクトツリーに対 して最後に加えられた最後の未コミットの差分の扱いです。tla update はこの未コミットの差分をいったん退避し、最後のコミッ ト完了時点にプロジェクトツリーを戻してからチェンジセットを 適用し、最後に退避しておいた差分を適用します。これにたいし てreplayは、現在あるがままのプロジェクトツリーの内容に対し てチェンジセットを適用していきます。update は適用しようと するチェンジセットを優先するが、replay は自分が最後に加え た未コミット分の修正を優先する形で処理がおこります。

tla update, tla replay いずれも操作対象はプロジェク トツリーに対してのみですので、衝突が起こってもおこらなくて もコマンド終了後に tla changes --diffs などを実行すれば、 今回の update/replay コマンドが実際には何をしたかを正確に 把握することができます。この結果が気に入れば tla commit す れば良いですし、気に入らなければ tla undo で元の状態に戻る ことができます。