diff options
Diffstat (limited to 'desktop')
-rwxr-xr-x | desktop/empathy-xml2txt.py | 20 | ||||
-rwxr-xr-x | desktop/gen-ms-inet-shortcut.sh | 11 | ||||
-rwxr-xr-x | desktop/webkit1-gtk-user-agent.py | 11 | ||||
-rwxr-xr-x | desktop/webkit2-gtk-user-agent.py | 11 |
4 files changed, 53 insertions, 0 deletions
diff --git a/desktop/empathy-xml2txt.py b/desktop/empathy-xml2txt.py new file mode 100755 index 0000000..9c6a7a0 --- /dev/null +++ b/desktop/empathy-xml2txt.py @@ -0,0 +1,20 @@ +#!/usr/bin/env python2 +# -*- coding: utf-8 -*- + +import sys +from lxml import etree + +def empathy_xml2txt(infile, outfile): + xmlparser = etree.XMLParser(encoding = 'UTF-8') + xmltree = etree.parse(infile, xmlparser) + xmlroot = xmltree.getroot() + for msg in xmlroot.iter(): + if msg.tag == "message": + outfile.write("{} <{:^12}> {}\n".format( + msg.get('time').replace('T', ' '), + msg.get('id'), + msg.text.encode('UTF-8'))) + +if __name__ == "__main__": + for i in sys.argv[1:]: + empathy_xml2txt(i, sys.stdout) diff --git a/desktop/gen-ms-inet-shortcut.sh b/desktop/gen-ms-inet-shortcut.sh new file mode 100755 index 0000000..0e6aeea --- /dev/null +++ b/desktop/gen-ms-inet-shortcut.sh @@ -0,0 +1,11 @@ +#!/bin/sh + +[ "$#" != "2" ] && { + echo "$0: Need 2 arguments" + echo "Usage: $0 filename url" +} && exit 1 + +{ + echo "[InternetShortcut]" + echo "URL=$2" +} > "$1" 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)) diff --git a/desktop/webkit2-gtk-user-agent.py b/desktop/webkit2-gtk-user-agent.py new file mode 100755 index 0000000..1af74e4 --- /dev/null +++ b/desktop/webkit2-gtk-user-agent.py @@ -0,0 +1,11 @@ +#!/usr/bin/env python + +from gi.repository import WebKit2 + +version = '{}.{}.{}'.format( + WebKit2.get_major_version(), + WebKit2.get_minor_version(), + WebKit2.get_micro_version()) +user_agent = WebKit2.WebView().get_settings().get_user_agent() + +print('version = {}, user-agent = {}'.format(version, user_agent)) |