Re: resync ports?
- Reply: Ede Wolf : "Re: resync ports?"
- In reply to: Ede Wolf : "resync ports?"
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Wed, 27 Sep 2023 20:12:53 UTC
You’re looking for git reset —hard https://git-scm.com/docs/git-reset -Dan > On Sep 27, 2023, at 12:41 PM, Ede Wolf <listac@nebelschwaden.de> wrote: > > Hello, > > I had to make a change to a makefile to make that port compile. Now I am wondering how to get the original makefile back, in a way that it is controlled by git again? > > Somehow I expected git pull to work like rsync, but it is obviously not. > > The question that emerges, is there a more resourcefriendly way to get my portstree back in sync with git without a new full checkout? > > Thanks > > Ede