MediaWiki

またもや随分間があいてしまった。

さて今度は訳あって某所に Wikiを導入。多言語を扱いたいという要望により MediaWiki にした。特に問題なくインストール完了。

一般公開するものではなく、閲覧もメンバに限りたいということで、LocalSettings.php に

  $wgWhitelistRead = array( "Main Page", "Special:Userlogin");
  $wgGroupPermissions['*']['read'] = false;
この2行めが必要ということに気づくまで時間がかかってしまった ((1行めは、もし日本語でインストール場合は
  $wgWhitelistRead = array ("メインページ", "特別:ユーザログイン");
として utf-8で保存する。))。

書込みももちろんメンバ限定なので

  $wgGroupPermissions['*']['createaccount']   = false;
  $wgGroupPermissions['*']['edit'] = false;

dvips

しばらく前からdvips(dvipsk-ja)が dvips: ! Couldn’t find header file 8r.enc というエラーを吐いて動かない。いろいろ探しまわって、[[http://2chlinux.dtdns.net/2ch-debian/1139890780/79.html|2ちゃんねるDebianスレ]]で、 /etc/texmf/texmf.d/70dvipsj.cnfを TEXPSHEADERS.dvips = .;$TEXMF/{dvipsj,dvips,pdftex,tex,fonts/type1,fonts/enc}// と書き直せばいいことがわかった。 と思ったら、今度は mktexpk: don’t know how to create bitmap font for rml のエラー。これまた探しまわって、 >現在testingのdvipsk-jaは/etc/texmf/dvipsj以下のmapを読まないようなので というのをやはり[[http://2chlinux.dtdns.net/2ch-debian/1139890780/105.html|2ちゃんねるDebianスレ]]に見つけた。dvipsj/ は読まないが dvips/は読むということらしい。うちには/etc/texmf/dvips/というディレクトリはなかったので、 ln -s dvipsj dvips としたらたちまち動き出した。