summaryrefslogtreecommitdiff
path: root/devel/phpsh/files/patch-src_manual.py
blob: cd14fdc0c50b00af11b58684d80c469377ae060d (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
--- 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()