Change setting of Dash To Dock using terminal
1
I want to change one setting of Dash to Dock extension of GNOME shell using the terminal as I want to automate that which I can later use in my app.
In the GUI version it is under "Position and Size" tab and then 'Panel Mode : extend to the screen edge'.
gnome-shell gnome-shell-extension dock
edited Jan 28 at 13:30
pomsky
31.8k1197128
asked Oct 21 '17 at 2:24
Harsh KhatriHarsh Khatri
84
add a comment |
1
I want to change one setting of Dash to Dock extension of GNOME shell using the terminal as I want to automate that which I can later use in my app.
In the GUI version it is under "Position and Size" tab and then 'Panel Mode : extend to the screen edge'.
gnome-shell gnome-shell-extension dock
edited Jan 28 at 13:30
pomsky
31.8k1197128
asked Oct 21 '17 at 2:24
Harsh KhatriHarsh Khatri
84
add a comment |
1
1
1
2
I want to change one setting of Dash to Dock extension of GNOME shell using the terminal as I want to automate that which I can later use in my app.
In the GUI version it is under "Position and Size" tab and then 'Panel Mode : extend to the screen edge'.
gnome-shell gnome-shell-extension dock
edited Jan 28 at 13:30
pomsky
31.8k1197128
asked Oct 21 '17 at 2:24
Harsh KhatriHarsh Khatri
84
I want to change one setting of Dash to Dock extension of GNOME shell using the terminal as I want to automate that which I can later use in my app.
In the GUI version it is under "Position and Size" tab and then 'Panel Mode : extend to the screen edge'.
gnome-shell gnome-shell-extension dock
gnome-shell gnome-shell-extension dock
edited Jan 28 at 13:30
pomsky
31.8k1197128
asked Oct 21 '17 at 2:24
Harsh KhatriHarsh Khatri
84
edited Jan 28 at 13:30
pomsky
31.8k1197128
asked Oct 21 '17 at 2:24
Harsh KhatriHarsh Khatri
84
edited Jan 28 at 13:30
pomsky
31.8k1197128
edited Jan 28 at 13:30
pomsky
31.8k1197128
edited Jan 28 at 13:30
pomsky
31.8k1197128
31.8k1197128
asked Oct 21 '17 at 2:24
Harsh KhatriHarsh Khatri
84
asked Oct 21 '17 at 2:24
Harsh KhatriHarsh Khatri
84
asked Oct 21 '17 at 2:24
Harsh KhatriHarsh Khatri
84
84
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
1
To get the current value, run
gsettings get org.gnome.shell.extensions.dash-to-dock extend-height
To change it, run
gsettings set org.gnome.shell.extensions.dash-to-dock extend-height <OPTION>
or
dconf write /org/gnome/shell/extensions/dash-to-dock/extend-height <OPTION>
In place of <OPTION> you can have true for panel mode and false for dock mode.
answered Oct 21 '17 at 4:40
pomskypomsky
31.8k1197128
can you tell me how to make it permanent as it reverts back to default after Restart
– Harsh Khatri
Oct 21 '17 at 9:47
It shouldn't, there's something wrong with your installation. I think that's whygsettingsis not working.
– pomsky
Oct 21 '17 at 9:49
@HarshKhatri Maybe you should ask a new question for that issue. If you do please provide details like your OS version, GNOME shell version, how you installed Dash to Dock etc. Hopefully someone will be able to help.
– pomsky
Oct 21 '17 at 12:01
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/3.0/"u003ecc by-sa 3.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
});
}
});
draft saved
draft discarded
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%2f967015%2fchange-setting-of-dash-to-dock-using-terminal%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
1
To get the current value, run
gsettings get org.gnome.shell.extensions.dash-to-dock extend-height
To change it, run
gsettings set org.gnome.shell.extensions.dash-to-dock extend-height <OPTION>
or
dconf write /org/gnome/shell/extensions/dash-to-dock/extend-height <OPTION>
In place of <OPTION> you can have true for panel mode and false for dock mode.
answered Oct 21 '17 at 4:40
pomskypomsky
31.8k1197128
can you tell me how to make it permanent as it reverts back to default after Restart
– Harsh Khatri
Oct 21 '17 at 9:47
It shouldn't, there's something wrong with your installation. I think that's whygsettingsis not working.
– pomsky
Oct 21 '17 at 9:49
@HarshKhatri Maybe you should ask a new question for that issue. If you do please provide details like your OS version, GNOME shell version, how you installed Dash to Dock etc. Hopefully someone will be able to help.
– pomsky
Oct 21 '17 at 12:01
add a comment |
1
To get the current value, run
gsettings get org.gnome.shell.extensions.dash-to-dock extend-height
To change it, run
gsettings set org.gnome.shell.extensions.dash-to-dock extend-height <OPTION>
or
dconf write /org/gnome/shell/extensions/dash-to-dock/extend-height <OPTION>
In place of <OPTION> you can have true for panel mode and false for dock mode.
answered Oct 21 '17 at 4:40
pomskypomsky
31.8k1197128
can you tell me how to make it permanent as it reverts back to default after Restart
– Harsh Khatri
Oct 21 '17 at 9:47
It shouldn't, there's something wrong with your installation. I think that's whygsettingsis not working.
– pomsky
Oct 21 '17 at 9:49
@HarshKhatri Maybe you should ask a new question for that issue. If you do please provide details like your OS version, GNOME shell version, how you installed Dash to Dock etc. Hopefully someone will be able to help.
– pomsky
Oct 21 '17 at 12:01
add a comment |
1
1
1
To get the current value, run
gsettings get org.gnome.shell.extensions.dash-to-dock extend-height
To change it, run
gsettings set org.gnome.shell.extensions.dash-to-dock extend-height <OPTION>
or
dconf write /org/gnome/shell/extensions/dash-to-dock/extend-height <OPTION>
In place of <OPTION> you can have true for panel mode and false for dock mode.
answered Oct 21 '17 at 4:40
pomskypomsky
31.8k1197128
To get the current value, run
gsettings get org.gnome.shell.extensions.dash-to-dock extend-height
To change it, run
gsettings set org.gnome.shell.extensions.dash-to-dock extend-height <OPTION>
or
dconf write /org/gnome/shell/extensions/dash-to-dock/extend-height <OPTION>
In place of <OPTION> you can have true for panel mode and false for dock mode.
answered Oct 21 '17 at 4:40
pomskypomsky
31.8k1197128
edited Oct 21 '17 at 9:36
answered Oct 21 '17 at 4:40
pomskypomsky
31.8k1197128
answered Oct 21 '17 at 4:40
pomskypomsky
31.8k1197128
answered Oct 21 '17 at 4:40
pomskypomsky
31.8k1197128
31.8k1197128
can you tell me how to make it permanent as it reverts back to default after Restart
– Harsh Khatri
Oct 21 '17 at 9:47
It shouldn't, there's something wrong with your installation. I think that's whygsettingsis not working.
– pomsky
Oct 21 '17 at 9:49
@HarshKhatri Maybe you should ask a new question for that issue. If you do please provide details like your OS version, GNOME shell version, how you installed Dash to Dock etc. Hopefully someone will be able to help.
– pomsky
Oct 21 '17 at 12:01
add a comment |
can you tell me how to make it permanent as it reverts back to default after Restart
– Harsh Khatri
Oct 21 '17 at 9:47
It shouldn't, there's something wrong with your installation. I think that's whygsettingsis not working.
– pomsky
Oct 21 '17 at 9:49
@HarshKhatri Maybe you should ask a new question for that issue. If you do please provide details like your OS version, GNOME shell version, how you installed Dash to Dock etc. Hopefully someone will be able to help.
– pomsky
Oct 21 '17 at 12:01
can you tell me how to make it permanent as it reverts back to default after Restart
– Harsh Khatri
Oct 21 '17 at 9:47
can you tell me how to make it permanent as it reverts back to default after Restart
– Harsh Khatri
Oct 21 '17 at 9:47
It shouldn't, there's something wrong with your installation. I think that's why
gsettings is not working.– pomsky
Oct 21 '17 at 9:49
It shouldn't, there's something wrong with your installation. I think that's why
gsettings is not working.– pomsky
Oct 21 '17 at 9:49
@HarshKhatri Maybe you should ask a new question for that issue. If you do please provide details like your OS version, GNOME shell version, how you installed Dash to Dock etc. Hopefully someone will be able to help.
– pomsky
Oct 21 '17 at 12:01
@HarshKhatri Maybe you should ask a new question for that issue. If you do please provide details like your OS version, GNOME shell version, how you installed Dash to Dock etc. Hopefully someone will be able to help.
– pomsky
Oct 21 '17 at 12:01
add a comment |
draft saved
draft discarded
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.
draft saved
draft discarded
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%2f967015%2fchange-setting-of-dash-to-dock-using-terminal%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
