On 23/07/19 16:40, Ben Sturmfels wrote:
>>> Interesting. Is this file installed to /etc/profile.d/vte.sh on other
>>> systems? Or is it otherwise sourced?
>>>
>>
>> I can only speak for my own system. I don't have gnome-terminal
>> installed, but I do have tilda which uses vte. My
>>
On 23/07/19 16:35, Efraim Flashner wrote:
>> Interesting. Is this file installed to /etc/profile.d/vte.sh on other
>> systems? Or is it otherwise sourced?
>>
>
> I can only speak for my own system. I don't have gnome-terminal
> installed, but I do have tilda which uses vte. My
>
On Mon, Jul 22, 2019 at 09:09:13PM +0200, Ricardo Wurmus wrote:
>
> Hi Ben,
>
> >> Just minor thing, but on other systems I use, when you open subsequent
> >> Gnome Terminal tabs, the current working directory is maintained in the
> >> new tab. On my Guix System, new tabs start up back at
Hi Ben,
>> Just minor thing, but on other systems I use, when you open subsequent
>> Gnome Terminal tabs, the current working directory is maintained in the
>> new tab. On my Guix System, new tabs start up back at /home/ben.
>
> I've found that sourcing vte.sh fixes the issue, and the working
>
On Thu, 25 Apr 2019, Ben Sturmfels wrote:
> Hi Folks,
>
> Just minor thing, but on other systems I use, when you open subsequent
> Gnome Terminal tabs, the current working directory is maintained in the
> new tab. On my Guix System, new tabs start up back at /home/ben.
I've found that sourcing
Hi Folks,
Just minor thing, but on other systems I use, when you open subsequent
Gnome Terminal tabs, the current working directory is maintained in the
new tab. On my Guix System, new tabs start up back at /home/ben.
Very low priority of course.
Regards,
Ben