I have some problems with my ubuntu after I upgraded from 17.04 to 17.10
gnome-terminal isn't working. I tried to fix it for few hours without any success.
When I'm running gnome-terminal from xterm(that does work) I get a python syntax error due to the line "print url" - what suggests that it is a python2 script. So I changed /usr/bin/gnome-terminal file to run with python instead of python3.
Then I got some problems related to gi package. I searched for solutions and tried after reinstall gi, but then I got this error:
from gi-repository import GLib, Gio importError: no module named repository
I found out that gnome-terminal.real works. But I've no idea how to fix this python problem. Any help will be much appreciated