DDevelopment & Design

How to set gnome-terminal tab title. Permanently…

I’ve been looking for this a few times without success. There are some nasty proposals with setting PS1 variable or other tricks with .bashrc mods. Weak and doesn’t actually work.I needed a way to make a bash script that opens several tabs with fixed t…

I’ve been looking for this a few times without success. There are some nasty proposals with setting PS1 variable or other tricks with .bashrc mods. Weak and doesn’t actually work.
I needed a way to make a bash script that opens several tabs with fixed titles and with fixed start directories and with already started programs (for example tail/less of log files). Or solutions are very complicated.

There’s a simple way.

There’s a nice option for gnome-terminal -t “Tab title” which allows you to set a title for a tab. But in default profile (a switchable terminal behavior configuration) any program or bash prompt can change tab’s title. So actually setting tab title doesn’t work permanently.

A good solution is to create a new profile (let’s call it “NoTitleChange”) with options set to not to allow tab change. To do this, in gnome-terminal go to Edit->profiles… click New, apply new name. Then in tab Title and Command from drop box (When commands set own title…) choose Keep initial title.


Now you can invoke

gnome-terminal –tab-with-profile=NoTitileChange -t “My Permanent title”

and nothing will change the tab’s title.
You can play with these and other options to create many tabs in one window.
gnome-terminal –tab-with-profile=NoTitleChange -t “PERMANENT” –tab-with-profile=NoTitleChange -t “TABS ARE”  –tab-with-profile=NoTitleChange -t “AWESOME”
I’m using these other options

-e, –command=STRING
                 Execute the argument to this option inside the terminal.

–working-directory=DIRNAME
                 Set the terminal’s working directory to DIRNAME.

–geometry=GEOMETRY
                 X geometry specification (see “X” man page), can be specified once per window to be opened.

For example

gnome-terminal –tab-with-profile=NoTitleChange -t “src” –working-directory=/opt/workspace/play/mnp/repo/console_gxt2/mnpc  –tab-with-profile=NoTitleChange -t “DevMode” –working-directory=/opt/workspace/play/mnp/repo/console_gxt2/mnpc –command=”mvn initialize exec:exec -Pdevel”

Now you can create start script that opens proper working dirs (with source code for example) and with server logs open. And you’re ready to go!

— Previous article

TouK office new look

Next article —

Last mile banking

You May Also Like
DDevelopment & Design

Need to make a quick json fixes – JSONPath for rescue

From time to time I have a need to do some fixes in my json data. In a world of flat files I do this with grep/sed/awk tool chain. How to handle it for JSON? Searching for a solution I came across the JSONPath. It quite mature tool (from 2007) but I haven't hear about it so I decided to share my experience with others.

First of all you can try it without pain online: http://jsonpath.curiousconcept.com/. Full syntax is described at http://goessner.net/articles/JsonPath/



But also you can download python binding and run it from command line:
$ sudo apt-get install python-jsonpath-rw
$ sudo apt-get install python-setuptools
$ sudo easy_install -U jsonpath

After that you can use inside python or with simple cli wrapper:
#!/usr/bin/python
import sys, json, jsonpath

path = sys.argv[1]

result = jsonpath.jsonpath(json.load(sys.stdin), path)
print json.dumps(result, indent=2)

… you can use it in your shell e.g. for json:
{
"store": {
"book": [
      {
"category": "reference",
"author": "Nigel Rees",
"title": "Sayings of the Century",
"price": 8.95
      },
      {
"category": "fiction",
"author": "Evelyn Waugh",
"title": "Sword of Honour",
"price": 12.99
      },
      {
"category": "fiction",
"author": "Herman Melville",
"title": "Moby Dick",
"isbn": "0-553-21311-3",
"price": 8.99
      },
      {
"category": "fiction",
"author": "J. R. R. Tolkien",
"title": "The Lord of the Rings",
"isbn": "0-395-19395-8",
"price": 22.99
      }
    ],
"bicycle": {
"color": "red",
"price": 19.95
    }
  }
}

You can print only book nodes with price lower than 10 by:
$ jsonpath '$..book[?(@.price

Result:
[
  {
"category": "reference",
"price": 8.95,
"title": "Sayings of the Century",
"author": "Nigel Rees"
  },
  {
"category": "fiction",
"price": 8.99,
"title": "Moby Dick",
"isbn": "0-553-21311-3",
"author": "Herman Melville"
  }
]

Have a nice JSON hacking!From time to time I have a need to do some fixes in my json data. In a world of flat files I do this with grep/sed/awk tool chain. How to handle it for JSON? Searching for a solution I came across the JSONPath. It quite mature tool (from 2007) but I haven't hear about it so I decided to share my experience with others.