graffiti on the web 以前、macでのhostsファイルの編集方法を紹介しましたが、hostsの切り替えに便利なツールがありましたので、それを紹介します。
hoster
このソフトを使えば、ターミナル上から、hostsファイルを編集する必要がなく、GUIの操作だけでhostsを変更することが可能です。頻繁にhostsの設定を変更する必要がある方にとっては、とても重宝するのではないでしょうか。…
<script type=”text/javascript”>
<!–
if(navigator.userAgent.indexOf(“MSIE”) > -1){ //Internet Explorer
document.write(‘<!-‘+’-[if IE]>’);
document.write(‘<input type=”button” value=”お気に入りに追加“‘);
document.write(‘ onclick=”window.external.AddFavorite(‘サイトURL‘,’サイト名‘)”>’);
document.write(‘<![endif]-‘+’->’);
}
else if(navigator.userAgent.indexOf(“Firefox”) > -1){ //Firefox
document.write(‘<input type=”button” value=”ブックマークに追加“‘);
document.write(‘ onclick=”window.sidebar.addPanel(‘サイト名‘,’サイトURL‘,”);”>’);
}
else if(navigator.userAgent.indexOf(“Opera”) > -1){ //Opera
document.write(‘<a href=”サイトURL” rel=”sidebar” title=”サイト名“>ブックマークに追加</a>’);
}
else { //該当なし
void(0); //何もしない
}
//–>
</script>
この投稿へのコメント
コメントはまだありません。