--- src/configui-git/configui.py	2018-05-30 12:38:24.062163255 +0100
+++ configui.py.edit	2018-05-30 12:34:45.027938327 +0100
@@ -1,3 +1,4 @@
+#!/usr/bin/env python3
 import sys
 import json
 import subprocess