Timeline for How can I change the default Terminal font?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 21, 2023 at 21:59 | comment | added | dfsg76 | you could try a regex with sed that only replaces the trailing number based on the current value of the setting | |
| Dec 22, 2017 at 6:59 | comment | added | Kiran | Is there a way to only update font-size but not font-family? | |
| Dec 16, 2015 at 17:52 | comment | added | maq | most simplest way :) | |
| Aug 6, 2015 at 18:29 | history | answered | Michael Mims | CC BY-SA 3.0 |