add shebang to conf_files so that bootmanager can call it directly
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 29 Dec 2018 13:49:14 +0000 (14:49 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 29 Dec 2018 13:51:01 +0000 (14:51 +0100)
conf_files.py [changed mode: 0644->0755]

old mode 100644 (file)
new mode 100755 (executable)
index da4c313..7fb28cb
@@ -1,3 +1,5 @@
+#!/usr/bin/env python3
+
 """configuration files"""
 
 import grp
 """configuration files"""
 
 import grp