/usr/bin/env is slightly more portable

warsaw · warsaw · commit 7081a69b244b · 1996-11-20T15:19:10.000Z
diff --git 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.
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-#! /bin/env python`
	`1`	`+#! /usr/bin/env python`
`2`	`2`
`3`	`3`	`"""Print the long name of an Internet domain.`
`4`	`4`