Thinking Archive(仮)

• $JUMP(http://some.url.com/)

  $JUMP(http://some.url.com/)

  指定したURLにリダイレクトする (透過的ではない)

  補足情報

  制限

  検索表現, 置換テキスト

  フィルタの種類

  IN, OUTヘッダフィルタのみ

  $JUMPは$RDIRとは逆に、ブラウザにリダイレクトすることを知らせます。
  $JUMPでリダイレクトすれば、ブラウザはリダイレクトしたことを検知し、新しいURLをアドレスバーに表示します。

  $JUMPを使う時には、再帰的にマッチしないように注意してください。
  http://abc.com/ から http://abc.com/ にジャンプさせるフィルタを作ると、無限ループします。

  $JUMPはヘッダフィルタでしか扱えませんので、Webフィルタ上で指定したURLにリダイレクトさせたい場合は、別の手段を使う必要があります。

  • meta要素でRefreshする
  • JavaScriptのlocation.replaceを使う

  これらを使う場合は、$STOP, \k と併用すると効果的です。
  リダイレクトするということは、現在読み込んでいるページはこれ以上読み込む必要がないという事ですから。(^^;