Decrease the Tabs Bar Height in Gnome Terminal

How to display tabs as 4 spaces in gnome-terminal

The unique solution I found is to type in terminal:

tabs 5,9,13,17,21,25,29,33,37,41

and append it to ~/.bashrc if you want permanent changes.

PS: This obviously cover up to 10 tab indents.

How can I start the gnome-terminal with multiple tabs with always the same title and history?

I suppose you can use a gnome-terminal custom command for each profile, for example

bash -c 'PROFILE=default_profile exec bash'

or

bash -c 'PROFILE=screen_profile exec screen -U'

or similar.

Then in ~/.bashrc

if [[ -n $PROFILE ]]; then
    HISTFILE=~/.bash_history."$PROFILE"
fi

source of the answer.

Related Topics