Where are Gnome-Terminal profiles stored in the filesystem?How do I use the gconf editor?Seriously, dconf, gconf, gsettings… How do I save my terminal settings?How to open the terminal? (Mis-configured the profile)Single instance of the GNOME Terminal?I accidentally made my terminal open another terminal when it starts. How can I fix it?Command-line to switch between profiles in gnome-terminalMy gnome terminal keep opening new windowWhere is the output of a Terminal (Gnome Terminal) storedwhat's going in /usr/bin/gnome-terminal?How to use a particular gnome-terminal profile like (base-16-default-dark) every time I start a new terminal?
Copying files: does Windows write to disk if files are identical?
Mutate my DNA sequence
What’s the difference between 实在 and 确实?
Plain Hunt Bell-Ringing
Quick question on an approximation from physics
What can players do while waiting for a troll to regenerate?
What can I use for input conversion instead of scanf?
A word/phrase means "a small amount" (of a color)
Fiducial placement
Can you put L trominos to fill the figure?
Can a company prevent a co-author of a paper to put his name on it?
Why are one-word titles so dominant in books, film, and games?
Is Bcrypt a hashing algorithm or is my study material wrong?
Is there a high level reason why the inverse square law of gravitation yields periodic orbits without precession?
A pencil in a beaker of water
What does "crank old Sabbath" refer to?
How can I more clearly ask people to accomodate for my autism?
Avoid showing cancel button on dialog
What would you do? Different results than what is reported
Antonym for “boilerplate” or “cookie-cutter”
Can the Infinity Stones be destroyed?
Do you celebrate paying your mortgage off with colleagues?
How do journals gain and lose reputation?
How can I sell my shares in a privately-owned company I used to be employed by?
Where are Gnome-Terminal profiles stored in the filesystem?
How do I use the gconf editor?Seriously, dconf, gconf, gsettings… How do I save my terminal settings?How to open the terminal? (Mis-configured the profile)Single instance of the GNOME Terminal?I accidentally made my terminal open another terminal when it starts. How can I fix it?Command-line to switch between profiles in gnome-terminalMy gnome terminal keep opening new windowWhere is the output of a Terminal (Gnome Terminal) storedwhat's going in /usr/bin/gnome-terminal?How to use a particular gnome-terminal profile like (base-16-default-dark) every time I start a new terminal?
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty
margin-bottom:0;
I created a new profile that opened with the fortune program (atp-get install fortune-mod for the download location) and set it as the profile with which to open all new terminals with so that I would get a new fortune when I opened terminal. Unfortunately I didn't know to set "exit terminal when process exits" to something else so that it wouldn't exit out almost immediately. Currently it does exit as soon as fortune exits which is nearly immediately and I need to delete the profile but i cant through the terminal "manage profiles" option because it exits too quickly to even try and open the edit menu let alone delete the profile. I need to know what directory the profile is saved to so that i can delete is manually. I tried to do a system wide search but the results of that search was tons of files and folders and I don't have time to open them all. I appreciate all help i can get. Thanks in advance.
gnome-terminal
asked Oct 27 '11 at 4:21
Marcello NicolettiMarcello Nicoletti
731 gold badge1 silver badge6 bronze badges
add a comment
|
I created a new profile that opened with the fortune program (atp-get install fortune-mod for the download location) and set it as the profile with which to open all new terminals with so that I would get a new fortune when I opened terminal. Unfortunately I didn't know to set "exit terminal when process exits" to something else so that it wouldn't exit out almost immediately. Currently it does exit as soon as fortune exits which is nearly immediately and I need to delete the profile but i cant through the terminal "manage profiles" option because it exits too quickly to even try and open the edit menu let alone delete the profile. I need to know what directory the profile is saved to so that i can delete is manually. I tried to do a system wide search but the results of that search was tons of files and folders and I don't have time to open them all. I appreciate all help i can get. Thanks in advance.
gnome-terminal
asked Oct 27 '11 at 4:21
Marcello NicolettiMarcello Nicoletti
731 gold badge1 silver badge6 bronze badges
1
How to import gnome-terminal profile from dconf database: unix.stackexchange.com/a/199864
– bartolo-otrit
Oct 8 '16 at 16:51
As a note, the comment/link from @bartolo-otrit refers tognome-terminalprofiles indconf(note D) - but in ubuntu 14,gnome-terminalprofiles are ingconf(note G); and forgconf, you can look into~/.gconf/apps/gnome-terminal/for the profiles
– sdbbs
Feb 20 '17 at 8:10
add a comment
|
I created a new profile that opened with the fortune program (atp-get install fortune-mod for the download location) and set it as the profile with which to open all new terminals with so that I would get a new fortune when I opened terminal. Unfortunately I didn't know to set "exit terminal when process exits" to something else so that it wouldn't exit out almost immediately. Currently it does exit as soon as fortune exits which is nearly immediately and I need to delete the profile but i cant through the terminal "manage profiles" option because it exits too quickly to even try and open the edit menu let alone delete the profile. I need to know what directory the profile is saved to so that i can delete is manually. I tried to do a system wide search but the results of that search was tons of files and folders and I don't have time to open them all. I appreciate all help i can get. Thanks in advance.
gnome-terminal
asked Oct 27 '11 at 4:21
Marcello NicolettiMarcello Nicoletti
731 gold badge1 silver badge6 bronze badges
I created a new profile that opened with the fortune program (atp-get install fortune-mod for the download location) and set it as the profile with which to open all new terminals with so that I would get a new fortune when I opened terminal. Unfortunately I didn't know to set "exit terminal when process exits" to something else so that it wouldn't exit out almost immediately. Currently it does exit as soon as fortune exits which is nearly immediately and I need to delete the profile but i cant through the terminal "manage profiles" option because it exits too quickly to even try and open the edit menu let alone delete the profile. I need to know what directory the profile is saved to so that i can delete is manually. I tried to do a system wide search but the results of that search was tons of files and folders and I don't have time to open them all. I appreciate all help i can get. Thanks in advance.
gnome-terminal
gnome-terminal
asked Oct 27 '11 at 4:21
Marcello NicolettiMarcello Nicoletti
731 gold badge1 silver badge6 bronze badges
asked Oct 27 '11 at 4:21
Marcello NicolettiMarcello Nicoletti
731 gold badge1 silver badge6 bronze badges
asked Oct 27 '11 at 4:21
Marcello NicolettiMarcello Nicoletti
731 gold badge1 silver badge6 bronze badges
asked Oct 27 '11 at 4:21
Marcello NicolettiMarcello Nicoletti
731 gold badge1 silver badge6 bronze badges
asked Oct 27 '11 at 4:21
Marcello NicolettiMarcello Nicoletti
731 gold badge1 silver badge6 bronze badges
731 gold badge1 silver badge6 bronze badges
1
How to import gnome-terminal profile from dconf database: unix.stackexchange.com/a/199864
– bartolo-otrit
Oct 8 '16 at 16:51
As a note, the comment/link from @bartolo-otrit refers tognome-terminalprofiles indconf(note D) - but in ubuntu 14,gnome-terminalprofiles are ingconf(note G); and forgconf, you can look into~/.gconf/apps/gnome-terminal/for the profiles
– sdbbs
Feb 20 '17 at 8:10
add a comment
|
1
How to import gnome-terminal profile from dconf database: unix.stackexchange.com/a/199864
– bartolo-otrit
Oct 8 '16 at 16:51
As a note, the comment/link from @bartolo-otrit refers tognome-terminalprofiles indconf(note D) - but in ubuntu 14,gnome-terminalprofiles are ingconf(note G); and forgconf, you can look into~/.gconf/apps/gnome-terminal/for the profiles
– sdbbs
Feb 20 '17 at 8:10
1
1
How to import gnome-terminal profile from dconf database: unix.stackexchange.com/a/199864
– bartolo-otrit
Oct 8 '16 at 16:51
How to import gnome-terminal profile from dconf database: unix.stackexchange.com/a/199864
– bartolo-otrit
Oct 8 '16 at 16:51
As a note, the comment/link from @bartolo-otrit refers to
gnome-terminal profiles in dconf (note D) - but in ubuntu 14, gnome-terminal profiles are in gconf (note G); and for gconf, you can look into ~/.gconf/apps/gnome-terminal/ for the profiles– sdbbs
Feb 20 '17 at 8:10
As a note, the comment/link from @bartolo-otrit refers to
gnome-terminal profiles in dconf (note D) - but in ubuntu 14, gnome-terminal profiles are in gconf (note G); and for gconf, you can look into ~/.gconf/apps/gnome-terminal/ for the profiles– sdbbs
Feb 20 '17 at 8:10
add a comment
|
2 Answers
2
active
oldest
votes
Profiles for GNOME Terminal are stored in the GConf configuration system. To modify them directly, press Alt+F2 to display the "Run a command" box, enter gconf-editor, and then browse to /apps/gnome-terminal/profiles.
Unchecking /apps/gnome-terminal/profiles/Default/use_custom_command should solve your problem.
An alternative method for getting out of this situation is to override the custom command by specifying another as a command-line argument, e.g. gnome-terminal -x bash, once again in the "Run a command" box.
edited Apr 13 '17 at 12:23
Community♦
1
answered Oct 27 '11 at 4:51
ændrükændrük
43.5k65 gold badges202 silver badges346 bronze badges
The alternative method ended up being the one that worked. Thank you very much. I'd vote up but I don't have 15 reputation :(
– Marcello Nicoletti
Nov 3 '11 at 4:17
The alternative command is also the only one that worked. In the gconf-editor, there wasn't any "use_custom_command checkbox.
– Balinus
Aug 19 '16 at 14:53
@ændrük sorry for taking so long to accept. I just got a notification for this question which brought me back all these years later.
– Marcello Nicoletti
Oct 10 '16 at 17:38
2
On Ubuntu 17.04, these entries aren't there in gconf-editor
– phant0m
May 24 '17 at 0:40
Profiles for# GNOME Terminal 3.32.1are stored indconfnotgconfA comment on this question seems to imply that they should be migrated over automatically to dconf, but I haven't got that to work askubuntu.com/questions/906137/…
– EoghanM
Aug 14 at 11:00
add a comment
|
You can also run xterm, another terminal emulator that is available in Ubuntu. From there you can run any commands you need.
To make it the default terminal, run:
sudo update-alternatives --config x-terminal-emulator
And change the default to whatever you want.
Another approach to fix Gnome Terminal is to use Nautilus (the file manager) to delete all custom preferences:
- Navigate to
~/.gconf/apps/gnome-terminal(it's a hidden folder, hitCTRL+Hto view) - Edit the
xmlfiles there, or simply delete the wholegnome-terminalfolder - Open your Gnome Terminal again, it will be restored with factory settings
answered Jan 28 '15 at 13:48
MestreLionMestreLion
14.4k11 gold badges69 silver badges97 bronze badges
add a comment
|
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "89"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/4.0/"u003ecc by-sa 4.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2faskubuntu.com%2fquestions%2f72684%2fwhere-are-gnome-terminal-profiles-stored-in-the-filesystem%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
Profiles for GNOME Terminal are stored in the GConf configuration system. To modify them directly, press Alt+F2 to display the "Run a command" box, enter gconf-editor, and then browse to /apps/gnome-terminal/profiles.
Unchecking /apps/gnome-terminal/profiles/Default/use_custom_command should solve your problem.
An alternative method for getting out of this situation is to override the custom command by specifying another as a command-line argument, e.g. gnome-terminal -x bash, once again in the "Run a command" box.
edited Apr 13 '17 at 12:23
Community♦
1
answered Oct 27 '11 at 4:51
ændrükændrük
43.5k65 gold badges202 silver badges346 bronze badges
The alternative method ended up being the one that worked. Thank you very much. I'd vote up but I don't have 15 reputation :(
– Marcello Nicoletti
Nov 3 '11 at 4:17
The alternative command is also the only one that worked. In the gconf-editor, there wasn't any "use_custom_command checkbox.
– Balinus
Aug 19 '16 at 14:53
@ændrük sorry for taking so long to accept. I just got a notification for this question which brought me back all these years later.
– Marcello Nicoletti
Oct 10 '16 at 17:38
2
On Ubuntu 17.04, these entries aren't there in gconf-editor
– phant0m
May 24 '17 at 0:40
Profiles for# GNOME Terminal 3.32.1are stored indconfnotgconfA comment on this question seems to imply that they should be migrated over automatically to dconf, but I haven't got that to work askubuntu.com/questions/906137/…
– EoghanM
Aug 14 at 11:00
add a comment
|
Profiles for GNOME Terminal are stored in the GConf configuration system. To modify them directly, press Alt+F2 to display the "Run a command" box, enter gconf-editor, and then browse to /apps/gnome-terminal/profiles.
Unchecking /apps/gnome-terminal/profiles/Default/use_custom_command should solve your problem.
An alternative method for getting out of this situation is to override the custom command by specifying another as a command-line argument, e.g. gnome-terminal -x bash, once again in the "Run a command" box.
edited Apr 13 '17 at 12:23
Community♦
1
answered Oct 27 '11 at 4:51
ændrükændrük
43.5k65 gold badges202 silver badges346 bronze badges
The alternative method ended up being the one that worked. Thank you very much. I'd vote up but I don't have 15 reputation :(
– Marcello Nicoletti
Nov 3 '11 at 4:17
The alternative command is also the only one that worked. In the gconf-editor, there wasn't any "use_custom_command checkbox.
– Balinus
Aug 19 '16 at 14:53
@ændrük sorry for taking so long to accept. I just got a notification for this question which brought me back all these years later.
– Marcello Nicoletti
Oct 10 '16 at 17:38
2
On Ubuntu 17.04, these entries aren't there in gconf-editor
– phant0m
May 24 '17 at 0:40
Profiles for# GNOME Terminal 3.32.1are stored indconfnotgconfA comment on this question seems to imply that they should be migrated over automatically to dconf, but I haven't got that to work askubuntu.com/questions/906137/…
– EoghanM
Aug 14 at 11:00
add a comment
|
Profiles for GNOME Terminal are stored in the GConf configuration system. To modify them directly, press Alt+F2 to display the "Run a command" box, enter gconf-editor, and then browse to /apps/gnome-terminal/profiles.
Unchecking /apps/gnome-terminal/profiles/Default/use_custom_command should solve your problem.
An alternative method for getting out of this situation is to override the custom command by specifying another as a command-line argument, e.g. gnome-terminal -x bash, once again in the "Run a command" box.
edited Apr 13 '17 at 12:23
Community♦
1
answered Oct 27 '11 at 4:51
ændrükændrük
43.5k65 gold badges202 silver badges346 bronze badges
Profiles for GNOME Terminal are stored in the GConf configuration system. To modify them directly, press Alt+F2 to display the "Run a command" box, enter gconf-editor, and then browse to /apps/gnome-terminal/profiles.
Unchecking /apps/gnome-terminal/profiles/Default/use_custom_command should solve your problem.
An alternative method for getting out of this situation is to override the custom command by specifying another as a command-line argument, e.g. gnome-terminal -x bash, once again in the "Run a command" box.
edited Apr 13 '17 at 12:23
Community♦
1
answered Oct 27 '11 at 4:51
ændrükændrük
43.5k65 gold badges202 silver badges346 bronze badges
edited Apr 13 '17 at 12:23
Community♦
1
edited Apr 13 '17 at 12:23
Community♦
1
edited Apr 13 '17 at 12:23
Community♦
1
1
answered Oct 27 '11 at 4:51
ændrükændrük
43.5k65 gold badges202 silver badges346 bronze badges
answered Oct 27 '11 at 4:51
ændrükændrük
43.5k65 gold badges202 silver badges346 bronze badges
answered Oct 27 '11 at 4:51
ændrükændrük
43.5k65 gold badges202 silver badges346 bronze badges
43.5k65 gold badges202 silver badges346 bronze badges
The alternative method ended up being the one that worked. Thank you very much. I'd vote up but I don't have 15 reputation :(
– Marcello Nicoletti
Nov 3 '11 at 4:17
The alternative command is also the only one that worked. In the gconf-editor, there wasn't any "use_custom_command checkbox.
– Balinus
Aug 19 '16 at 14:53
@ændrük sorry for taking so long to accept. I just got a notification for this question which brought me back all these years later.
– Marcello Nicoletti
Oct 10 '16 at 17:38
2
On Ubuntu 17.04, these entries aren't there in gconf-editor
– phant0m
May 24 '17 at 0:40
Profiles for# GNOME Terminal 3.32.1are stored indconfnotgconfA comment on this question seems to imply that they should be migrated over automatically to dconf, but I haven't got that to work askubuntu.com/questions/906137/…
– EoghanM
Aug 14 at 11:00
add a comment
|
The alternative method ended up being the one that worked. Thank you very much. I'd vote up but I don't have 15 reputation :(
– Marcello Nicoletti
Nov 3 '11 at 4:17
The alternative command is also the only one that worked. In the gconf-editor, there wasn't any "use_custom_command checkbox.
– Balinus
Aug 19 '16 at 14:53
@ændrük sorry for taking so long to accept. I just got a notification for this question which brought me back all these years later.
– Marcello Nicoletti
Oct 10 '16 at 17:38
2
On Ubuntu 17.04, these entries aren't there in gconf-editor
– phant0m
May 24 '17 at 0:40
Profiles for# GNOME Terminal 3.32.1are stored indconfnotgconfA comment on this question seems to imply that they should be migrated over automatically to dconf, but I haven't got that to work askubuntu.com/questions/906137/…
– EoghanM
Aug 14 at 11:00
The alternative method ended up being the one that worked. Thank you very much. I'd vote up but I don't have 15 reputation :(
– Marcello Nicoletti
Nov 3 '11 at 4:17
The alternative method ended up being the one that worked. Thank you very much. I'd vote up but I don't have 15 reputation :(
– Marcello Nicoletti
Nov 3 '11 at 4:17
The alternative command is also the only one that worked. In the gconf-editor, there wasn't any "use_custom_command checkbox.
– Balinus
Aug 19 '16 at 14:53
The alternative command is also the only one that worked. In the gconf-editor, there wasn't any "use_custom_command checkbox.
– Balinus
Aug 19 '16 at 14:53
@ændrük sorry for taking so long to accept. I just got a notification for this question which brought me back all these years later.
– Marcello Nicoletti
Oct 10 '16 at 17:38
@ændrük sorry for taking so long to accept. I just got a notification for this question which brought me back all these years later.
– Marcello Nicoletti
Oct 10 '16 at 17:38
2
2
On Ubuntu 17.04, these entries aren't there in gconf-editor
– phant0m
May 24 '17 at 0:40
On Ubuntu 17.04, these entries aren't there in gconf-editor
– phant0m
May 24 '17 at 0:40
Profiles for
# GNOME Terminal 3.32.1 are stored in dconf not gconf A comment on this question seems to imply that they should be migrated over automatically to dconf, but I haven't got that to work askubuntu.com/questions/906137/…– EoghanM
Aug 14 at 11:00
Profiles for
# GNOME Terminal 3.32.1 are stored in dconf not gconf A comment on this question seems to imply that they should be migrated over automatically to dconf, but I haven't got that to work askubuntu.com/questions/906137/…– EoghanM
Aug 14 at 11:00
add a comment
|
You can also run xterm, another terminal emulator that is available in Ubuntu. From there you can run any commands you need.
To make it the default terminal, run:
sudo update-alternatives --config x-terminal-emulator
And change the default to whatever you want.
Another approach to fix Gnome Terminal is to use Nautilus (the file manager) to delete all custom preferences:
- Navigate to
~/.gconf/apps/gnome-terminal(it's a hidden folder, hitCTRL+Hto view) - Edit the
xmlfiles there, or simply delete the wholegnome-terminalfolder - Open your Gnome Terminal again, it will be restored with factory settings
answered Jan 28 '15 at 13:48
MestreLionMestreLion
14.4k11 gold badges69 silver badges97 bronze badges
add a comment
|
You can also run xterm, another terminal emulator that is available in Ubuntu. From there you can run any commands you need.
To make it the default terminal, run:
sudo update-alternatives --config x-terminal-emulator
And change the default to whatever you want.
Another approach to fix Gnome Terminal is to use Nautilus (the file manager) to delete all custom preferences:
- Navigate to
~/.gconf/apps/gnome-terminal(it's a hidden folder, hitCTRL+Hto view) - Edit the
xmlfiles there, or simply delete the wholegnome-terminalfolder - Open your Gnome Terminal again, it will be restored with factory settings
answered Jan 28 '15 at 13:48
MestreLionMestreLion
14.4k11 gold badges69 silver badges97 bronze badges
add a comment
|
You can also run xterm, another terminal emulator that is available in Ubuntu. From there you can run any commands you need.
To make it the default terminal, run:
sudo update-alternatives --config x-terminal-emulator
And change the default to whatever you want.
Another approach to fix Gnome Terminal is to use Nautilus (the file manager) to delete all custom preferences:
- Navigate to
~/.gconf/apps/gnome-terminal(it's a hidden folder, hitCTRL+Hto view) - Edit the
xmlfiles there, or simply delete the wholegnome-terminalfolder - Open your Gnome Terminal again, it will be restored with factory settings
answered Jan 28 '15 at 13:48
MestreLionMestreLion
14.4k11 gold badges69 silver badges97 bronze badges
You can also run xterm, another terminal emulator that is available in Ubuntu. From there you can run any commands you need.
To make it the default terminal, run:
sudo update-alternatives --config x-terminal-emulator
And change the default to whatever you want.
Another approach to fix Gnome Terminal is to use Nautilus (the file manager) to delete all custom preferences:
- Navigate to
~/.gconf/apps/gnome-terminal(it's a hidden folder, hitCTRL+Hto view) - Edit the
xmlfiles there, or simply delete the wholegnome-terminalfolder - Open your Gnome Terminal again, it will be restored with factory settings
answered Jan 28 '15 at 13:48
MestreLionMestreLion
14.4k11 gold badges69 silver badges97 bronze badges
answered Jan 28 '15 at 13:48
MestreLionMestreLion
14.4k11 gold badges69 silver badges97 bronze badges
answered Jan 28 '15 at 13:48
MestreLionMestreLion
14.4k11 gold badges69 silver badges97 bronze badges
answered Jan 28 '15 at 13:48
MestreLionMestreLion
14.4k11 gold badges69 silver badges97 bronze badges
14.4k11 gold badges69 silver badges97 bronze badges
add a comment
|
add a comment
|
Thanks for contributing an answer to Ask Ubuntu!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2faskubuntu.com%2fquestions%2f72684%2fwhere-are-gnome-terminal-profiles-stored-in-the-filesystem%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
How to import gnome-terminal profile from dconf database: unix.stackexchange.com/a/199864
– bartolo-otrit
Oct 8 '16 at 16:51
As a note, the comment/link from @bartolo-otrit refers to
gnome-terminalprofiles indconf(note D) - but in ubuntu 14,gnome-terminalprofiles are ingconf(note G); and forgconf, you can look into~/.gconf/apps/gnome-terminal/for the profiles– sdbbs
Feb 20 '17 at 8:10