on Git

• on gitignore and core.excludesfile
• git update-index --assume-unchanged <filename to ignore from now on>