mirror of
https://github.com/rkd77/elinks.git
synced 2024-10-14 05:53:36 -04:00
0f6d4310ad
Thu Sep 15 15:57:07 CEST 2005. The previous history can be added to this by grafting.
33 lines
954 B
Bash
Executable File
33 lines
954 B
Bash
Executable File
#! /bin/sh
|
|
# ELinks old bookmarks format to new format converter.
|
|
|
|
# WARNING: Close all ELinks sessions before running this script.
|
|
# This script converts ELinks bookmarks file with '|' as separator to new
|
|
# bookmarks format where separator is tab char. It saves old file to
|
|
# ~/.links/bookmarks.with_pipes. --Zas
|
|
|
|
# Script by Stephane Chazelas :)
|
|
|
|
BMFILE=$HOME/.links/bookmarks
|
|
if [ ! -r "$BMFILE" ]; then
|
|
echo "$BMFILE does not exist or is not readable!" >&2
|
|
exit 1
|
|
fi
|
|
|
|
if [ -f "${BMFILE}.with_pipes" ]; then
|
|
echo "It seems you already ran this script." >&2
|
|
echo "Remove ${BMFILE}.with_pipes to force execution." >&2
|
|
exit 1
|
|
fi
|
|
|
|
if cp -f "$BMFILE" "${BMFILE}.with_pipes" \
|
|
&& tr '|' '\011' < ${BMFILE}.with_pipes > $BMFILE
|
|
then
|
|
echo "Bookmarks file converted."
|
|
echo "Old file was saved as ${BMFILE}.with_pipes."
|
|
echo "You may want to copy ~/.links/bookmarks to ~/.elinks/bookmarks now."
|
|
else
|
|
echo "Conversion failure" >&2
|
|
exit 1
|
|
fi
|