From bd3ced933ad7809080f80383bcb255c65bb99e69 Mon Sep 17 00:00:00 2001
From: Yann Leboulanger <asterix@lagaule.org>
Date: Mon, 1 May 2006 17:34:08 +0000
Subject: [PATCH] nicer file header for executable files.

---
 src/history_manager.py         | 5 ++++-
 src/migrate_logs_to_dot9_db.py | 5 ++++-
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/src/history_manager.py b/src/history_manager.py
index af0d8e8d0..3c2135bbe 100755
--- a/src/history_manager.py
+++ b/src/history_manager.py
@@ -1,4 +1,7 @@
-#! /usr/bin/env python
+#!/bin/sh
+''':'
+exec python -OOt "$0"
+' '''
 ## history_manager.py
 ##
 ## Copyright (C) 2006 Nikos Kouremenos <kourem@gmail.com>
diff --git a/src/migrate_logs_to_dot9_db.py b/src/migrate_logs_to_dot9_db.py
index 7566dd91c..4c27ece04 100755
--- a/src/migrate_logs_to_dot9_db.py
+++ b/src/migrate_logs_to_dot9_db.py
@@ -1,4 +1,7 @@
-#!/usr/bin/env python
+#!/bin/sh
+''':'
+exec python -OOt "$0"
+' '''
 ## Contributors for this file:
 ## - Yann Le Boulanger <asterix@lagaule.org>
 ## - Nikos Kouremenos <kourem@gmail.com>