After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 778063 - Provide a GNOME themed *sh prompt theme
Provide a GNOME themed *sh prompt theme
Product: gnome-themes-standard
Classification: Core
Component: general
Other Linux
: Normal normal
: ---
Assigned To: gnome-themes-standard-maint
Depends on:
Reported: 2017-02-02 08:53 UTC by Adrien Plazas
Modified: 2018-01-24 14:57 UTC
See Also:
GNOME target: ---
GNOME version: ---

Theming example (478.38 KB, image/png)
2017-02-02 08:56 UTC, Adrien Plazas

Description Adrien Plazas 2017-02-02 08:53:00 UTC
We rely completely on the distributors for the look and feel of the shell used in GNOME Terminal; most of the time the experience is terrible.

We often end up with a very blend Bash prompt with very poor readability and usability. Maybe we should work on a better, more readable *sh prompt theme that would be suggested to use with GNOME Terminal.

Two examples of more readable and usable shells are here:
Comment 1 Adrien Plazas 2017-02-02 08:56:51 UTC
Created attachment 344761 [details]
Theming example

On the left: the agnoster theme from oh-my-zsh on zsh in GNOME Terminal.
On the right: the default bash theme from openSUSE Tumbleweed in GNOME Terminal.

Both prompts look very similar yet the one on the left blend better into GNOME thanks to its colors and offers a better readability by making the prompt look distinct from the output of the commands while not popping out too much.
Comment 2 Juraj Fiala 2017-02-02 08:58:49 UTC
I am not sure Powerline is the best way to go. I used it for a long time but now I use Pure [1] which provides a much nicer experience, and is IMHO more GNOME-like.

Also a thing to consider whether to use Bash a ZSH, and if to support ZSH if Bash is chosen.

Comment 3 Adrien Plazas 2017-02-02 09:29:35 UTC
(In reply to Juraj Fiala from comment #2)
> I am not sure Powerline is the best way to go.
I'm not even suggesting to use a powerline inspired theme, just stating that the user experience as ROOM for improvement and we should fix that. :)

> Also a thing to consider whether to use Bash a ZSH, and if to support ZSH if
> Bash is chosen.
I don't know about scripts but for humans and as a UI, zsh is vastly superior to bash; as GNOME Terminal targets end users I think zsh is a better default choice for it than bash.
Comment 4 GNOME Infrastructure Team 2018-01-24 14:57:01 UTC
-- GitLab Migration Automatic Message --

This bug has been migrated to GNOME's GitLab instance and has been closed from further activity.

You can subscribe and participate further through the new bug through this link to our GitLab instance: