diff --git a/tools/article_wrapper.py b/tools/article_wrapper.py index 15355c8..086b922 100755 --- a/tools/article_wrapper.py +++ b/tools/article_wrapper.py @@ -1,4 +1,4 @@ -#!/usr/bin/python3 +#!/usr/bin/env python3 # todo: Show related git history of a file? diff --git a/tools/feed_generator.py b/tools/feed_generator.py index d30d96a..3a17d1c 100755 --- a/tools/feed_generator.py +++ b/tools/feed_generator.py @@ -1,4 +1,4 @@ -#!/usr/bin/python3 +#!/usr/bin/env python3 from sys import argv, exit from os import walk, path diff --git a/tools/main_page_generator.py b/tools/main_page_generator.py index a535923..45ce430 100755 --- a/tools/main_page_generator.py +++ b/tools/main_page_generator.py @@ -1,4 +1,4 @@ -#!/usr/bin/python3 +#!/usr/bin/env python3 from sys import argv, exit from random import seed