1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
--- arch-wiki-lite.orig/wiki_lite.py 2014-07-11 15:37:52.000000000 -0500
+++ arch-wiki-lite/wiki_lite.py 2016-06-06 08:00:56.369924650 -0500
@@ -8,7 +8,7 @@
This should be using a real html parser,
but input is safe/known and there is a lot to parse.
"""
-wiki_path = '/usr/share/doc/arch-wiki/html/'
+wiki_path = '/usr/share/doc/parabola-wiki/html/'
dump_path = './wiki/'
# not a complete list, but does cover the current wiki
@@ -143,7 +143,7 @@
os.makedirs(dump_path)
toc = generate_toc()
toc_file = open(dump_path + 'index', 'w')
- txt_file = gzip.open(dump_path + 'arch-wiki.txt.gz', 'w')
+ txt_file = gzip.open(dump_path + 'parabola-wiki.txt.gz', 'w')
escape_regex = re.compile('&#x?[0-9A-Fa-f]+;')
for path in all_html_paths(wiki_path):
if path == 'index.html':
--- arch-wiki-lite.orig/wiki-search 2016-04-30 10:44:25.000000000 -0500
+++ arch-wiki-lite/wiki-search 2016-06-06 08:05:30.488986591 -0500
@@ -3,11 +3,11 @@
# todo, ewiki-search (extended regex)
# and/or multiword (matches + 1, product, divided by word count)
-wiki_path="/usr/share/doc/arch-wiki/text"
+wiki_path="/usr/share/doc/parabola-wiki/text"
#wiki_path="./wiki"
dialogrc_path="/etc/dialog.d/wiki-search.dialog.rc"
-html_path="/usr/share/doc/arch-wiki/html"
-wikiball="$wiki_path/arch-wiki.txt.gz"
+html_path="/usr/share/doc/parabola-wiki/html"
+wikiball="$wiki_path/parabola-wiki.txt.gz"
tmp="/tmp/.wiki-search.${USER}.tmp"
COLOR1='\e[1;32m'
COLOR5='\e[1;34m'
@@ -126,7 +126,7 @@
;;
-h|--help|'')
echo "$(basename $0)"
- echo "Search and view your local copy of the Arch wiki."
+ echo "Search and view your local copy of the Parabola wiki."
echo ""
echo "Search with '$(basename $0) [query]' where query is a regex"
echo "or a list of terms to match individually."
--- arch-wiki-lite.orig/wiki-search-html 2016-04-30 10:20:28.000000000 -0500
+++ arch-wiki-lite/wiki-search-html 2016-06-06 08:06:29.153749809 -0500
@@ -7,7 +7,7 @@
source $wikisearch --source
if [[ ! -d "$html_path" ]]; then
- echo "pacman -S arch-wiki-docs"
+ echo "pacman -S parabola-wiki-docs"
exit 1
fi
|
