Bsrgvty

I could not break this equation. Please help me

Can undead you have reanimated wait inside a portable hole?

Relations between two reciprocal partial derivatives?

"... to apply for a visa" or "... and applied for a visa"?

Did God make two great lights or did He make the great light two?

Hopping to infinity along a string of digits

Does Parliament hold absolute power in the UK?

Why did all the guest students take carriages to the Yule Ball?

Do warforged have souls?

What's the point in a preamp?

Make it rain characters

How to politely respond to generic emails requesting a PhD/job in my lab? Without wasting too much time

Why can't devices on different VLANs, but on the same subnet, communicate?

Is it ethical to upload a automatically generated paper to a non peer-reviewed site as part of a larger research?

Create an outline of font

How do you keep chess fun when your opponent constantly beats you?

What is this lever in Argentinian toilets?

Derivation tree not rendering

How is simplicity better than precision and clarity in prose?

Did the new image of black hole confirm the general theory of relativity?

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

How to stretch delimiters to envolve matrices inside of a kbordermatrix?

system() function string length limit

Is every episode of "Where are my Pants?" identical?

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