blob: 7cf62f58ec530c438aa9a504a9c424110e6396d4 (
plain)
1
2
3
4
5
6
7
|
post_install() {
echo ''
echo '==> To enable pixel-saver:'
echo '==> Reload Gnome Shell with Alt-F2 r'
echo '==> Enable it with gnome-tweak-tool or "gnome-shell-extension-tool -e pixel-saver@deadalnix.me"'
echo ''
}
|