#[Solved] How do I set a default terminal emulator??

3 messages · Page 1 of 1 (latest)

chrome karma Nov 19, 2022, 1:08 AM

How do I set a default terminal emulator??

I have just realized my question was very dumb

faint moth Nov 19, 2022, 10:09 AM

Still please do not delete your original question
and also please append [SOLVED] to the name of this forum