phpsh-git/norootfiles.patch

   1 diff -rub ../phpsh/setup.py ./setup.py
   2 --- ../phpsh/setup.py   2011-01-18 09:17:24.630020120 +0100
   3 +++ ./setup.py  2011-01-18 09:21:52.820020307 +0100
   4 @@ -14,10 +14,7 @@
   5      os.waitpid(p.pid, 0)
   6
   7  # something better than this?
   8 -if os.getenv("USER") == "root":
   9 -    config_dir = "/etc/phpsh"
  10 -else:
  11 -    config_dir = os.getenv("HOME") + "/.phpsh"
  12 +config_dir = "/etc/phpsh"
  13
  14  setup(
  15      name="phpsh",
  16 Solo in .: setup.py.orig