Where do all the .orig files come from?

Sebastian Proksch

unread,

Jun 29, 2015, 4:41:24 PM6/29/15

to KaVE Development

Hey all,

not sure if somebody ist using a special diff tool, but suddenly “.orig" files start to appear all over the project. Please make sure that such files are not committed to the repository!

Btw. I hope nobody manually creates copies… Git offers a version history for exactly this. ;)

best
Sebastian

--
Email: pro...@st.informatik.tu-darmstadt.de
Phone: +49 (0) 6151-16-21367
Fax: +49 (0) 6151-16-22361

Software Technology Group
Technische Universität Darmstadt
Hochschulstr. 10, S202|A202
64289 Darmstadt, Germany

http://www.stg.tu-darmstadt.de/staff/sebastian_proksch

Sven Amann

unread,

Jun 30, 2015, 1:22:27 AM6/30/15

to Sebastian Proksch, KaVE Development

Hi,

I'm not a 100% sure whether these files are created by merge tools or got itself. The clean way would be to add *.orig to our .gitignore, though.

Best, Sven

> --
> You received this message because you are subscribed to the Google Groups "kave-dev" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to kave-dev+u...@googlegroups.com.
> To post to this group, send email to kave...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/kave-dev/E96C6F67-4347-4611-9153-07EE0E47C3EC%40st.informatik.tu-darmstadt.de.
> For more options, visit https://groups.google.com/d/optout.

Sebastian Proksch

unread,

Jun 30, 2015, 3:18:20 AM6/30/15

to kave...@googlegroups.com, am...@st.informatik.tu-darmstadt.de, pro...@st.informatik.tu-darmstadt.de

That is a good idea. I just added them...

best

Sebastian

Reply all

Reply to author

Forward