Bsrgvty

Relations between two reciprocal partial derivatives?

How to remove this toilet supply line that seems to have no nut?

Problems with Ubuntu mount /tmp

Didn't get enough time to take a Coding Test - what to do now?

In horse breeding, what is the female equivalent of putting a horse out "to stud"?

The variadic template constructor of my class cannot modify my class members, why is that so?

He got a vote 80% that of Emmanuel Macron’s

Does Parliament need to approve the new Brexit delay to 31 October 2019?

Windows 10: How to Lock (not sleep) laptop on lid close?

Wall plug outlet change

Do warforged have souls?

ELI5: Why do they say that Israel would have been the fourth country to land a spacecraft on the Moon and why do they call it low cost?

Match Roman Numerals

Can smartphones with the same camera sensor have different image quality?

Difference between "generating set" and free product?

How do I add random spotting to the same face in cycles?

Change bounding box of math glyphs in LuaTeX

how can a perfect fourth interval be considered either consonant or dissonant?

Can the DM override racial traits?

Did the UK government pay "millions and millions of dollars" to try to snag Julian Assange?

What do you call a plan that's an alternative plan in case your initial plan fails?

Road tyres vs "Street" tyres for charity ride on MTB Tandem

Is there a writing software that you can sort scenes like slides in PowerPoint?

What is special about square numbers here?

Add Custom Shortkey for showing Dock with numbers - Ubuntu 18.04 LTS

.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty margin-bottom:0;

1

1

As my dock is normally hidden, I prefer short-keys to make it visible. I have found that enabling gnome short-keys as suggested in this question would give me the opportunity to use super + q to show the dock with numbers.
Here comes the strange part, whenever I reboot my computer it does work for a given amount of time, after which it stops functioning..

I don't want to rely on the gnome short-keys for it to work, so I figured I would add a custom short-key in my keyboard settings as shown in this image.

The only thing is that I don't know the command for opening my dock with numbers. As you can see i have tried copying parts of the gnome short-key, but obviously this won't work :P.

Hope some one can help!

EDIT:
Added a picture of the wanted behavior.

The wanted behavior is now working for 2 hours straight, after running

gsettings set org.gnome.shell.extensions.dash-to-dock hot-keys true

and

gsettings set org.gnome.shell.extensions.dash-to-dock hot-keys false

a lot of times in a row.

I will keep you informed of my findings.

shortcut-keys gnome-shell ubuntu-dock

share|improve this question

edited 2 days ago

Rummens

asked Apr 10 at 18:08

RummensRummens

63

New contributor

Rummens is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  I'm aware that i am able to change it via dash to dock settings, but this somehow fails to work as mentioned in my question. So i figured i would bind the command to a custom shortcut. If you do have any suggestions, please let me know :)
  
  – Rummens
  2 days ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  I am not quite sure what you mean, could you please elaborate?
  
  – Rummens
  2 days ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  I have updated my answer with a picture of the wanted behavior, however it does seem to work longer than usually for the moment. I will keep you posted.
  
  – Rummens
  2 days ago
  

  
  
  
  

add a comment | 

1

1

As my dock is normally hidden, I prefer short-keys to make it visible. I have found that enabling gnome short-keys as suggested in this question would give me the opportunity to use super + q to show the dock with numbers.
Here comes the strange part, whenever I reboot my computer it does work for a given amount of time, after which it stops functioning..

I don't want to rely on the gnome short-keys for it to work, so I figured I would add a custom short-key in my keyboard settings as shown in this image.

The only thing is that I don't know the command for opening my dock with numbers. As you can see i have tried copying parts of the gnome short-key, but obviously this won't work :P.

Hope some one can help!

EDIT:
Added a picture of the wanted behavior.

The wanted behavior is now working for 2 hours straight, after running

gsettings set org.gnome.shell.extensions.dash-to-dock hot-keys true

and

gsettings set org.gnome.shell.extensions.dash-to-dock hot-keys false

a lot of times in a row.

I will keep you informed of my findings.

shortcut-keys gnome-shell ubuntu-dock

share|improve this question

edited 2 days ago

Rummens

asked Apr 10 at 18:08

RummensRummens

63

New contributor

Rummens is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  I'm aware that i am able to change it via dash to dock settings, but this somehow fails to work as mentioned in my question. So i figured i would bind the command to a custom shortcut. If you do have any suggestions, please let me know :)
  
  – Rummens
  2 days ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  I am not quite sure what you mean, could you please elaborate?
  
  – Rummens
  2 days ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  I have updated my answer with a picture of the wanted behavior, however it does seem to work longer than usually for the moment. I will keep you posted.
  
  – Rummens
  2 days ago
  

  
  
  
  

add a comment | 

As my dock is normally hidden, I prefer short-keys to make it visible. I have found that enabling gnome short-keys as suggested in this question would give me the opportunity to use super + q to show the dock with numbers.
Here comes the strange part, whenever I reboot my computer it does work for a given amount of time, after which it stops functioning..

I don't want to rely on the gnome short-keys for it to work, so I figured I would add a custom short-key in my keyboard settings as shown in this image.

The only thing is that I don't know the command for opening my dock with numbers. As you can see i have tried copying parts of the gnome short-key, but obviously this won't work :P.

Hope some one can help!

EDIT:
Added a picture of the wanted behavior.

The wanted behavior is now working for 2 hours straight, after running

gsettings set org.gnome.shell.extensions.dash-to-dock hot-keys true

and

gsettings set org.gnome.shell.extensions.dash-to-dock hot-keys false

a lot of times in a row.

I will keep you informed of my findings.

shortcut-keys gnome-shell ubuntu-dock

share|improve this question

edited 2 days ago

Rummens

asked Apr 10 at 18:08

RummensRummens

63

New contributor

Rummens is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

gsettings set org.gnome.shell.extensions.dash-to-dock hot-keys true

gsettings set org.gnome.shell.extensions.dash-to-dock hot-keys false

share|improve this question

edited 2 days ago

Rummens

asked Apr 10 at 18:08

RummensRummens

63

New contributor

Rummens is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

share|improve this question

edited 2 days ago

Rummens

asked Apr 10 at 18:08

RummensRummens

63

New contributor

Rummens is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

asked Apr 10 at 18:08

RummensRummens

63

New contributor

Rummens is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

asked Apr 10 at 18:08

RummensRummens

63