[go: up one dir, main page]

Menu

[r2685]: / trunk / apply_gpl_notice.sh  Maximize  Restore  History

Download this file

9 lines (8 with data), 404 Bytes

1
2
3
4
5
6
7
8
#!/bin/sh
# This script inserts the text of gpl_notice_bookmarks.html into
# bookmarks.html between the 4th and 5th lines. The reason for this extra step
# is that Mozilla strips out this notice when the user exits.
head -4 bookmarks.html > head4_bookmarks.html
tail -n +5 bookmarks.html > tail5_bookmarks.html
cat head4_bookmarks.html gpl_notice_bookmarks.html tail5_bookmarks.html \
> bookmarks.html