From 2a908acf05509037700c934ee48979ba2560aeae Mon Sep 17 00:00:00 2001 From: Jesse Li Date: Wed, 9 May 2018 12:50:42 -0400 Subject: [PATCH] Set execute permissions on generated script --- gitfiti.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/gitfiti.py b/gitfiti.py index 5519ab27d..248a6ab31 100755 --- a/gitfiti.py +++ b/gitfiti.py @@ -13,6 +13,7 @@ from datetime import datetime, timedelta import itertools import json import math +import os try: # Python 3+ from urllib.error import HTTPError, URLError @@ -329,6 +330,7 @@ def save(output, filename): """Saves the list to a given filename""" with open(filename, 'w') as f: f.write(output) + os.chmod(filename, 0o755) # add execute permissions def request_user_input(prompt='> '):