rename fossil database

I created a repo a long time ago with a bare name 'barfuzz', so the sqlite db on disk is code/barfuzz/barfuzz. That's not very revealing. I now have a new system where the db is .fossil.db in each project. So here it would be code/barfuzz/.fossil.db. How do I transition the old project to the new convention?

md new-hotness copy barfuzz/barfuzz new-hotness/.fossil.db cd new-hotness ff open .fossil.db ff info ff stat

Then:

Winmerge compare ./barfuzz and ./new-hotness

move .pixi folder from old to new

copy selection of other untracked files

remove old

This repo does not have a remote. I now keep all my repos in "\\server\Dev\.fossil-repos" in non-open state. How do I add this one to that shared location, and then mark that as a remote for this local one?

copy .fossil.db \\server\dev\.fossil-repos\new-hotness.fossil
ff remote add origin \\server\dev\.fossil-repos\new-hotness.fossil
ff sync origin

#

Recipe derived with help from chat gippity 4o LLM.