Timeline for How to change font size and font for all profiles in terminal?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 25, 2019 at 14:21 | comment | added | Alex | Ah, good point. I actually use iTerm2, this was the first time firing up Terminal in a while, and during testing I noticed that on save it writes back the prefs. Regardless, goal is easily accomplished with the steps provided. | |
| Feb 25, 2019 at 4:27 | comment | added | user3439894 |
I made some edits; however, the order of your steps is wrong. If your first close Terminal, then how are you going to run the commands in the other steps! Also, you only need to use 1. for each step and they'll auto number correctly, which makes it easier to move/add/remove the steps when edits are needed.
|
|
| Feb 25, 2019 at 4:23 | history | edited | user3439894 | CC BY-SA 4.0 |
added 40 characters in body
|
| Feb 25, 2019 at 4:13 | history | answered | Alex | CC BY-SA 4.0 |