/bin/env is not safe (macos) - prefer /usr/bin/env instead
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 18 Jul 2012 09:18:51 +0000 (11:18 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 18 Jul 2012 09:18:51 +0000 (11:18 +0200)
bin/plc-config-tty

index 26dfd82..b5b207f 100755 (executable)
@@ -1,4 +1,4 @@
-#!/bin/env python
+#!/usr/bin/env python
 
 import sys
 import readline