Project

General

Profile

« Previous | Next » 

Revision 8741

web/links/index.htm.run: clean_up (): rename the page title from "Bookmarks" to "BIEN links"

View differences:

web/links/index.htm.run
11 11
	echo_func "$@"
12 12
	echo_run in_place "$linked_file" repl \
13 13
	"$root_dir"/lib/Firefox_bookmarks.reformat.csv
14
	echo_run in_place "$linked_file" repl /dev/fd/3 3<<'EOF'
15

  
16
(?:(?<=^<TITLE>)|(?<=^<H1>))Bookmarks(?: Menu)?(?=</),BIEN links
17
EOF
14 18
}
15 19

  
16 20
all ()
web/links/index.htm
3 3
     It will be read and overwritten.
4 4
     DO NOT EDIT! -->
5 5
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8">
6
<TITLE>Bookmarks</TITLE>
6
<TITLE>BIEN links</TITLE>
7 7
<style type="text/css">
8 8
/*fixes for default HTML tag formatting*/
9 9
dl dl {margin-left: 30pt;} /*indent nested <dl>s*/
......
15 15
/*Firefox bookmarks-specific*/
16 16
dd {white-space: pre;} /*format bookmark description as plaintext*/
17 17
</style>
18
<H1>Bookmarks Menu</H1>
18
<H1>BIEN links</H1>
19 19

  
20 20
<DL><p>
21 21
    <DT><A HREF="place:sort=14&type=6&maxResults=10&queryType=1">Recent Tags</A>

Also available in: Unified diff