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 > ~/.guix-profile/etc/profile.d/ only has bash_completion.sh.
I wonder if it's just a matter of moving vte to the propagated-inputs of gnome-terminal (and other packages like tilda)? I'll try now and report back. Regards, Ben
