diff options
Diffstat (limited to 'gui/scripts')
| -rw-r--r-- | gui/scripts/extract-geo-data.py | 2 | ||||
| -rw-r--r-- | gui/scripts/integrate-into-app.py | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/gui/scripts/extract-geo-data.py b/gui/scripts/extract-geo-data.py index e64cb68867..3b3f97708b 100644 --- a/gui/scripts/extract-geo-data.py +++ b/gui/scripts/extract-geo-data.py @@ -1,3 +1,5 @@ +#!/usr/bin/env python3 + """ This module forms a geo json of highly populated cities in the world """ diff --git a/gui/scripts/integrate-into-app.py b/gui/scripts/integrate-into-app.py index 28137a2732..910193fd36 100644 --- a/gui/scripts/integrate-into-app.py +++ b/gui/scripts/integrate-into-app.py @@ -1,3 +1,5 @@ +#!/usr/bin/env python3 + """ A helper script to integrate the generated geo data into the app. """ |