diff options
-rwxr-xr-x | Demo/scripts/fact.py | 2 | ||||
-rwxr-xr-x | Demo/scripts/makedir.py | 2 | ||||
-rwxr-xr-x | Demo/scripts/pi.py | 2 | ||||
-rwxr-xr-x | Demo/scripts/primes.py | 2 | ||||
-rwxr-xr-x | Tools/scripts/byteyears.py | 2 | ||||
-rwxr-xr-x | Tools/scripts/checkpyc.py | 2 | ||||
-rwxr-xr-x | Tools/scripts/copytime.py | 2 | ||||
-rwxr-xr-x | Tools/scripts/dutree.py | 2 | ||||
-rwxr-xr-x | Tools/scripts/eptags.py | 2 | ||||
-rwxr-xr-x | Tools/scripts/findlinksto.py | 2 | ||||
-rwxr-xr-x | Tools/scripts/h2py.py | 2 | ||||
-rwxr-xr-x | Tools/scripts/linktree.py | 2 | ||||
-rwxr-xr-x | Tools/scripts/lll.py | 2 | ||||
-rwxr-xr-x | Tools/scripts/ptags.py | 2 | ||||
-rwxr-xr-x | Tools/scripts/suff.py | 2 | ||||
-rwxr-xr-x | Tools/scripts/which.py | 2 |
16 files changed, 16 insertions, 16 deletions
diff --git a/Demo/scripts/fact.py b/Demo/scripts/fact.py index 4833e08..bf49afc 100755 --- a/Demo/scripts/fact.py +++ b/Demo/scripts/fact.py @@ -1,4 +1,4 @@ -#! /usr/local/python +#! /usr/local/bin/python # Factorize numbers. # The algorithm is not efficient, but easy to understand. diff --git a/Demo/scripts/makedir.py b/Demo/scripts/makedir.py index b08e455..563c83f 100755 --- a/Demo/scripts/makedir.py +++ b/Demo/scripts/makedir.py @@ -1,4 +1,4 @@ -#! /usr/local/python +#! /usr/local/bin/python # Like mkdir, but also make intermediate directories if necessary. # It is not an error if the given directory already exists (as long diff --git a/Demo/scripts/pi.py b/Demo/scripts/pi.py index 832aedc..200cb4a 100755 --- a/Demo/scripts/pi.py +++ b/Demo/scripts/pi.py @@ -1,4 +1,4 @@ -#! /usr/local/python +#! /usr/local/bin/python # Print digits of pi forever. # diff --git a/Demo/scripts/primes.py b/Demo/scripts/primes.py index 6a36d6e..3e6a646 100755 --- a/Demo/scripts/primes.py +++ b/Demo/scripts/primes.py @@ -1,4 +1,4 @@ -#! /usr/local/python +#! /usr/local/bin/python # Print prime numbers in a given range diff --git a/Tools/scripts/byteyears.py b/Tools/scripts/byteyears.py index c643dd7..4abdca6 100755 --- a/Tools/scripts/byteyears.py +++ b/Tools/scripts/byteyears.py @@ -1,4 +1,4 @@ -#! /usr/local/python +#! /usr/local/bin/python # Print the product of age and size of each file, in suitable units. # diff --git a/Tools/scripts/checkpyc.py b/Tools/scripts/checkpyc.py index 16a941f..3ace8c8 100755 --- a/Tools/scripts/checkpyc.py +++ b/Tools/scripts/checkpyc.py @@ -1,5 +1,5 @@ #! /ufs/guido/bin/sgi/python -#! /usr/local/python +#! /usr/local/bin/python # Check that all ".pyc" files exist and are up-to-date # Uses module 'os' diff --git a/Tools/scripts/copytime.py b/Tools/scripts/copytime.py index 1d201c6..599e337 100755 --- a/Tools/scripts/copytime.py +++ b/Tools/scripts/copytime.py @@ -1,4 +1,4 @@ -#! /usr/local/python +#! /usr/local/bin/python # Copy one file's atime and mtime to another diff --git a/Tools/scripts/dutree.py b/Tools/scripts/dutree.py index d3c905e..58d0b14 100755 --- a/Tools/scripts/dutree.py +++ b/Tools/scripts/dutree.py @@ -1,4 +1,4 @@ -#! /usr/local/python +#! /usr/local/bin/python # Format du output in a tree shape import os, string, sys diff --git a/Tools/scripts/eptags.py b/Tools/scripts/eptags.py index 2c1a15c..63b5781 100755 --- a/Tools/scripts/eptags.py +++ b/Tools/scripts/eptags.py @@ -1,4 +1,4 @@ -#! /usr/local/python +#! /usr/local/bin/python # eptags # diff --git a/Tools/scripts/findlinksto.py b/Tools/scripts/findlinksto.py index 709e4dc..6fb5cd7 100755 --- a/Tools/scripts/findlinksto.py +++ b/Tools/scripts/findlinksto.py @@ -1,4 +1,4 @@ -#! /usr/local/python +#! /usr/local/bin/python # findlinksto # diff --git a/Tools/scripts/h2py.py b/Tools/scripts/h2py.py index 2fc26d8..015cd34 100755 --- a/Tools/scripts/h2py.py +++ b/Tools/scripts/h2py.py @@ -1,4 +1,4 @@ -#! /usr/local/python +#! /usr/local/bin/python # Read #define's from stdin and translate to Python code on stdout. # Very primitive: non-#define's are ignored, no check for valid Python diff --git a/Tools/scripts/linktree.py b/Tools/scripts/linktree.py index cfe7547..3239434 100755 --- a/Tools/scripts/linktree.py +++ b/Tools/scripts/linktree.py @@ -1,4 +1,4 @@ -#! /usr/local/python +#! /usr/local/bin/python # linktree # diff --git a/Tools/scripts/lll.py b/Tools/scripts/lll.py index 6dd68ba..0043645 100755 --- a/Tools/scripts/lll.py +++ b/Tools/scripts/lll.py @@ -1,4 +1,4 @@ -#! /usr/local/python +#! /usr/local/bin/python # Find symbolic links and show where they point to. # Arguments are directories to search; default is current directory. diff --git a/Tools/scripts/ptags.py b/Tools/scripts/ptags.py index e0159ce..b8fc232 100755 --- a/Tools/scripts/ptags.py +++ b/Tools/scripts/ptags.py @@ -1,4 +1,4 @@ -#! /usr/local/python +#! /usr/local/bin/python # ptags # diff --git a/Tools/scripts/suff.py b/Tools/scripts/suff.py index a92557c..491fd3b 100755 --- a/Tools/scripts/suff.py +++ b/Tools/scripts/suff.py @@ -1,4 +1,4 @@ -#! /usr/local/python +#! /usr/local/bin/python # suff # diff --git a/Tools/scripts/which.py b/Tools/scripts/which.py index d3186f4..07c0d2e 100755 --- a/Tools/scripts/which.py +++ b/Tools/scripts/which.py @@ -1,4 +1,4 @@ -#! /usr/local/python +#! /usr/local/bin/python # Variant of "which". # On stderr, near and total misses are reported. |