@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, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.Message ID: <geany/geany/issues/3007/1173478840@github.com>