From 54c53b53e5deefc2525888212dbed5bb0f8b0a3b Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Sat, 29 Dec 2018 14:49:14 +0100
Subject: [PATCH] add shebang to conf_files so that bootmanager can call it
 directly

---
 conf_files.py | 2 ++
 1 file changed, 2 insertions(+)
 mode change 100644 => 100755 conf_files.py

diff --git a/conf_files.py b/conf_files.py
old mode 100644
new mode 100755
index da4c313..7fb28cb
--- a/conf_files.py
+++ b/conf_files.py
@@ -1,3 +1,5 @@
+#!/usr/bin/env python3
+
 """configuration files"""
 
 import grp
-- 
2.43.0