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 4833e0892d..bf49afcc44 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 b08e4554b9..563c83fe4c 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 832aedc311..200cb4ae8d 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 6a36d6e121..3e6a64623f 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 c643dd7a24..4abdca641c 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 16a941f6c9..3ace8c8f30 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 1d201c6729..599e3370c1 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 d3c905e2d9..58d0b14542 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 2c1a15caad..63b5781347 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 709e4dc63d..6fb5cd7d96 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 2fc26d81f8..015cd34342 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 cfe7547e48..3239434a0b 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 6dd68ba848..0043645b4c 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 e0159ce337..b8fc232d78 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 a92557c264..491fd3b482 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 d3186f4873..07c0d2e7d0 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. |