gitignore terminal proprietary