Re: Gnome Terminal profile scripts

[Dick Marinus <dick mrns nl>]

Hi Robert

Maybe it is caused by gnome sessions with "weird" characters, likes
spaces.

You could check the following files:

~/.local/share/applications/gnometerminal/*
~/.config/menus/applications-merged/gnome-terminal.menu

If you don't see anything weird please send these files (off list) to
me. I should fix the script to handle this error :-)

gr
Dick