Skip to content
Discussion options

You must be logged in to vote

Turns out you can just edit the settings JSON file and Terminal will apply the new profile settings immediately.

Replies: 1 comment

Comment options

You must be logged in to vote
0 replies
Answer selected by fenhl
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
1 participant