Closed icarter09 closed 3 years ago
This PR is to update the exec-arg setting for gnome-terminal from '-x' to '--'
This PR is to update the exec-arg setting for gnome-terminal from '-x' to '--'