日本語マニュアルページの更新
Linuxの日本語マニュアルを最新化する。
1.https://linuxjm.osdn.jp/download.html から全体のアーカイブをダウンロードして解凍
2.make config して適当に答える。全部インストールすると指定する
⇒ installman.sh が出来る
3.インストール済みのマニュアルのみ更新するように、インストールコマンドを抽出
#!/bin/sh # manファイルは /usr/share/man に、日本語manファイルは /usr/share/man/ja にあり、gzipされている前提 find /usr/share/man -type f | awk ' FILENAME=="-"{w=$1;sub(/\.gz$/,"",w);man[w]=1;next} FNR==1{ORS="\n\n";print;next} { split($0,line,/\n/) split(line[4],word,/ /) if(word[3] in man) { print;next } sub(/\/ja\//,"/",word[3]) if(word[3] in man) { print } } ' - RS= installman.sh > my-installman.sh
4.更新実行。sudo sh my-installman.sh
5.whatisDB更新。sudo makewhatis
これを自動化すべきか。