/usr/bin/env is slightly more portable

1996-11-20 15:19:10 +00:00 · 1996-11-20 15:19:10 +00:00 · 7081a69b24
parent 00bf8efe0b
commit 7081a69b24
1 changed files with 1 additions and 1 deletions
--- a/Tools/world/world
+++ b/Tools/world/world
@ -1,4 +1,4 @@
-#! /bin/env python
+#! /usr/bin/env python
 """Print the long name of an Internet domain.
`@ -1,4 +1,4 @@`
	`#! /bin/env python`	`#! /usr/bin/env python`

	`"""Print the long name of an Internet domain.`	`"""Print the long name of an Internet domain.`