mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-14 07:43:06 +00:00
9d52544272
- Use ETCDIR PR: ports/185947 With hat: python@
15 lines
417 B
Python
15 lines
417 B
Python
|
|
$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("%%ETCDIR%%", manual_file)
|
|
conn = sqlite.connect(manual_path)
|
|
cursor = conn.cursor()
|
|
|