[sqlite] Best Practices

[elu...@pentarch.org]

I am using SQLite as the backend for a table-top wargame aid. One of the 
features I am including in the aid is allowing the user to change the name of 
the database. What would be the best way to do so? Inside the filesystem? Or 
some feature in SQLite to copy the database to a new name? Ideally, all of the 
data within the database will be transferred as well.