From c8d5e0a51c2a7416425ea7ab07c55ae8aad525fc Mon Sep 17 00:00:00 2001 From: "Jasper St. Pierre" Date: Wed, 22 Jun 2011 21:29:20 -0400 Subject: [PATCH] extension-tool: Use socket.gethostname() instead of an external process Minor code cleanup. https://bugzilla.gnome.org/show_bug.cgi?id=653206 --- src/gnome-shell-extension-tool.in | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/gnome-shell-extension-tool.in b/src/gnome-shell-extension-tool.in index 578fe2de4..0dcbf9bea 100644 --- a/src/gnome-shell-extension-tool.in +++ b/src/gnome-shell-extension-tool.in @@ -3,6 +3,7 @@ import os import re +import socket import subprocess import sys import optparse @@ -41,7 +42,7 @@ Examples are: "Make windows visible on click", "Block advertisement popups" underifier = re.compile('[^A-Za-z]') sample_uuid = underifier.sub('_', name) # TODO use evolution data server - hostname = subprocess.Popen(['hostname'], stdout=subprocess.PIPE).communicate()[0].strip() + hostname = socket.gethostname() sample_uuid = sample_uuid + '@' + hostname print