[debian-devel:12307] Re: Upload ptex-jisfonts

[Atsuhito Kohda <kohda@xxxxxxxxxxxxxxxxxxxx>]

From: Hiroshi KISE <fuyuneko@xxxxxxxxxxxx>
Subject: [debian-devel:12253] Re: Upload ptex-jisfonts
Date: Sun, 7 May 2000 14:16:47 +0900

> sedの結果によらずmvするのはやばいかも。“&&”で継続させればよいかな。
> あと、元のファイルは安全のために名前を変えて残しておいたほうが
> いいような気がしますが、邪魔なような気もします。

> 最終行のあとに追加したいのなら、そのような記述にしたほうがよいかと

> # - ptex-jisfonts begin
> ..
> # - ptex-jisfonts end
> 
> などで囲むようにして、削除するときにはこの目印だけを見るってのは
> どうでしょう。

を考慮して以下のようにしましたが問題あれば指摘お願い
します。

* vfontmap.orig はあまりに平凡すぎる気もしますし
cp する条件として
if [ ! -f ${map}.orig ] ; then が良いのか
if ! grep -q "#-- ptex-jisfonts begin" ${map}; then
が良いのかちょっと迷いました。

* vfontmap.orig は purge で消去すれば良いのでしょうか？

#!/bin/sh

map=/etc/texmf/vfontmap

case "$1" in
add)
if [ ! -f ${map}.orig ] ; then
cp ${map} ${map}.orig
fi
if ! grep -q "#-- ptex-jisfonts begin" ${map}; then
sed -e '$a\
#-- ptex-jisfonts begin\
jis	min\
jisg	goth\
#-- ptex-jisfonts end' < ${map} > ${map}_$$ && \
mv -f ${map}_$$ ${map}
fi
;;
remove)
sed -e '/#-- ptex-jisfonts begin/,/#-- ptex-jisfonts end/d' < ${map} > \
${map}_$$ && mv -f ${map}_$$ ${map}
;;
*)
echo "$0 is called with wrong options"
;;
esac

			  平成１２年５月１１日(木)
--
 ***************************
 香田 温人（こうだ あつひと）
 http://www1.pm.tokushima-u.ac.jp/%7Ekohda/