diff options
| author | Ivan Alejandro <ivanalejandro0@gmail.com> | 2014-06-05 17:14:08 -0300 |
|---|---|---|
| committer | Ivan Alejandro <ivanalejandro0@gmail.com> | 2014-06-05 17:22:34 -0300 |
| commit | e1f3552c9c368661f9cc1c8be3ddef6017557402 (patch) | |
| tree | a8b66398c4730380086732ff64ff75eca7f1a3e5 /docs/make.bat | |
| parent | 0b8cd73171eee3bf3f3c7b91faa90104e85e492b (diff) | |
Grep for gnome-shell as it were a polkit agent.
The $DESKTOP_SESSION is not reliable since is set to 'default' in any
case that you choose as your default desktop environment.
Also, after some tests, I've seen that the `gnome-shell` process is not
launched in the fallback mode, so we use it as a condition for the
polkit agent present.
Diffstat (limited to 'docs/make.bat')
0 files changed, 0 insertions, 0 deletions