# HG changeset patch
# User Paul Crowley <paul@ciphergoth.org>
# Date 1208777853 -3600
# Node ID 9fac559c3d55362ddcf1184690472ab8f98b25b8
# Parent  f3654416d17866c4bbbe8d1ed6126c791c9bb731
don't assume Python path for refresh-auth

diff -r f3654416d178 -r 9fac559c3d55 refresh-auth
--- a/refresh-auth	Fri Apr 18 12:36:36 2008 +0100
+++ b/refresh-auth	Mon Apr 21 12:37:33 2008 +0100
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 
 # WARNING
 # This script completely destroys your ~/.ssh/authorized_keys