Skip to content

Instantly share code, notes, and snippets.

@voldyman
Created April 30, 2013 17:48
Show Gist options
  • Save voldyman/5490464 to your computer and use it in GitHub Desktop.
Save voldyman/5490464 to your computer and use it in GitHub Desktop.
script to change the dimensions of pantheon terminal
old_width=$(gsettings get org.pantheon.terminal.saved-state window-width)
old_height=$(gsettings get org.pantheon.terminal.saved-state window-height)
new_width=150
new_height=150
gsettings set org.pantheon.terminal.saved-state window-width $new_width
gsettings set org.pantheon.terminal.saved-state window-height $new_height
pantheon-terminal > /dev/null &
gsettings set org.pantheon.terminal.saved-state window-width $old_width
gsettings set org.pantheon.terminal.saved-state window-height $old_height
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment