Solved Reinstall a clean ports tree

[Maturin]

I've lost trust in my ports tree (I messed around, also did a portsnap fetch although I knew it's an obsolete no-go.) So I like to get a fresh, new, clean, consistent ports tree.
Can I simply do a rm -Rf /usr/ports/, and then install a new one using git clone as the handbook describes?

 

[SirDice]

Yes. You might want to backup /usr/ports/distfiles, or move it out of the way. So you don't have to re-download the distfiles again.