diff options
Diffstat (limited to 'desktop/webkit1-gtk-user-agent.py')
| -rwxr-xr-x | desktop/webkit1-gtk-user-agent.py | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/desktop/webkit1-gtk-user-agent.py b/desktop/webkit1-gtk-user-agent.py new file mode 100755 index 0000000..9ea72ba --- /dev/null +++ b/desktop/webkit1-gtk-user-agent.py @@ -0,0 +1,11 @@ +#!/usr/bin/env python + +from gi.repository import WebKit + +version = '{}.{}.{}'.format( + WebKit.major_version(), + WebKit.minor_version(), + WebKit.micro_version()) +user_agent = WebKit.WebView().get_settings().get_user_agent() + +print('version = {}, user-agent = {}'.format(version, user_agent)) |