From Gnome-terminal-launcher

Contents 1 Installation 1.1 Fedora Core 1.1.1 Download 1.1.2 Install RPM 1.2 Ubuntu 1.2.1 Download 1.2.2 Install DEB 1.3 Other distributions 1.3.1 Download 1.3.2 Install 2 Configuration 2.1 Gnome-terminal profiles 2.2 Select the desired profile 2.2.1 List existing profiles 2.3 Adding extra options 2.4 Testing the configuration 2.5 Saving the configuration 2.6 Restoring the configuration 3 Adding gnome-terminal-launcher to panel 4 Launching the desired terminal 5 Preferences 5.1 Sort order

Installation

Fedora Core

Download

Download RPM packages from SourceForge site: http://sourceforge.net/project/showfiles.php?group_id=170654

Install RPM

[root]# yum localinstall gnome-terminal-launcher-<version>-<release>.noarch.rpm

Ubuntu

Download

Download DEB packages from SourceForge site: http://sourceforge.net/project/showfiles.php?group_id=170654

Install DEB

dpkg --install gnome-terminal-launcher_M.m-rubuntuR_i386.deb

Other distributions

Download

Download tar.gz packages from SourceForge site: http://sourceforge.net/project/showfiles.php?group_id=170654

Install

Review the installation process and adapt any location as needed.

Configuration

Starting with gnome-terminal-launcher-0.5 a special value is stored in GConf permits the addition of extra options to the gnome-terminal command line.

The selected GConf entry extra_options is a list of strings to add maximum flexibility.

It's defined in the GConf schema /etc/gconf/schemas/gnome-terminal-launcher.schema.

Gnome-terminal profiles

If there's no profiles already created to access the desired sessions you should create some.

Use File->New profile... in Gnome-terminal menu. It's recommneded to use different icons and different background and foreground colors to visually identify the sessions and to suit your taste.

Select the desired profile

Extra options are stored in GConf under a specified profile. The Default profile is, you guess, the default. Other profiles may have been as described in Gnome-terminal profiles.

List existing profiles

[~]$ gconftool-2 --all-dirs /apps/gnome-terminal/profiles

and select one to work with.

Adding extra options

After selecting a profile, say myprof you can add extra options (remember to change myprof for your real profile name)

[~]$ gconftool-2 --set /apps/gnome-terminal/profiles/myprof/extra_options \
   --type list --list-type string '[--geometry=80x36]'

and then when gnome-terminal-launcher launches the gnome-terminal these extra options are used in the command line.

Testing the configuration

The simplest way to test your configuration from the command line is

[~]$ gnome-terminal-launcher --run-in-window

and selecting the desired profile from the menu.

Saving the configuration

The configuration can be saved into a XML file and then restored, probably in another machine where you want to have the same profiles defined.

To do this select Save configuration... from the applet menu and then the filename.

Restoring the configuration

To restore a saved configuration just select Restore configuration from the applet menu and then the filename.

Adding gnome-terminal-launcher to panel

To add the gnome-terminal-launcher to the panel, right click on the panel, and select Add to panel... from the menu. Then select GNOME Terminal Launcher applet.

Fedora

Ubuntu

Launching the desired terminal

Use the applet menu to launch the desired terminal.

Profile names are sorted as selected in Preferences.

Preferences

Sort order

The list of profile names appearing in the main menu can be sorted accordingly to different criteria.