diff options
| -rwxr-xr-x | scripts/build.sh (renamed from build.sh) | 0 | ||||
| -rwxr-xr-x[-rw-r--r--] | scripts/diff.py (renamed from diff.py) | 2 | ||||
| -rwxr-xr-x | scripts/get_paths.sh (renamed from get_paths.sh) | 0 | ||||
| -rw-r--r-- | scripts/provision.sh (renamed from provision.sh) | 0 | ||||
| -rwxr-xr-x | scripts/run.sh (renamed from run.sh) | 0 |
5 files changed, 2 insertions, 0 deletions
diff --git a/build.sh b/scripts/build.sh index 457c5db..457c5db 100755 --- a/build.sh +++ b/scripts/build.sh diff --git a/diff.py b/scripts/diff.py index 226248f..349406d 100644..100755 --- a/diff.py +++ b/scripts/diff.py @@ -1,3 +1,5 @@ +#!/usr/bin/env python3 + import sys if len(sys.argv) != 3: diff --git a/get_paths.sh b/scripts/get_paths.sh index b62cefc..b62cefc 100755 --- a/get_paths.sh +++ b/scripts/get_paths.sh diff --git a/provision.sh b/scripts/provision.sh index 79d5558..79d5558 100644 --- a/provision.sh +++ b/scripts/provision.sh |