Git filter to commit TLA+ files without including the pluscal translation.
The filter is automatically called when staging file with git, using git-attributes
.
The files in the working directory are not modified. The file added to the staging area will not contain the pluscal translation (delimited by BEGIN TRANSLATION and END TRANSLATION comments).
$ cd your_repository
$ cat tla-git-support/.gitattributes >> .gitattributes
$ cp tla-git-support/pluscal_clean.sh .
$ git config --local filter.pluscal.clean ./pluscal_clean.sh
$ git config --local filter.pluscal.smudge cat