@kugel agree with the first three, as you say terminal is more debatable, for example you would not want to migrate a `gnome-terminal` command to a KDE system that might not have it installed.
--
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/3007#issuecomment-1173478840
You are receiving this because you are subscribed to this thread.
Message ID:
geany/geany/issues/3007/1173478840@github.com