SSL-VPN にリダイレクトする Bookmarklet

大学に、電子ジャーナルにリモードアクセスするための SSL-VPN ゲートウェイがある。

http://journal/web/site/article.pdf にアクセスするには、https://gateway/server/,targetURL=journal/web/site/article.pdf にアクセスすることになっている。これは、Javascript で書くと、

location.href = "https://gateway/server/,targetURL=" + location.href.replace(/https?:\/\//, "");

となる。これを Bookmarklet 化した URL は、

javascript:void(location.href=%22https://gateway/server/,targetURL=%22+location.href.replace(/https?:\/\//,%22%22))

となる。" をエスケープしているのに注意。void() 関数は undefined を返す関数であり、ページ遷移を防ぐ。