I accidentally renamed my "Basic" terminal profile under Terminal -> Preferences -> Settings. I renamed it back but this got me wondering if there was a way to reset all terminal settings to defaults. So for example if I renamed "Basic" to "Foo" is there a command or way to reset it back to "Basic" without having to select it and rename?
Is it just a matter of deleting the .plist file in ~/Library
?