I Accidentally Deleted a Stock Terminal Theme
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ margin-bottom:0;
}
I accidentally deleted a stock Apple terminal theme that I'd like to get back. The one I accidentally deleted is called "Pro" (under the Profiles tab in the Terminal settings). Is there a way to get this back without having to go through an entire installation?
macos terminal command-line themes
add a comment |
I accidentally deleted a stock Apple terminal theme that I'd like to get back. The one I accidentally deleted is called "Pro" (under the Profiles tab in the Terminal settings). Is there a way to get this back without having to go through an entire installation?
macos terminal command-line themes
add a comment |
I accidentally deleted a stock Apple terminal theme that I'd like to get back. The one I accidentally deleted is called "Pro" (under the Profiles tab in the Terminal settings). Is there a way to get this back without having to go through an entire installation?
macos terminal command-line themes
I accidentally deleted a stock Apple terminal theme that I'd like to get back. The one I accidentally deleted is called "Pro" (under the Profiles tab in the Terminal settings). Is there a way to get this back without having to go through an entire installation?
macos terminal command-line themes
macos terminal command-line themes
edited Apr 15 at 3:11
bmike♦
162k46292633
162k46292633
asked Apr 4 at 17:22
joe_04_04joe_04_04
5831717
5831717
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
Click the gear icon in the "Profiles" tab and select the option "Restore Default Profiles."
20
It’s always encouraged to ask and answer your own questions, and this is a great Q&A which I’m sure will be helpful for people in a similar situation to find this obscure option!
– grg♦
Apr 4 at 18:10
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
Click the gear icon in the "Profiles" tab and select the option "Restore Default Profiles."
20
It’s always encouraged to ask and answer your own questions, and this is a great Q&A which I’m sure will be helpful for people in a similar situation to find this obscure option!
– grg♦
Apr 4 at 18:10
add a comment |
Click the gear icon in the "Profiles" tab and select the option "Restore Default Profiles."
20
It’s always encouraged to ask and answer your own questions, and this is a great Q&A which I’m sure will be helpful for people in a similar situation to find this obscure option!
– grg♦
Apr 4 at 18:10
add a comment |
Click the gear icon in the "Profiles" tab and select the option "Restore Default Profiles."
Click the gear icon in the "Profiles" tab and select the option "Restore Default Profiles."
edited Apr 15 at 2:11
answered Apr 4 at 17:23
joe_04_04joe_04_04
5831717
5831717
20
It’s always encouraged to ask and answer your own questions, and this is a great Q&A which I’m sure will be helpful for people in a similar situation to find this obscure option!
– grg♦
Apr 4 at 18:10
add a comment |
20
It’s always encouraged to ask and answer your own questions, and this is a great Q&A which I’m sure will be helpful for people in a similar situation to find this obscure option!
– grg♦
Apr 4 at 18:10
20
20
It’s always encouraged to ask and answer your own questions, and this is a great Q&A which I’m sure will be helpful for people in a similar situation to find this obscure option!
– grg♦
Apr 4 at 18:10
It’s always encouraged to ask and answer your own questions, and this is a great Q&A which I’m sure will be helpful for people in a similar situation to find this obscure option!
– grg♦
Apr 4 at 18:10
add a comment |