Skip to content

Instantly share code, notes, and snippets.

@ungerik
Created May 20, 2015 15:03
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ungerik/93f6fea50d792eddd1ac to your computer and use it in GitHub Desktop.
Save ungerik/93f6fea50d792eddd1ac to your computer and use it in GitHub Desktop.
Open gnome terminal with multiple tabs
#!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
gnome-terminal --maximize \
--tab --title="PPA" --working-directory=$DIR \
--tab --title="PPA/source" --working-directory=$DIR/source \
--tab --title="PPA/server" --working-directory=$DIR/server \
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment