Re: [e-users] Terminology: no tabs title if using zsh

2014-12-25 Thread The Rasterman
On Wed, 24 Dec 2014 10:00:10 + Tom Hacohen tom.haco...@samsung.com said: On 24/12/14 09:50, Carsten Haitzler (The Rasterman) wrote: On Wed, 24 Dec 2014 09:46:32 + Tom Hacohen tom.haco...@samsung.com said: On 16/12/14 23:13, Carsten Haitzler (The Rasterman) wrote: On Tue, 16 Dec

Re: [e-users] Terminology: no tabs title if using zsh

2014-12-24 Thread Tom Hacohen
On 16/12/14 23:13, Carsten Haitzler (The Rasterman) wrote: On Tue, 16 Dec 2014 12:41:55 + Stefano pietran...@gmail.com said: On Tue, 16 Dec 2014 11:29:17 + TH wrote: On 16/12/14 11:24, Carsten Haitzler (The Rasterman) wrote: On Tue, 16 Dec 2014 10:18:06 + Stefano

Re: [e-users] Terminology: no tabs title if using zsh

2014-12-24 Thread The Rasterman
On Wed, 24 Dec 2014 09:46:32 + Tom Hacohen tom.haco...@samsung.com said: On 16/12/14 23:13, Carsten Haitzler (The Rasterman) wrote: On Tue, 16 Dec 2014 12:41:55 + Stefano pietran...@gmail.com said: On Tue, 16 Dec 2014 11:29:17 + TH wrote: On 16/12/14 11:24, Carsten

Re: [e-users] Terminology: no tabs title if using zsh

2014-12-24 Thread Tom Hacohen
On 24/12/14 09:50, Carsten Haitzler (The Rasterman) wrote: On Wed, 24 Dec 2014 09:46:32 + Tom Hacohen tom.haco...@samsung.com said: On 16/12/14 23:13, Carsten Haitzler (The Rasterman) wrote: On Tue, 16 Dec 2014 12:41:55 + Stefano pietran...@gmail.com said: On Tue, 16 Dec 2014

[e-users] Terminology: no tabs title if using zsh

2014-12-16 Thread Stefano
Hi all, I have recently updated my Terminology from git (de34557) with the tab goodies. Thanks for the hard work! I use zsh, and have noticed that no title appears in the tabs. But if I start bash within zsh, then the title appears and is updated as I change directories. However, as soon as I

Re: [e-users] Terminology: no tabs title if using zsh

2014-12-16 Thread Boris Faure
On 14-12-16 10:18, Stefano wrote: Hi all, I have recently updated my Terminology from git (de34557) with the tab goodies. Thanks for the hard work! I use zsh, and have noticed that no title appears in the tabs. But if I start bash within zsh, then the title appears and is updated as I

Re: [e-users] Terminology: no tabs title if using zsh

2014-12-16 Thread The Rasterman
On Tue, 16 Dec 2014 10:18:06 + Stefano pietran...@gmail.com said: Hi all, I have recently updated my Terminology from git (de34557) with the tab goodies. Thanks for the hard work! I use zsh, and have noticed that no title appears in the tabs. But if I start bash within zsh, then

Re: [e-users] Terminology: no tabs title if using zsh

2014-12-16 Thread Tom Hacohen
On 16/12/14 11:24, Carsten Haitzler (The Rasterman) wrote: On Tue, 16 Dec 2014 10:18:06 + Stefano pietran...@gmail.com said: Hi all, I have recently updated my Terminology from git (de34557) with the tab goodies. Thanks for the hard work! I use zsh, and have noticed that no title

Re: [e-users] Terminology: no tabs title if using zsh

2014-12-16 Thread Stefano
On Tue, 16 Dec 2014 11:29:17 + TH wrote: On 16/12/14 11:24, Carsten Haitzler (The Rasterman) wrote: On Tue, 16 Dec 2014 10:18:06 + Stefano pietran...@gmail.com said: i use zsh... and my title changes in the tabs... in fact i have it set so every time my prompt appears it

Re: [e-users] Terminology: no tabs title if using zsh

2014-12-16 Thread Tom Hacohen
On 16/12/14 12:41, Stefano wrote: On Tue, 16 Dec 2014 11:29:17 + TH wrote: On 16/12/14 11:24, Carsten Haitzler (The Rasterman) wrote: On Tue, 16 Dec 2014 10:18:06 + Stefano pietran...@gmail.com said: i use zsh... and my title changes in the tabs... in fact i have it set so every

Re: [e-users] Terminology: no tabs title if using zsh

2014-12-16 Thread Stefano
On Tue, 16 Dec 2014 12:41:55 + S wrote: On Tue, 16 Dec 2014 11:29:17 + TH wrote: On 16/12/14 11:24, Carsten Haitzler (The Rasterman) wrote: On Tue, 16 Dec 2014 10:18:06 + Stefano pietran...@gmail.com said: i use zsh... and my title changes in the tabs... in fact i

Re: [e-users] Terminology: no tabs title if using zsh

2014-12-16 Thread Tom Hacohen
On 16/12/14 12:48, Stefano wrote: On Tue, 16 Dec 2014 12:41:55 + S wrote: On Tue, 16 Dec 2014 11:29:17 + TH wrote: On 16/12/14 11:24, Carsten Haitzler (The Rasterman) wrote: On Tue, 16 Dec 2014 10:18:06 + Stefano pietran...@gmail.com said: i use zsh... and my title changes

Re: [e-users] Terminology: no tabs title if using zsh

2014-12-16 Thread toki clover
2014-12-16 12:29 GMT+01:00 Tom Hacohen tom.haco...@samsung.com: Same, but I had to set PROMPT_COMMAND to output the right escapes... This is purely... bashism. Wait, actually bash has no other facility to setup a prompt command/function but define a function and then setup PROMPT_COMMAND

Re: [e-users] Terminology: no tabs title if using zsh

2014-12-16 Thread Boris Faure
On 14-12-16 12:11, Boris Faure wrote: On 14-12-16 10:18, Stefano wrote: Hi all, I have recently updated my Terminology from git (de34557) with the tab goodies. Thanks for the hard work! I use zsh, and have noticed that no title appears in the tabs. But if I start bash

Re: [e-users] Terminology: no tabs title if using zsh

2014-12-16 Thread John Holland
The discussion was about tabs, you still don't have visible tabs, right? This is referring to the screens you access with ctrl- 1, ctrl-2 etc? On December 16, 2014 4:14:57 PM EST, Boris Faure bo...@fau.re wrote: On 14-12-16 12:11, Boris Faure wrote: On 14-12-16 10:18, Stefano wrote: Hi all,

Re: [e-users] Terminology: no tabs title if using zsh

2014-12-16 Thread Boris Faure
On 14-12-16 16:44, John Holland wrote: The discussion was about tabs, you still don't have visible tabs, right? This is referring to the screens you access with ctrl- 1, ctrl-2 etc? There are visible tabs in the git version of terminology. -- Boris Faure Pointer Arithmetician

Re: [e-users] Terminology: no tabs title if using zsh

2014-12-16 Thread The Rasterman
On Tue, 16 Dec 2014 12:41:55 + Stefano pietran...@gmail.com said: On Tue, 16 Dec 2014 11:29:17 + TH wrote: On 16/12/14 11:24, Carsten Haitzler (The Rasterman) wrote: On Tue, 16 Dec 2014 10:18:06 + Stefano pietran...@gmail.com said: i use zsh... and my title changes