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
edited Apr 15 at 3:11
bmike♦
162k46292633
asked Apr 4 at 17:22
joe_04_04joe_04_04
5831717
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
edited Apr 15 at 3:11
bmike♦
162k46292633
asked Apr 4 at 17:22
joe_04_04joe_04_04
5831717
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
edited Apr 15 at 3:11
bmike♦
162k46292633
asked Apr 4 at 17:22
joe_04_04joe_04_04
5831717
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
asked Apr 4 at 17:22
joe_04_04joe_04_04
5831717
edited Apr 15 at 3:11
bmike♦
162k46292633
asked Apr 4 at 17:22
joe_04_04joe_04_04
5831717
edited Apr 15 at 3:11
bmike♦
162k46292633
edited Apr 15 at 3:11
bmike♦
162k46292633
edited Apr 15 at 3:11
bmike♦
162k46292633
162k46292633
asked Apr 4 at 17:22
joe_04_04joe_04_04
5831717
asked Apr 4 at 17:22
joe_04_04joe_04_04
5831717
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."
answered Apr 4 at 17:23
joe_04_04joe_04_04
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 |
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."
answered Apr 4 at 17:23
joe_04_04joe_04_04
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 |
Click the gear icon in the "Profiles" tab and select the option "Restore Default Profiles."
answered Apr 4 at 17:23
joe_04_04joe_04_04
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 |
Click the gear icon in the "Profiles" tab and select the option "Restore Default Profiles."
answered Apr 4 at 17:23
joe_04_04joe_04_04
5831717
Click the gear icon in the "Profiles" tab and select the option "Restore Default Profiles."
answered Apr 4 at 17:23
joe_04_04joe_04_04
5831717
edited Apr 15 at 2:11
answered Apr 4 at 17:23
joe_04_04joe_04_04
5831717
answered Apr 4 at 17:23
joe_04_04joe_04_04
5831717
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 |
