-
-
Notifications
You must be signed in to change notification settings - Fork 15.4k
tilingnome: init at 2019-01-18 #58980
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
578996a
to
e5a8582
Compare
Slight problem with this is that it doesn't support gnome-shell 3.32 https://github.com/rliang/gnome-shell-extension-tilingnome/blob/master/metadata.json#L5 That'll be on master any day now. Lots of changes so it might be broken. |
Hmm, that's awkward. Tilingnome does seem to be pretty actively maintained, so I do expect it will be updated for gnome 3.32 relatively quickly. |
An idea: you can merge this to |
ha, that's not a bad idea. Maybe I can merge to master, cherrypick to 19.03, and mark this as broken=true on master when gnome 3.32 lands? |
Sounds good. But the marking it a broken when it lands part might be extra work. |
Maybe something like |
oooh yes, I will do that. |
b8aa007
to
0ceb51b
Compare
Does this look good now? |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good.
Motivation for this change
What if Gnome had a tiling window manager? This is that thing.
Things done
sandbox
innix.conf
on non-NixOS)nix-shell -p nix-review --run "nix-review wip"
./result/bin/
)nix path-info -S
before and after)