script terminal settings

[travi]

• window dimensions
• font size
• close tab on exit
• theme

http://apple.stackexchange.com/questions/63062/where-are-the-terminal-settings-stored-on-os-x

[travi]

terminal apparently writes these settings as it exits, so setting this from terminal gets overridden when terminal closes. it sounds like killing terminal might work around this

[travi]

this might be a helpful example: https://github.com/mathiasbynens/dotfiles/commit/1f6ead4fca779e498672a39403aa6926280fdfa0