Jeremy Wootten

Results 1762 comments of Jeremy Wootten

@tatsujb : Multiple bash commands are possible using nested quote marks as shown in the above comment. Not sure whether that is enough for your problem though.

Yes, I guessed as much. I was just trying to give @DanyGee a solution to his particular problem. Gnome-terminal is a much more complex program than elementary terminal so the...

That is a discussion you would need to have with the elementary design team. I think they would disagree that elementary terminal is only "very slightly" themed. A significant amount...

@DanyGee Have you tried using the new `-x` flag instead of `-e`? ![Screenshot from 2020-01-05 15 09 33](https://user-images.githubusercontent.com/10513844/71782052-7373ee00-2fcd-11ea-8101-1ac0cf4d9b31.png)

Is this issue still happening as described? In master, I find that `Esc` then `a` does nothing; `Esc` then `p` produces a ":" character the first time else it produces...

We could ignore `Esc` characters if that was considered appropriate.

There does not seem to be any consensus within elementary whether #263 will break anything or whether the current behaviour of Vte is intended. In view of that I suggest...

What extra information should be shown? The headerbar already shows the current tab label.

OK, that is clearer now. I do not think the green indicator is a good choice as it has other uses, but some kind of headerbar widget to show a...

@igordsm You can always open a draft PR while your working on it for better visibilty :smile: