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?
terminal themes
asked Apr 4 at 17:22
joe_04_04joe_04_04
5531617
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?
terminal themes
asked Apr 4 at 17:22
joe_04_04joe_04_04
5531617
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?
terminal themes
asked Apr 4 at 17:22
joe_04_04joe_04_04
5531617
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?
terminal themes
terminal themes
asked Apr 4 at 17:22
joe_04_04joe_04_04
5531617
asked Apr 4 at 17:22
joe_04_04joe_04_04
5531617
asked Apr 4 at 17:22
joe_04_04joe_04_04
5531617
asked Apr 4 at 17:22
joe_04_04joe_04_04
5531617
asked Apr 4 at 17:22
joe_04_04joe_04_04
5531617
5531617
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
Click the gear icon in the same tab and select the option "Restore Default Profiles."
answered Apr 4 at 17:23
joe_04_04joe_04_04
5531617
1
I just found this fairly quickly after posting, but am leaving it up for others who may need it. Although admin may delete this if they think that would be better.
– joe_04_04
Apr 4 at 17:24
19
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 same tab and select the option "Restore Default Profiles."
answered Apr 4 at 17:23
joe_04_04joe_04_04
5531617
1
I just found this fairly quickly after posting, but am leaving it up for others who may need it. Although admin may delete this if they think that would be better.
– joe_04_04
Apr 4 at 17:24
19
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 same tab and select the option "Restore Default Profiles."
answered Apr 4 at 17:23
joe_04_04joe_04_04
5531617
1
I just found this fairly quickly after posting, but am leaving it up for others who may need it. Although admin may delete this if they think that would be better.
– joe_04_04
Apr 4 at 17:24
19
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 same tab and select the option "Restore Default Profiles."
answered Apr 4 at 17:23
joe_04_04joe_04_04
5531617
Click the gear icon in the same tab and select the option "Restore Default Profiles."
answered Apr 4 at 17:23
joe_04_04joe_04_04
5531617
answered Apr 4 at 17:23
joe_04_04joe_04_04
5531617
answered Apr 4 at 17:23
joe_04_04joe_04_04
5531617
answered Apr 4 at 17:23
joe_04_04joe_04_04
5531617
5531617
1
I just found this fairly quickly after posting, but am leaving it up for others who may need it. Although admin may delete this if they think that would be better.
– joe_04_04
Apr 4 at 17:24
19
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
I just found this fairly quickly after posting, but am leaving it up for others who may need it. Although admin may delete this if they think that would be better.
– joe_04_04
Apr 4 at 17:24
19
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
1
1
I just found this fairly quickly after posting, but am leaving it up for others who may need it. Although admin may delete this if they think that would be better.
– joe_04_04
Apr 4 at 17:24
I just found this fairly quickly after posting, but am leaving it up for others who may need it. Although admin may delete this if they think that would be better.
– joe_04_04
Apr 4 at 17:24
19
19
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 |
