Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Wishlist: rename a stack #31
I've built my repo in init and only now have realized that 'dev' would be a better name. As far as I can tell, the way to rename a stack is to copy it, transfer over any properties, and then delete the old one. Copying a stack is very slow, property transfer must be done carefully, and delete is broken.
A command to rename a stack would be handy. Given that pinto's commands are fairly verbose, "rename" would be what I'd suggest.
On Nov 9, 2012, at 8:15 AM, Michael G. Schwern wrote:
Good idea. That would be a cinch. Just update the name in the DB, and then change the symlink.