Ubuntu – move window to corner and RESIZE in gnome shell

gnomemutterwindow-manager

in Unity with the CTRL-ALT-KeyPad_7 keybinding I can move a window to the top-left corner and it is automatically resized to a quarter of my desktop size.

In gnome-shell, in dconf, I found the relevant option for gnome-shell:

/org/gnome/desktop/wm/keybindings

move_to_corner_nw, however this just moves the window, without actually resizing it.

Would you have any hint?

thanks!

Best Answer

Found the solution, the Put Windows extension does exactly what I was looking for:

https://extensions.gnome.org/extension/39/put-windows/