diff options
Diffstat (limited to 'devel/phpsh/files/patch-src_manual.py')
| -rw-r--r-- | devel/phpsh/files/patch-src_manual.py | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/devel/phpsh/files/patch-src_manual.py b/devel/phpsh/files/patch-src_manual.py new file mode 100644 index 000000000000..2af11bd2dd97 --- /dev/null +++ b/devel/phpsh/files/patch-src_manual.py @@ -0,0 +1,14 @@ + +$FreeBSD$ + +--- src/manual.py.orig ++++ src/manual.py +@@ -69,7 +69,7 @@ + manual_file = "php_manual.db" + manual_path = os.path.join(os.getenv("HOME"), ".phpsh", manual_file) + if not os.path.exists(manual_path): +- manual_path = os.path.join("/etc/phpsh", manual_file) ++ manual_path = os.path.join("%%PREFIX%%/etc/phpsh", manual_file) + conn = sqlite.connect(manual_path) + cursor = conn.cursor() + |