Reapply terminal default profile if it exists #39
Description
Upgrading to macOS 15.4 reset the font and font size of the "Dark" terminal profile—it would be nice to be able to change it back by re-running bootstrap.
{{ message }}
Upgrading to macOS 15.4 reset the font and font size of the "Dark" terminal profile—it would be nice to be able to change it back by re-running bootstrap.