Sunday, July 16, 2017

cambiar gestor de ventana en cualquier distro.



openbox --replace & y para hacerlo definitivo en gnome3 setear estas variables:

$ cat >> ~/.gnomerc export WINDOW_MANAGER=mutter