[joelg236]

Thanks very much. Seems obvious to me now. I don't have another computer to test this on, but if I just made the properties ignored (.gitignore), when I clone the repo to a new computer, would those be automatically generated by the plugins, or no? If not, how would I make sure that I don't have to do that whenever I switch from windows to linux?

Edit: I found a pretty easy solution. Instead of absolute path, I just use relative path. This makes /home/ equivalent to User/ is windows.