| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758 |
- --- 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
-
|
